{"total":32,"rows":[{"id":"2110.01167","title":"Trustworthy AI: From Principles to Practices","created":"2021-10-04","cited_by_count":207,"area":null},{"id":"2109.00520","title":"The Role of Explainability in Assuring Safety of Machine Learning in Healthcare","created":"2021-09-01","cited_by_count":26,"area":null},{"id":"2307.10266","title":"A DPLL(T) Framework for Verifying Deep Neural Networks","created":"2023-07-17","cited_by_count":24,"area":null},{"id":"2108.04214","title":"Neural Network Repair with Reachability Analysis","created":"2021-08-09","cited_by_count":19,"area":null},{"id":"2304.01874","title":"Incremental Verification of Neural Networks","created":"2023-04-04","cited_by_count":14,"area":null},{"id":"2207.00759","title":"Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks","created":"2022-07-02","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":"2404.00897","title":"Machine Learning Robustness: A Primer","created":"2024-04-01","cited_by_count":8,"area":null},{"id":"2108.07961","title":"Verifying Low-dimensional Input Neural Networks via Input Quantization","created":"2021-08-18","cited_by_count":7,"area":null},{"id":"2206.11981","title":"Never trust, always verify : a roadmap for Trustworthy AI?","created":"2022-06-23","cited_by_count":4,"area":null},{"id":"2512.00164","title":"Faster Verified Explanations for Neural Networks","created":"2025-11-28","cited_by_count":4,"area":null},{"id":"2206.12934","title":"Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System","created":"2022-06-26","cited_by_count":3,"area":null},{"id":"2208.14403","title":"Verifiable Obstacle Detection","created":"2022-08-30","cited_by_count":3,"area":null},{"id":"2403.08788","title":"VerifIoU -- Robustness of Object Detection to Perturbations","created":"2024-01-30","cited_by_count":3,"area":null},{"id":"2503.14751","title":"LipShiFT: A Certifiably Robust Shift-based Vision Transformer","created":"2025-03-18","cited_by_count":3,"area":null},{"id":"2603.10661","title":"FAME: Formal Abstract Minimal Explanation for Neural Networks","created":"2026-03-11","cited_by_count":3,"area":null},{"id":"2408.10491","title":"Achieving the Tightest Relaxation of Sigmoids for Formal Verification","created":"2024-08-20","cited_by_count":2,"area":null},{"id":"2504.00065","title":"Assessing Code Understanding in LLMs","created":"2025-03-31","cited_by_count":2,"area":null},{"id":"2512.05439","title":"BEAVER: An Efficient Deterministic LLM Verifier","created":"2025-12-05","cited_by_count":2,"area":null},{"id":"2202.02095","title":"Fixed-Point Code Synthesis For Neural Networks","created":"2022-02-04","cited_by_count":1,"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":"2505.00466","title":"A General Framework for Property-Driven Machine Learning","created":"2025-05-01","cited_by_count":1,"area":null},{"id":"2510.18417","title":"On AI Verification in Open RAN","created":"2025-10-21","cited_by_count":1,"area":null},{"id":"2205.01419","title":"An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles","created":"2022-05-03","cited_by_count":0,"area":null},{"id":"2210.12456","title":"Abstract Interpretation-Based Feature Importance for SVMs","created":"2022-10-22","cited_by_count":0,"area":null},{"id":"2408.00986","title":"A SAT-based approach to rigorous verification of Bayesian networks","created":"2024-08-02","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":"2507.04659","title":"A Cycle-Consistency Constrained Framework for Dynamic Solution Space Reduction in Noninjective Regression","created":"2025-07-07","cited_by_count":0,"area":null},{"id":"2604.24379","title":"Certified geometric robustness -- Super-DeepG","created":"2026-04-27","cited_by_count":0,"area":null},{"id":"2605.13845","title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","created":"2026-05-13","cited_by_count":0,"area":null},{"id":"2607.09489","title":"Ceci n'est pas une pipe: AI systems as semantic abstractions","created":"2026-07-10","cited_by_count":0,"area":null}],"next_cursor":null}