@misc{daggitt-2022-vehicle,
  author = {Matthew Daggitt and Wen Kokke and Robert Atkey and Luca Arnaboldi and Ekaterina Komendantskya},
  title = {Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers},
  year = {2022},
  month = {2},
  eprint = {2202.05207},
  archiveprefix = {arXiv}
}