Publication

[YangLLHWSXZ21] Improving Neural Network Verification through Spurious Region Guided Refinement Yang, P.; Li, R.; Li, J.; Huang, C.-C.; Wang, J.; Sun, J.; Xue, B. and Zhang, L. In TACAS, LNCS , 2021.
Downloads: bib