Machine learning for quantifier selection in cvc5
Jan Jakubův; Mikoláš Janota; Jelle Piepenbrock; Josef Urban
- Published
- Publisher
- Elsevier BV
- Journal / collection
- International Journal of Approximate Reasoning
- Research area
- AI & compute
- Source type
- Journal article
- DOI
- 10.1016/j.ijar.2025.109602
The original publisher provides the full text and its access options.
Cite this source
Jan Jakubův; Mikoláš Janota; Jelle Piepenbrock; Josef Urban. Machine learning for quantifier selection in cvc5. International Journal of Approximate Reasoning. 2026-02. https://doi.org/10.1016/j.ijar.2025.109602