Probabilistic Verification of Neural Networks Against Group Fairness

DOI10.1007/978-3-030-90870-6_5zbMath1521.68159MaRDI QIDQ6488462

Ting Dai, Bing Sun, Unnamed Author, Unnamed Author

Publication date: 21 April 2023

Mathematics Subject Classification ID

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

Related Items (1)

Towards a unifying logical framework for neural networks

Cites Work

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

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