TY  - RPRT
TI  - First Experiments with Neural cvc5
AU  - Jelle Piepenbrock
AU  - Mikoláš Janota
AU  - Jan Jakubův
PY  - 2025
DO  - 10.29007/h5dr
UR  - https://arxiv.org/abs/2501.09379
ID  - 2501.09379
ER  -