TY  - RPRT
TI  - Provable Fairness for Neural Network Models using Formal Verification
AU  - Giorgian Borca-Tasciuc
AU  - Xingzhi Guo
AU  - Stanley Bak
AU  - Steven Skiena
PY  - 2022
UR  - https://arxiv.org/abs/2212.08578
ID  - 2212.08578
ER  -