TY  - RPRT
TI  - Neural Network Verification is a Programming Language Challenge
AU  - Lucas C. Cordeiro
AU  - Matthew L. Daggitt
AU  - Julien Girard-Satabin
AU  - Omri Isac
AU  - Taylor T. Johnson
AU  - Guy Katz
AU  - Ekaterina Komendantskaya
AU  - Augustin Lemesle
AU  - Edoardo Manino
AU  - Artjoms Šinkarovs
AU  - Haoze Wu
PY  - 2025
UR  - https://arxiv.org/abs/2501.05867
ID  - 2501.05867
ER  -