Neural Network Verification is a Programming Language Challenge

Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson +6 more
1/10/2025
cs.PLcs.LGcs.LO

No confident code implementation found for this paper. 2 possible matches can be shown below.

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.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 2 weaker matches are hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Floating-Point Neural Network Verification at the Software Level

84% match2025

DeepCDCL: An CDCL-based Neural Network Verification Framework

83% match2024

ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification

82% match1 repo32023

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs

82% match1 repo1312024

Neural Theorem Proving for Verification Conditions: A Real-World Benchmark

82% match2026

Efficient Symbolic Reasoning for Neural-Network Verification

82% match2023

Cite this paper

@article{cordeiro2025neural,
  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},
  eprint = {2501.05867},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2501.05867v2}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2501.05867.svg)](https://codeofpaper.com/paper/2501.05867)

Discussion