@inproceedings{3aff28f4b1c8429cb7884f777375c0d5,
title = "Neural Network Verification is a Programming Language Challenge",
abstract = "Neural network verification is a new and rapidly developing field of research. So far, the main priority has been establishing efficient verification algorithms and tools, while proper support from the programming language perspective has been considered secondary or unimportant. Yet, there is mounting evidence that insights from the programming language community may make a difference in the future development of this domain. In this paper, we formulate neural network verification challenges as programming language challenges and suggest possible future solutions.",
keywords = "Domain Specific Languages, Neural Networks, Verification",
author = "Cordeiro, \{Lucas C.\} and Daggitt, \{Matthew L.\} and Julien Girard-Satabin and Omri Isac and Johnson, \{Taylor T.\} and Guy Katz and Ekaterina Komendantskaya and Augustin Lemesle and Edoardo Manino and Artjoms {\v S}inkarovs and Haoze Wu",
note = "Publisher Copyright: {\textcopyright} The Author(s) 2025.; 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025 ; Conference date: 03-05-2025 Through 08-05-2025",
year = "2025",
doi = "10.1007/978-3-031-91118-7\_9",
language = "الإنجليزيّة",
isbn = "9783031911170",
series = "Lecture Notes in Computer Science",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "206--235",
editor = "Viktor Vafeiadis",
booktitle = "Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings",
address = "ألمانيا",
}