TY  - RPRT
TI  - Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
AU  - Matthew L. Daggitt
AU  - Wen Kokke
AU  - Robert Atkey
AU  - Ekaterina Komendantskaya
AU  - Natalia Slusarz
AU  - Luca Arnaboldi
PY  - 2025
UR  - https://arxiv.org/abs/2401.06379
ID  - 2401.06379
ER  -