Skip to content
conftrace_

satisfiability modulo convex

1 paper

Explore in graph

Also known as

SMC

Co-occurring keywords · papers mentioning both

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