@article{vehiclebridgingtheembeddinggapinthe,
  title = {Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs},
  author = {Matthew L. Daggitt and Wen Kokke and Robert Atkey and Natalia Slusarz and Luca Arnaboldi and Ekaterina Komendantskaya},
  year = {2024},
  eprint = {2401.06379},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2401.06379v1},
}