Fu, Feisi, et al. “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.