{"total":42,"rows":[{"id":"2106.05937","title":"Fair Normalizing Flows","created":"2021-06-10","cited_by_count":38,"area":null},{"id":"2104.02466","title":"A Review of Formal Methods applied to Machine Learning","created":"2021-04-06","cited_by_count":33,"area":null},{"id":"2201.01978","title":"An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks","created":"2022-01-06","cited_by_count":24,"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":"2108.04214","title":"Neural Network Repair with Reachability Analysis","created":"2021-08-09","cited_by_count":19,"area":null},{"id":"2203.03153","title":"Scalable Verification of GNN-based Job Schedulers","created":"2022-03-07","cited_by_count":19,"area":null},{"id":"2111.13650","title":"Latent Space Smoothing for Individually Fair Representations","created":"2021-11-26","cited_by_count":18,"area":null},{"id":"2202.03898","title":"Verification-Aided Deep Ensemble Selection","created":"2022-02-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":"2205.15494","title":"Certifying Some Distributional Fairness with Subpopulation Decomposition","created":"2022-05-31","cited_by_count":11,"area":null},{"id":"2302.05745","title":"Verifying Generalization in Deep Learning","created":"2023-02-11","cited_by_count":11,"area":null},{"id":"2206.03044","title":"CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness","created":"2022-06-07","cited_by_count":9,"area":null},{"id":"2410.23903","title":"Neural Network Verification with PyRAT","created":"2024-10-31","cited_by_count":9,"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":"2101.00909","title":"Fair Training of Decision Tree Classifiers","created":"2021-01-04","cited_by_count":4,"area":null},{"id":"2107.11445","title":"Self-Correcting Neural Networks For Safe Classification","created":"2021-07-23","cited_by_count":4,"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":"2306.06747","title":"Precise and Generalized Robustness Certification for Neural Networks","created":"2023-06-11","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":"2305.18558","title":"DelBugV: Delta-Debugging Neural Network Verifiers","created":"2023-05-29","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":"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":"2207.05902","title":"Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations","created":"2022-07-13","cited_by_count":1,"area":null},{"id":"2401.14628","title":"Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment","created":"2024-01-26","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":"2512.23769","title":"Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations","created":"2025-12-29","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":"2210.12456","title":"Abstract Interpretation-Based Feature Importance for SVMs","created":"2022-10-22","cited_by_count":0,"area":null},{"id":"2306.02639","title":"Evaluating robustness of support vector machines with the Lagrangian dual approach","created":"2023-06-05","cited_by_count":0,"area":null},{"id":"2306.12495","title":"Verifying Global Neural Network Specifications using Hyperproperties","created":"2023-06-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":"2405.08645","title":"Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation","created":"2024-05-14","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":"2506.12084","title":"The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification","created":"2025-06-10","cited_by_count":0,"area":null},{"id":"2603.14369","title":"From Specification to Architecture: A Theory Compiler for Knowledge-Guided Machine Learning","created":"2026-03-15","cited_by_count":0,"area":null},{"id":"2608.26209","title":"Fairness Invariants: A Relational Approach to Explaining and Mitigating Fairness Bugs","created":"2026-08-26","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}