Massoud Pedram

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, Yifeng Xiao, Pierluigi Nuzzo

doi:10.24963/ijcai.2025/42

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings