Giorgian Borca-Tasciuc, Xingzhi Guo, Stanley Bak, Steven Skiena. Provable Fairness for Neural Network Models Using Formal Verification. In Jose M. Alvarez, Alessandro Fabris, Christoph Heitz, Corinna Hertweck, Michele Loi, Meike Zehlike, editors, Proceedings of the 2nd European Workshop on Algorithmic Fairness, Winterthur, Switzerland, June 7th to 9th, 2023. Volume 3442 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Abstract is missing.