Neural Network Verification is a Programming Language Challenge (Fresh Perspectives) (bibtex)

by Lucas Cordeiro, Matthew Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs and Haoze Wu

Reference:

Lucas Cordeiro, Matthew Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs and Haoze Wu, "Neural Network Verification is a Programming Language Challenge (Fresh Perspectives)", In 34th European Symposium on Programming (ESOP'25), Springer, pp. 206–235, 2025.

Bibtex Entry:

@inproceedings{cordeiro2025esop,
  title = {Neural Network Verification is a Programming Language Challenge (Fresh Perspectives)},
  author = {Lucas Cordeiro and Matthew 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 Sinkarovs and Haoze Wu},
  year = {2025},
  month = may,
  booktitle = {34th European Symposium on Programming (ESOP'25)},
  pages = {206--235},
  publisher = {Springer},
  doi = {10.1007/978-3-031-91118-7_9},
  keywords = {programming languages, formal verification, neural networks},
  publabel = {C51},
  pubtype = {C},
  pdf = "research/cordeiro2025esop.pdf",
}