Improving Neural Network Verification through Spurious Region Guided Refinement.

Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang

Browse the full TACAS paper archive.