2024
REGLO: Provable Neural Network Repair for Global Robustness Properties
AAAI 2024technical
We present REGLO, a novel methodology for repairing pretrained neural networks to satisfy global robustness and individual fairness properties. A neural network is said to be globally robust with respect to a given input region if and only if all the input points in the region are locally robust. Th…