Fu, Feisi, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, and Wenchao Li. 2024. “REGLO: Provable Neural Network Repair for Global Robustness Properties”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (11):12061-71. https://doi.org/10.1609/aaai.v38i11.29094.