TY - UNPB
T1 - Neural Network Verification is a Programming Language Challenge.
AU - Cordeiro, Lucas C.
AU - Daggitt, Matthew L.
AU - Girard-Satabin, Julien
AU - Isac, Omri
AU - Johnson, Taylor T.
AU - Katz, Guy
AU - Komendantskaya, Ekaterina
AU - Lemesle, Augustin
AU - Manino, Edoardo
AU - Sinkarovs, Artjoms
AU - Wu, Haoze
N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.
PY - 2025
Y1 - 2025
N2 - 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.
AB - 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.
UR - https://dblp.org/db/journals/corr/corr2501.html#abs-2501-05867
U2 - 10.48550/arXiv.2501.05867
DO - 10.48550/arXiv.2501.05867
M3 - Preprint
VL - abs/2501.05867
T3 - CoRR
SP - 1
EP - 29
BT - Neural Network Verification is a Programming Language Challenge.
ER -