Imagen de Portada

Symbolic Computation for All the Fun

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Brown, Chad E., Janota, Mikoláš, Olšák, Mirek
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
por: Janota, Mikoláš, et al.
Publicado: (2026)

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
por: Brown, Chad E., et al.
Publicado: (2025)

Reintroducing the Second Player in EPR
por: Chew, Leroy, et al.
Publicado: (2026)

Experimental Results for Vampire on the Equational Theories Project
por: Janota, Mikoláš
Publicado: (2025)

Breaking Symmetries with Involutions
por: Codish, Michael, et al.
Publicado: (2025)

Breaking Symmetries from a Set-Covering Perspective
por: Codish, Michael, et al.
Publicado: (2025)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
por: Ratschan, Stefan, et al.
Publicado: (2026)

Quantifier Instantiations: To Mimic or To Revolt?
por: Jakubův, Jan, et al.
Publicado: (2025)

Towards Learning Infinite SMT Models (Work in Progress)
por: Janota, Mikoláš, et al.
Publicado: (2025)

From MBQI to Enumerative Instantiation and Back
por: Dančo, Marek, et al.
Publicado: (2025)

First Experiments with Neural cvc5
por: Piepenbrock, Jelle, et al.
Publicado: (2025)

Cube-based Isomorph-free Finite Model Finding
por: Chow, Choiwah, et al.
Publicado: (2025)

Case Study: Saturations as Explicit Models in Equational Theories
por: Janota, Mikoláš, et al.
Publicado: (2026)

Breaking Symmetries in Quantified Graph Search: A Comparative Study
por: Janota, Mikoláš, et al.
Publicado: (2025)

Complete Symmetry Breaking for Finite Models
por: Dančo, Marek, et al.
Publicado: (2025)

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
por: Orvalho, Pedro, et al.
Publicado: (2024)

SAT-Based Techniques for Lexicographically Smallest Finite Models
por: Janota, Mikoláš, et al.
Publicado: (2025)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
por: Jakubův, Jan, et al.
Publicado: (2024)

Machine Learning for Quantifier Selection in cvc5
por: Jakubův, Jan, et al.
Publicado: (2024)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
por: Orvalho, Pedro, et al.
Publicado: (2025)

A Formal Proof of R(4,5)=25
por: Gauthier, Thibault, et al.
Publicado: (2024)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
por: Niederhauser, Johannes, et al.
Publicado: (2024)

Exploring Formal Math on the Blockchain: An Explorer for Proofgold
por: Brown, Chad E., et al.
Publicado: (2025)

Payment Channels with Proofs
por: Brown, Chad E., et al.
Publicado: (2025)

Hammering Higher Order Set Theory
por: Brown, Chad E., et al.
Publicado: (2025)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
por: Brown, Chad E., et al.
Publicado: (2026)

Elgot Categories and Abacus Programs
por: Nester, Chad
Publicado: (2025)

Bridging Computational Notions of Depth
por: Bienvenu, Laurent, et al.
Publicado: (2024)

Dynamic Probability Logic: Decidability & Computability
por: Chopoghloo, Somayeh, et al.
Publicado: (2024)

Fixed Point Theorems in Computability Theory
por: Terwijn, Sebastiaan A.
Publicado: (2024)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
por: Desmond, Harry
Publicado: (2026)

Computing with Infinite Objects: the Gray Code Case
por: Spreen, Dieter, et al.
Publicado: (2021)

Efficient Synthesis of Symbolic Distributed Protocols by Sketching
por: Egolf, Derek, et al.
Publicado: (2024)

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
por: Jensen, Nicolaj Ø., et al.
Publicado: (2025)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
por: Sofronie-Stokkermans, Viorica
Publicado: (2025)

Bounded Structural Model Finding with Symbolic Data Constraints
por: Boronat, Artur
Publicado: (2026)

Dynamics and Coherence for the Free Cornering with Protocol Choice
por: Nester, Chad, et al.
Publicado: (2025)

Protocol Choice and Iteration for the Free Cornering
por: Nester, Chad, et al.
Publicado: (2023)

A Simple Categorical Calculus of Interacting Processes
por: Nester, Chad, et al.
Publicado: (2026)

Meta-Mathematics of Computational Complexity Theory
por: Oliveira, Igor C.
Publicado: (2025)