Efficient Counterexample-Guided Fairness Verification and Repair of Neural Networks Using Satisfiability Modulo Convex Programming.

Arya Fayyazi, Yifeng Xiao, Pierluigi Nuzzo, Massoud Pedram

Browse the full IJCAI paper archive.