Xiao, Yifeng

1 publications

IJCAI 2025 Efficient Counterexample-Guided Fairness Verification and Repair of Neural Networks Using Satisfiability Modulo Convex Programming Arya Fayyazi, Yifeng Xiao, Pierluigi Nuzzo, Massoud Pedram