Justicia: A Stochastic SAT Approach to Formally Verify Fairness.

Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel

Browse the full AAAI paper archive.