{"total":23,"rows":[{"id":"2305.00241","title":"When Deep Learning Meets Polyhedral Theory: A Survey","created":"2023-04-29","cited_by_count":39,"area":null},{"id":"2212.08507","title":"Robust Explanation Constraints for Neural Networks","created":"2022-12-16","cited_by_count":24,"area":null},{"id":"2206.04101","title":"What-is and How-to for Fairness in Machine Learning: A Survey, Reflection, and Perspective","created":"2022-06-08","cited_by_count":18,"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":"2402.12572","title":"FairProof : Confidential and Certifiable Fairness for Neural Networks","created":"2024-02-19","cited_by_count":13,"area":null},{"id":"2306.10742","title":"BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming","created":"2023-06-19","cited_by_count":8,"area":null},{"id":"2306.13614","title":"Adversarial Robustness Certification for Bayesian Neural Networks","created":"2023-06-23","cited_by_count":7,"area":null},{"id":"2309.11196","title":"When to Trust AI: Advances and Challenges for Certification of Neural Networks","created":"2023-09-20","cited_by_count":6,"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":"2308.08938","title":"Causal Adversarial Perturbations for Individual Fairness and Robustness in Heterogeneous Data Spaces","created":"2023-08-17","cited_by_count":4,"area":null},{"id":"2404.01877","title":"Procedural Fairness in Machine Learning","created":"2024-04-02","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":"2304.10828","title":"Individual Fairness in Bayesian Neural Networks","created":"2023-04-21","cited_by_count":3,"area":null},{"id":"2506.00496","title":"Monitoring Robustness and Individual Fairness","created":"2025-05-31","cited_by_count":3,"area":null},{"id":"2303.06419","title":"Use Perturbations when Learning from Explanations","created":"2023-03-11","cited_by_count":2,"area":null},{"id":"2311.11911","title":"Certification of Distributional Individual Fairness","created":"2023-11-20","cited_by_count":2,"area":null},{"id":"2406.02024","title":"Verifying the Generalization of Deep Learning to Out-of-Distribution Domains","created":"2024-06-04","cited_by_count":2,"area":null},{"id":"2405.13584","title":"Emulating Full Participation: An Effective and Fair Client Selection Strategy for Federated Learning","created":"2024-05-22","cited_by_count":1,"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":"2609.39629","title":"Certification-Based Differentially Private Learning","created":"2026-09-30","cited_by_count":1,"area":null},{"id":"2410.23362","title":"Tightening convex relaxations of trained neural networks: a unified approach for convex and S-shaped activations","created":"2024-10-30","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}