Vol-3441⫷ Vol-3442 ⫸Vol-3443
urn:nbn:de:0074-3442-0


Vol-3442/paper-03⫷Vol-3442/paper-04⫸Vol-3442/paper-05
Giorgian Borca-TasciucXingzhi GuoStanley BakSteven Skiena

Provable Fairness for Neural Network Models Using Formal Verification