Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
No abstract available.
Related papers
- Perfectly parallel fairness certification of neural networks OOPSLA 2020
- Shared Certificates for Neural Network Verification CAV 2022
- An abstract domain for certifying neural networks POPL 2019
- Certifying the Fairness of KNN in the Presence of Dataset Bias CAV 2023
- QAV-FT: Quadratic Approximation-Based Neural Network Verification via Fourier Series and Taylor Truncation CAV 2026
- A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems TACAS 2023
- Proof transfer for fast certification of multiple approximate neural networks OOPSLA 2022
- Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates CAV 2025