Fu, F.; Wang, Z.; Zhou, W.; Wang, Y.; Fan, J.; Huang, C.; Zhu, Q.; Chen, X.; Li, W. REGLO: Provable Neural Network Repair for Global Robustness Properties. AAAI 2024, 38, 12061-12071.