Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality

Open Webpage

Guanqin Zhang, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui

Published: 01 Jan 2025, Last Modified: 15 May 2025Proc. ACM Program. Lang. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0