@misc{indiciae83e3696f589f,
  title = {Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs},
  author = {Matthew L. Daggitt and Wen Kokke and Robert Atkey and Ekaterina Komendantskaya and Natalia Slusarz and Luca Arnaboldi},
  year = {2025},
  url = {https://arxiv.org/abs/2401.06379},
  note = {Source identifier: 2401.06379}
}