3 citations · 5 across the 4 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LG2026★ 1 cited
VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification
Ann Roy, Allen Antony, Andrea Gimelli +1
Neural network verification is an active and rapidly maturing research area, with a growing ecosystem of solvers and tools. The VNN-LIB standard was introduced to support interoper…
cs.LO2026
Adequate Losses via Quantitative Linear Logic
Matteo Capucci, Robert Atkey, Charles Grellois +2
As neural components are increasingly embedded in existing symbolic software -- including safety-critical systems -- the question arises of how to specify and enforce the safety of…