works on
cut elimination 1differentiable loss functions 1neuro-symbolic integration 1quantitative linear logic 1soft residuated lattices 1

From the 1 of 6 linked papers with an AI index.

most citedVNN-LIB 2.0: Rigorous Foundations for Neural Network Verification

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2025

Neural Network Verification is a Programming Language Challenge

Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin +8

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 pr…