{"total":31,"rows":[{"id":"2205.13536","title":"Verifying Learning-Based Robotic Navigation Systems","created":"2022-05-26","cited_by_count":33,"area":null},{"id":"2308.00143","title":"Formally Explaining Neural Networks within Reactive Systems","created":"2023-07-31","cited_by_count":24,"area":null},{"id":"2406.02981","title":"Local vs. Global Interpretability: A Computational Complexity Perspective","created":"2024-06-05","cited_by_count":23,"area":null},{"id":"2202.03898","title":"Verification-Aided Deep Ensemble Selection","created":"2022-02-08","cited_by_count":18,"area":null},{"id":"2303.10650","title":"Logic of Differentiable Logics: Towards a Uniform Semantics of DL","created":"2023-03-19","cited_by_count":15,"area":null},{"id":"2401.06379","title":"Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs","created":"2024-01-12","cited_by_count":14,"area":null},{"id":"2212.03287","title":"veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System","created":"2022-12-06","cited_by_count":12,"area":null},{"id":"2406.04184","title":"Shield Synthesis for LTL Modulo Theories","created":"2024-06-06","cited_by_count":12,"area":null},{"id":"2501.05867","title":"Neural Network Verification is a Programming Language Challenge","created":"2025-01-10","cited_by_count":12,"area":null},{"id":"2302.05745","title":"Verifying Generalization in Deep Learning","created":"2023-02-11","cited_by_count":11,"area":null},{"id":"2408.03915","title":"Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation","created":"2024-08-07","cited_by_count":11,"area":null},{"id":"2210.12871","title":"Tighter Abstract Queries in Neural Network Verification","created":"2022-10-23","cited_by_count":8,"area":null},{"id":"2402.00035","title":"Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing","created":"2024-01-08","cited_by_count":8,"area":null},{"id":"2305.04003","title":"ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification","created":"2023-05-06","cited_by_count":6,"area":null},{"id":"2305.03365","title":"Repairing Deep Neural Networks Based on Behavior Imitation","created":"2023-05-05","cited_by_count":4,"area":null},{"id":"2207.10562","title":"CheckINN: Wide Range Neural Network Verification in Imandra (Extended)","created":"2022-07-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":"2405.10350","title":"Monitizer: Automating Design and Evaluation of Neural Network Monitors","created":"2024-05-16","cited_by_count":2,"area":null},{"id":"2207.06741","title":"Differentiable Logics for Neural Network Training and Verification","created":"2022-07-14","cited_by_count":1,"area":null},{"id":"2504.12031","title":"Proof-Carrying Neuro-Symbolic Code","created":"2025-04-16","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":"2206.14575","title":"Why Robust Natural Language Understanding is a Challenge","created":"2022-06-21","cited_by_count":0,"area":null},{"id":"2403.13441","title":"Robustness Verifcation in Neural Networks","created":"2024-03-20","cited_by_count":0,"area":null},{"id":"2405.15886","title":"A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks","created":"2024-05-24","cited_by_count":0,"area":null},{"id":"2411.14163","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","created":"2024-11-21","cited_by_count":0,"area":null},{"id":"2505.00622","title":"Neural Network Verification for Gliding Drone Control: A Case Study","created":"2025-05-01","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":"2511.06495","title":"Probably Approximately Global Robustness Certification","created":"2025-11-09","cited_by_count":0,"area":null},{"id":"2511.07293","title":"Formal Reasoning About Confidence and Automated Verification of Neural Networks","created":"2025-11-10","cited_by_count":0,"area":null},{"id":"2602.06737","title":"Optimized Piecewise Affine Abstractions of Neural Networks with Learnable Activation Functions","created":"2026-02-06","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}],"next_cursor":null}