Fu, F., Z. Wang, W. Zhou, Y. Wang, J. Fan, C. Huang, Q. Zhu, X. Chen, and W. Li. “REGLO: Provable Neural Network Repair for Global Robustness Properties”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 38, no. 11, Mar. 2024, pp. 12061-7, doi:10.1609/aaai.v38i11.29094.