Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks
Authors: Matthew Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi and Ekaterina Komendantskaya
Paper Information
| Title: | Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks |
| Authors: | Matthew Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi and Ekaterina Komendantskaya |
| Proceedings: | FoMLAS2022 CameraReady |
| Editors: | Nina Narodytska, Omri Isac and Guy Katz |
| Keywords: | Neural networks, Verification, Agda, Marabou |
| Pages: | 17 |
| Talk: | Aug 01 11:30 (Session 31A) |
| Paper: |  |