@misc{indiciae95577922556f,
  title = {Neural Network Verification is a Programming Language Challenge},
  author = {Lucas C. Cordeiro and Matthew L. Daggitt and Julien Girard-Satabin and Omri Isac and Taylor T. Johnson and Guy Katz and Ekaterina Komendantskaya and Augustin Lemesle and Edoardo Manino and Artjoms Šinkarovs and Haoze Wu},
  year = {2025},
  url = {https://arxiv.org/abs/2501.05867},
  note = {Source identifier: 2501.05867}
}