Probabilistic Verification of Neural Networks Against Group Fairness.

Bing Sun, Jun Sun, Ting Dai, Lijun Zhang

Browse the full FM paper archive.