daggitt-2022-vehicle:
  type: misc
  title: 'Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers'
  author:
  - Daggitt, Matthew
  - Kokke, Wen
  - Atkey, Robert
  - Arnaboldi, Luca
  - Komendantskya, Ekaterina
  date: 2022-02
  serial-number:
    arxiv: '2202.05207'