Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality

Guanqin Zhang,Zhenya Zhang, Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui. OOPSLA 2025
Download Paper | Download Slides | GitHub