{"total":13,"rows":[{"id":"2301.11683","title":"Neural Abstractions","created":"2023-01-27","cited_by_count":11,"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":"2210.04175","title":"Safety Verification for Neural Networks Based on Set-boundary Analysis","created":"2022-10-09","cited_by_count":5,"area":null},{"id":"2210.16940","title":"FI-ODE: Certifiably Robust Forward Invariance in Neural ODEs","created":"2022-10-30","cited_by_count":3,"area":null},{"id":"2303.05246","title":"Efficient Certified Training and Robustness Verification of Neural ODEs","created":"2023-03-09","cited_by_count":3,"area":null},{"id":"2311.16520","title":"Value Approximation for Two-Player General-Sum Differential Games with State Constraints","created":"2023-11-28","cited_by_count":3,"area":null},{"id":"2506.03227","title":"Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification","created":"2025-06-03","cited_by_count":3,"area":null},{"id":"2510.17859","title":"Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency","created":"2025-10-15","cited_by_count":2,"area":null},{"id":"2302.12667","title":"Deep active learning for nonlinear system identification","created":"2023-02-24","cited_by_count":1,"area":null},{"id":"2306.15403","title":"Verifying Safety of Neural Networks from Topological Perspectives","created":"2023-06-27","cited_by_count":1,"area":null},{"id":"2606.16567","title":"TNODEV: Toolbox for Neural ODE Verification","created":"2026-06-15","cited_by_count":1,"area":null},{"id":"2307.15546","title":"On the Trade-off Between Efficiency and Precision of Neural Abstraction","created":"2023-07-28","cited_by_count":0,"area":null},{"id":"2609.30079","title":"Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features","created":"2026-09-24","cited_by_count":0,"area":null}],"next_cursor":null}