conftrace_

counterexample-guided search

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

fairness verification (1) neural network repair (1) satisfiability modulo convex (1) sensitivity neuron (1) neural network (1) model repair (1) counterexample generation (1) individual fairness (1)

Papers

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