@misc{indiciae32b61eeb9833,
  title = {First Experiments with Neural cvc5},
  author = {Jelle Piepenbrock and Mikoláš Janota and Jan Jakubův},
  year = {2025},
  doi = {10.29007/h5dr},
  url = {https://arxiv.org/abs/2501.09379},
  note = {Source identifier: 2501.09379}
}