=Paper=
{{Paper
|id=Vol-3442/paper-04
|storemode=property
|title=Provable Fairness for Neural Network Models Using Formal Verification
|pdfUrl=https://ceur-ws.org/Vol-3442/paper-04.pdf
|volume=Vol-3442
|authors=Giorgian Borca-Tasciuc,Xingzhi Guo,Stanley Bak,Steven Skiena
|dblpUrl=https://dblp.org/rec/conf/ewaf/Borca-TasciucGB23
}}
==Provable Fairness for Neural Network Models Using Formal Verification==
None