{"total":15,"rows":[{"id":"2308.00143","title":"Formally Explaining Neural Networks within Reactive Systems","created":"2023-07-31","cited_by_count":24,"area":null},{"id":"2308.09842","title":"Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees","created":"2023-08-18","cited_by_count":19,"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":"2302.10030","title":"Safe Deep Reinforcement Learning by Verifying Task-Level Properties","created":"2023-02-20","cited_by_count":9,"area":null},{"id":"2302.06695","title":"Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation","created":"2023-02-13","cited_by_count":7,"area":null},{"id":"2407.01639","title":"ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks","created":"2024-06-30","cited_by_count":7,"area":null},{"id":"2406.08315","title":"Improving Policy Optimization via $\\varepsilon$-Retrain","created":"2024-06-12","cited_by_count":5,"area":null},{"id":"2401.10938","title":"Even-if Explanations: Formal Foundations, Priorities and Complexity","created":"2024-01-17","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":"2505.05235","title":"Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation","created":"2025-05-08","cited_by_count":4,"area":null},{"id":"2504.17723","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","created":"2025-04-24","cited_by_count":2,"area":null},{"id":"2507.05405","title":"Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification","created":"2025-07-07","cited_by_count":2,"area":null},{"id":"2312.05890","title":"Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing","created":"2023-12-10","cited_by_count":1,"area":null},{"id":"2603.14818","title":"SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression","created":"2026-03-16","cited_by_count":1,"area":null},{"id":"2605.14758","title":"Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning","created":"2026-05-14","cited_by_count":0,"area":null}],"next_cursor":null}