Probabilistic Verification of Neural Networks Against Group Fairness

DOI10.1007/978-3-030-90870-6_5MaRDI QIDQ6488462zbMATH OpenFDO

Authors Bing Sun, Jun Sun, Ting Dai, Lijun Zhang

Publication date 21 April 2023

Full work available at URL https://doi.org/10.1007/978-3-030-90870-6_5

Mathematics Subject Classification ID

Computational methods in Markov chains (60J22) Specification and verification (program logics, model checking, etc.) (68Q60) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• scientific article; zbMATH DE number 7064055
• An abstraction-based framework for neural network verification
• Model-based and actual independence for fairness-aware classification
• Synthesizing Fair Decision Trees via Iterative Constraint Solving
• Formal verification of piece-wise linear feed-forward neural networks

Cites work

• An abstraction-based framework for neural network verification
• Branch and bound for piecewise linear neural network verification
• Fairness through awareness
• Global PAC bounds for learning discrete time Markov chains
• Least squares quantization in PCM
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Repairing decision-making programs under uncertainty
• Robustness Verification for Classifier Ensembles
• The temporal logic of branching time
• Verifying Recurrent Neural Networks Using Invariant Inference

Cited in

(4)

• A comprehensive and fair comparison of two neural operators (with practical extensions) based on FAIR data
• Towards a unifying logical framework for neural networks
• Certifying the fairness of KNN in the presence of dataset bias
• Monitoring algorithmic fairness

This page was built for publication: Probabilistic Verification of Neural Networks Against Group Fairness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488462)