TY  - RPRT
TI  - Machine Learning for Quantifier Selection in cvc5
AU  - Jan Jakubův
AU  - Mikoláš Janota
AU  - Jelle Piepenbrock
AU  - Josef Urban
PY  - 2025
DO  - 10.1016/j.ijar.2025.109602
UR  - https://arxiv.org/abs/2408.14338
ID  - 2408.14338
ER  -