Cover Image

Machine Learning for Quantifier Selection in cvc5

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jakubův, Jan, Janota, Mikoláš, Piepenbrock, Jelle, Urban, Josef
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

First Experiments with Neural cvc5
by: Piepenbrock, Jelle, et al.
Published: (2025)

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

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

Learning Guided Automated Reasoning: A Brief Survey
by: Blaauwbroek, Lasse, et al.
Published: (2024)

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

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

Learning Conjecturing from Scratch
by: Gauthier, Thibault, et al.
Published: (2025)

Munkres' General Topology Autoformalized in Isabelle/HOL
by: Bryant, Dustin, et al.
Published: (2026)

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

Breaking Symmetries with Involutions
by: Codish, Michael, et al.
Published: (2025)

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

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

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

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

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
by: Urban, Josef
Published: (2026)

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

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
by: Joshi, Aniruddha, et al.
Published: (2025)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
by: Aditya, Dyuman, et al.
Published: (2025)

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

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

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

Learning Explainable and Better Performing Representations of POMDP Strategies
by: Bork, Alexander, et al.
Published: (2024)

Quantifying artificial intelligence through algorithmic generalization
by: Ito, Takuya, et al.
Published: (2024)

Premise Selection for a Lean Hammer
by: Zhu, Thomas, et al.
Published: (2025)

Magnushammer: A Transformer-Based Approach to Premise Selection
by: Mikuła, Maciej, et al.
Published: (2023)

A Novel Approach To Implementing Knowledge Distillation In Tsetlin Machines
by: Kinateder, Calvin
Published: (2025)

Symbolic Computation for All the Fun
by: Brown, Chad E., et al.
Published: (2024)

Halting Recurrent GNNs and the Graded $μ$-Calculus
by: Bollen, Jeroen, et al.
Published: (2025)

Learning to Solve and Optimize by Evolving Code
by: Semmelrock, Veronika, et al.
Published: (2026)

Robust Shielding for Safe Reinforcement Learning
by: Court, Edwin Hamel-De le, et al.
Published: (2026)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
by: König, Matthias, et al.
Published: (2024)

Inductive Generalization in Reinforcement Learning from Specifications
by: Subramanian, Vignesh, et al.
Published: (2024)

SATformer: Transformer-Based UNSAT Core Learning
by: Shi, Zhengyuan, et al.
Published: (2022)

Learning big logical rules by joining small rules
by: Hocquette, Céline, et al.
Published: (2024)

Inference of Abstraction for a Unified Account of Reasoning and Learning
by: Kido, Hiroyuki
Published: (2024)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
by: Brorholt, Asger Horn, et al.
Published: (2024)

LeanAgent: Lifelong Learning for Formal Theorem Proving
by: Kumarappan, Adarsh, et al.
Published: (2024)

Can Transformers Learn to Verify During Backtracking Search?
by: Phua, Yin Jun, et al.
Published: (2026)

Learning Concepts Definable in First-Order Logic with Counting
by: van Bergerem, Steffen
Published: (2019)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
by: De Angelis, Emanuele, et al.
Published: (2024)