{"total":25,"rows":[{"id":"2301.07068","title":"The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks","created":"2023-01-17","cited_by_count":19,"area":null},{"id":"2103.07224","title":"BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks","created":"2021-03-12","cited_by_count":17,"area":null},{"id":"2209.07190","title":"Adaptive Fairness Improvement Based on Causality Analysis","created":"2022-09-15","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":"2402.12572","title":"FairProof : Confidential and Certifiable Fairness for Neural Networks","created":"2024-02-19","cited_by_count":13,"area":null},{"id":"2305.15979","title":"Monitoring Algorithmic Fairness","created":"2023-05-25","cited_by_count":8,"area":null},{"id":"2206.00667","title":"How Biased are Your Features?: Computing Fairness Influence Functions with Global Sensitivity Analysis","created":"2022-06-01","cited_by_count":7,"area":null},{"id":"2207.11173","title":"Verifying Fairness in Quantum Machine Learning","created":"2022-07-22","cited_by_count":7,"area":null},{"id":"2208.11321","title":"TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination","created":"2022-08-24","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":"2505.16115","title":"A Generic Framework for Conformal Fairness","created":"2025-05-22","cited_by_count":7,"area":null},{"id":"2410.08111","title":"Active Fourier Auditor for Estimating Distributional Properties of ML Models","created":"2024-10-10","cited_by_count":6,"area":null},{"id":"2505.04796","title":"Robust ML Auditing using Prior Knowledge","created":"2025-05-07","cited_by_count":6,"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":"2212.02474","title":"Certifying Fairness of Probabilistic Circuits","created":"2022-12-05","cited_by_count":3,"area":null},{"id":"2312.10128","title":"An Information-Flow Perspective on Algorithmic Fairness","created":"2023-12-15","cited_by_count":1,"area":null},{"id":"2409.18332","title":"Conformal Prediction: A Theoretical Note and Benchmarking Transductive Node Classification in Graphs","created":"2024-09-26","cited_by_count":1,"area":null},{"id":"2205.09826","title":"DPER: Dynamic Programming for Exist-Random Stochastic SAT","created":"2022-05-19","cited_by_count":0,"area":null},{"id":"2503.07775","title":"Sublinear Algorithms for Wasserstein and Total Variation Distances: Applications to Fairness and Privacy Auditing","created":"2025-03-10","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":"2605.24926","title":"Energy Shields for Fairness","created":"2026-05-24","cited_by_count":0,"area":null},{"id":"2609.30050","title":"NNV3: Expanding Neural Network Verification to New Architectures and Domains","created":"2026-09-24","cited_by_count":0,"area":null}],"next_cursor":null}