Compositional Neural Network Verification via Assume-Guarantee Reasoning

NeurIPSSpotlight2025

Authors
Hai Duong, David Shriver, ThanhVu Nguyen, Matthew B. Dwyer
Venue
NeurIPS 2025
Track
Spotlight

TL;DR

Verifying the behavior of neural networks is necessary if developers are to confidently deploy them as parts of mission-critical systems…

Opening excerpt from the authors’ abstract. source

Read the paper

Topics

reasoning

Related NeurIPS papers

← All NeurIPS 2025 Spotlight papers · Browse the whole archive