@inproceedings{Piepenbrock24,
  author       = {Jelle Piepenbrock and
                  Mikol\'a{\v{s}} Janota and
                  Josef Urban and
                  Jan Jakub\r{u}v},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Marijn Heule and
                  Andrei Voronkov},
  title        = {First Experiments with Neural cvc5},
  booktitle    = {{LPAR} 2024: Proceedings of 25th Conference on Logic for Programming,
                  Artificial Intelligence and Reasoning, Port Louis, Mauritius, May
                  26-31, 2024},
  series       = {EPiC Series in Computing},
  volume       = {100},
  pages        = {264--277},
  publisher    = {EasyChair},
  year         = {2024},
  doi          = {10.29007/H5DR}
}