Machine learning for quantifier selection in cvc5

DOI10.1016/J.IJAR.2025.109602MaRDI QIDQ6870125zbMATH OpenFDO

Authors Jan Jakubův, Mikoláš Janota, Jelle Piepenbrock, Josef Urban

Publication date 21 January 2026

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

zbMATH Keywords

machine learningartificial intelligencesatisfiability modulo theoriesautomated theorem proving

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Machine learning for quantifier selection in cvc5

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6870125)