Neural Network Verification is a Programming Language Challenge
Programming Languages
2025-01-31 v2 Machine Learning
Logic in Computer Science
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.
Cite
@article{arxiv.2501.05867,
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},
journal= {arXiv preprint arXiv:2501.05867},
year = {2025}
}
Comments
Accepted at ESOP 2025, European Symposium on Programming Languages