conftrace_

sensitivity neuron

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

fairness verification (1) neural network repair (1) counterexample-guided search (1) satisfiability modulo convex (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