{"total":17,"rows":[{"id":"2306.14123","title":"Privacy and Fairness in Federated Learning: on the Perspective of Trade-off","created":"2023-06-25","cited_by_count":26,"area":null},{"id":"2402.12572","title":"FairProof : Confidential and Certifiable Fairness for Neural Networks","created":"2024-02-19","cited_by_count":13,"area":null},{"id":"2403.17333","title":"The Pursuit of Fairness in Artificial Intelligence Models: A Survey","created":"2024-03-26","cited_by_count":13,"area":null},{"id":"2209.13179","title":"Explainable Global Fairness Verification of Tree-Based Classifiers","created":"2022-09-27","cited_by_count":5,"area":null},{"id":"2305.13508","title":"DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation","created":"2023-05-22","cited_by_count":5,"area":null},{"id":"2405.10143","title":"Relational DNN Verification With Cross Executional Bound Refinement","created":"2024-05-16","cited_by_count":5,"area":null},{"id":"2206.00553","title":"FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks","created":"2022-06-01","cited_by_count":4,"area":null},{"id":"2409.03220","title":"FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks","created":"2024-09-05","cited_by_count":4,"area":null},{"id":"2505.19932","title":"Logic Gate Neural Networks are Good for Verification","created":"2025-05-26","cited_by_count":4,"area":null},{"id":"2506.00496","title":"Monitoring Robustness and Individual Fairness","created":"2025-05-31","cited_by_count":3,"area":null},{"id":"2311.11911","title":"Certification of Distributional Individual Fairness","created":"2023-11-20","cited_by_count":2,"area":null},{"id":"2301.02288","title":"gRoMA: a Tool for Measuring the Global Robustness of Deep Neural Networks","created":"2023-01-05","cited_by_count":1,"area":null},{"id":"2512.23769","title":"Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations","created":"2025-12-29","cited_by_count":1,"area":null},{"id":"2608.18900","title":"TestifAI: Tomography-Based Testing for Deep Learning Systems","created":"2026-08-19","cited_by_count":1,"area":null},{"id":"2306.12495","title":"Verifying Global Neural Network Specifications using Hyperproperties","created":"2023-06-21","cited_by_count":0,"area":null},{"id":"2505.12767","title":"Language Models That Walk the Talk: A Framework for Formal Fairness Certificates","created":"2025-05-19","cited_by_count":0,"area":null},{"id":"2511.07208","title":"SMiLE: Provably Enforcing Global Relational Properties in Neural Networks","created":"2025-11-10","cited_by_count":0,"area":null}],"next_cursor":null}