Provable Fairness for Neural Network Models using Formal Verification

Provable Fairness for Neural Network Models using Formal Verification

16 December 2022

Giorgian Borca-Tasciuc

Steven Skiena

Papers citing "Provable Fairness for Neural Network Models using Formal Verification"

5 / 5 papers shown

Title
Justified Evidence Collection for Argument-based AI Fairness Assurance Alpay Sabuncuoglu Christopher Burr Carsten Maple 31 0 0 12 May 2025
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 42 1 0 27 May 2024
Introduction to Neural Network Verification Aws Albarghouthi AAML 57 85 0 21 Sep 2021
A Survey on Bias and Fairness in Machine Learning Ninareh Mehrabi Fred Morstatter N. Saxena Kristina Lerman Aram Galstyan SyDa FaML 338 4,230 0 23 Aug 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017