{"total":42,"rows":[{"id":"2107.06641","title":"Trustworthy AI: A Computational Perspective","created":"2021-07-12","cited_by_count":93,"area":null},{"id":"2106.05937","title":"Fair Normalizing Flows","created":"2021-06-10","cited_by_count":38,"area":null},{"id":"2205.05763","title":"Individual Fairness Guarantees for Neural Networks","created":"2022-05-11","cited_by_count":23,"area":null},{"id":"2212.06140","title":"Fairify: Fairness Verification of Neural Networks","created":"2022-12-08","cited_by_count":22,"area":null},{"id":"2111.13650","title":"Latent Space Smoothing for Individually Fair Representations","created":"2021-11-26","cited_by_count":18,"area":null},{"id":"2107.08362","title":"Probabilistic Verification of Neural Networks Against Group Fairness","created":"2021-07-18","cited_by_count":17,"area":null},{"id":"2205.09927","title":"CertiFair: A Framework for Certified Global Fairness of Neural Networks","created":"2022-05-20","cited_by_count":17,"area":null},{"id":"2109.09447","title":"Algorithmic Fairness Verification with Graphical Models","created":"2021-09-20","cited_by_count":16,"area":null},{"id":"2107.08176","title":"Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling","created":"2021-07-17","cited_by_count":14,"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":"2205.15494","title":"Certifying Some Distributional Fairness with Subpopulation Decomposition","created":"2022-05-31","cited_by_count":11,"area":null},{"id":"2305.15979","title":"Monitoring Algorithmic Fairness","created":"2023-05-25","cited_by_count":8,"area":null},{"id":"2207.11173","title":"Verifying Fairness in Quantum Machine Learning","created":"2022-07-22","cited_by_count":7,"area":null},{"id":"2307.08722","title":"Certifying the Fairness of KNN in the Presence of Dataset Bias","created":"2023-07-17","cited_by_count":7,"area":null},{"id":"2308.00341","title":"Monitoring Algorithmic Fairness under Partial Observations","created":"2023-08-01","cited_by_count":7,"area":null},{"id":"2111.08856","title":"Fairness Testing of Deep Image Classification with Adequacy Metrics","created":"2021-11-17","cited_by_count":6,"area":null},{"id":"2212.08578","title":"Provable Fairness for Neural Network Models using Formal Verification","created":"2022-12-16","cited_by_count":6,"area":null},{"id":"2206.06054","title":"Specifying and Testing $k$-Safety Properties for Machine-Learning Models","created":"2022-06-13","cited_by_count":5,"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":"2303.02874","title":"Adversarial Sampling for Fairness Testing in Deep Neural Network","created":"2023-03-06","cited_by_count":5,"area":null},{"id":"2501.18331","title":"Stream-Based Monitoring of Algorithmic Fairness","created":"2025-01-30","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":"2405.15912","title":"Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction","created":"2024-05-24","cited_by_count":4,"area":null},{"id":"2405.17556","title":"Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound","created":"2024-05-27","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":"2212.02474","title":"Certifying Fairness of Probabilistic Circuits","created":"2022-12-05","cited_by_count":3,"area":null},{"id":"2501.01665","title":"FairSense: Long-Term Fairness Analysis of ML-Enabled Systems","created":"2025-01-03","cited_by_count":3,"area":null},{"id":"2305.16998","title":"A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation","created":"2023-05-26","cited_by_count":2,"area":null},{"id":"2508.15642","title":"Correct-By-Construction: Certified Individual Fairness through Neural Network Training","created":"2025-08-21","cited_by_count":1,"area":null},{"id":"2602.10457","title":"Analyzing Fairness of Neural Network Prediction via Counterfactual Dataset Generation","created":"2026-02-11","cited_by_count":1,"area":null},{"id":"2110.05390","title":"Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching","created":"2021-10-11","cited_by_count":0,"area":null},{"id":"2211.11186","title":"DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation","created":"2022-11-21","cited_by_count":0,"area":null},{"id":"2310.20299","title":"Verification of Neural Networks Local Differential Classification Privacy","created":"2023-10-31","cited_by_count":0,"area":null},{"id":"2402.04892","title":"Probabilistic ML Verification via Weighted Model Integration","created":"2024-02-07","cited_by_count":0,"area":null},{"id":"2505.11111","title":"FairSHAP: Preprocessing for Fairness Through Attribution-Based Data Augmentation","created":"2025-05-16","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":"2507.03048","title":"Monitoring of Static Fairness","created":"2025-07-03","cited_by_count":0,"area":null},{"id":"2507.20711","title":"Algorithmic Fairness: A Runtime Perspective","created":"2025-07-28","cited_by_count":0,"area":null},{"id":"2508.06443","title":"The Fair Game: Auditing & Debiasing AI Algorithms Over Time","created":"2025-08-08","cited_by_count":0,"area":null},{"id":"2510.04114","title":"Wasserstein projection distance for fairness testing of regression models","created":"2025-10-05","cited_by_count":0,"area":null},{"id":"2605.24926","title":"Energy Shields for Fairness","created":"2026-05-24","cited_by_count":0,"area":null},{"id":"2608.09366","title":"Beyond Binary: Continuous State Optimization with Graph-Structured Objectives","created":"2026-08-10","cited_by_count":0,"area":null}],"next_cursor":null}