Yifeng Xiao

1 paper in the IJCAI proceedings

IJCAI 2025

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

with Arya Fayyazi, Pierluigi Nuzzo, Massoud Pedram

doi:10.24963/ijcai.2025/42

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings