{"total":15,"rows":[{"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":"2407.07482","title":"Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations","created":"2024-07-10","cited_by_count":6,"area":null},{"id":"2406.08315","title":"Improving Policy Optimization via $\\varepsilon$-Retrain","created":"2024-06-12","cited_by_count":5,"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":"2509.11838","title":"Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network","created":"2025-09-15","cited_by_count":3,"area":null},{"id":"2511.11656","title":"On the Probabilistic Learnability of Compact Neural Network Preimage Bounds","created":"2025-11-10","cited_by_count":3,"area":null},{"id":"2501.07507","title":"Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback","created":"2025-01-13","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":"2408.08824","title":"LEVIS: Large Exact Verifiable Input Spaces for Neural Networks","created":"2024-08-16","cited_by_count":1,"area":null},{"id":"2507.10635","title":"Formal Verification of Variational Quantum Circuits","created":"2025-07-14","cited_by_count":1,"area":null},{"id":"2509.25647","title":"BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks","created":"2025-09-30","cited_by_count":0,"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},{"id":"2606.23754","title":"Verifiable Foundation Models for Robot Safety","created":"2026-06-22","cited_by_count":0,"area":null}],"next_cursor":null}