TY  - RPRT
TI  - Probabilistic Verification of Neural Networks Against Group Fairness
AU  - Bing Sun
AU  - Jun Sun
AU  - Ting Dai
AU  - Lijun Zhang
PY  - 2021
UR  - https://arxiv.org/abs/2107.08362
ID  - 2107.08362
ER  -