2025
Compositional Neural Network Verification via Assume-Guarantee Reasoning
NeurIPS 2025spotlight
Verifying the behavior of neural networks is necessary if developers are to confidently deploy them as parts of mission-critical systems. Toward this end, researchers have been actively developing a range of increasingly sophisticated and scalable neural network verifiers. However, scaling verificat…