{"total":22,"rows":[{"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":"2501.05867","title":"Neural Network Verification is a Programming Language Challenge","created":"2025-01-10","cited_by_count":12,"area":null},{"id":"2404.15065","title":"Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure","created":"2024-04-23","cited_by_count":8,"area":null},{"id":"2210.08339","title":"Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems","created":"2022-10-15","cited_by_count":6,"area":null},{"id":"2305.01932","title":"Fully Automatic Neural Network Reduction for Formal Verification","created":"2023-05-03","cited_by_count":6,"area":null},{"id":"2401.14961","title":"Set-Based Training for Neural Network Verification","created":"2024-01-26","cited_by_count":6,"area":null},{"id":"2505.17854","title":"Out of the Shadows: Exploring a Latent Space for Neural Network Verification","created":"2025-05-23","cited_by_count":6,"area":null},{"id":"2506.09455","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","created":"2025-06-11","cited_by_count":5,"area":null},{"id":"2304.03671","title":"Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems","created":"2023-04-07","cited_by_count":3,"area":null},{"id":"2408.01273","title":"Certified Robust Invariant Polytope Training in Neural Controlled ODEs","created":"2024-08-02","cited_by_count":3,"area":null},{"id":"2411.18235","title":"Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control","created":"2024-11-27","cited_by_count":3,"area":null},{"id":"2212.07553","title":"Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes","created":"2022-12-14","cited_by_count":2,"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":"2603.08964","title":"The FABRIC Strategy for Verifying Neural Feedback Systems","created":"2026-03-09","cited_by_count":1,"area":null},{"id":"2308.14093","title":"The inverse problem for neural networks","created":"2023-08-27","cited_by_count":0,"area":null},{"id":"2401.12550","title":"UR4NNV: Neural Network Verification, Under-approximation Reachability Works!","created":"2024-01-23","cited_by_count":0,"area":null},{"id":"2405.10372","title":"Efficient model predictive control for nonlinear systems modelled by deep neural networks","created":"2024-05-16","cited_by_count":0,"area":null},{"id":"2410.06771","title":"Safe and High-Performance Learning of Model Predicitve Control using Kernel-Based Interpolation","created":"2024-10-09","cited_by_count":0,"area":null},{"id":"2505.12767","title":"Language Models That Walk the Talk: A Framework for Formal Fairness Certificates","created":"2025-05-19","cited_by_count":0,"area":null},{"id":"2602.10032","title":"Perception with Guarantees: Certified Pose Estimation via Reachability Analysis","created":"2026-02-10","cited_by_count":0,"area":null},{"id":"2603.13334","title":"Lipschitz-Based Robustness Certification Under Floating-Point Execution","created":"2026-03-06","cited_by_count":0,"area":null},{"id":"2608.30889","title":"Safety Screening for Voltage Control in Active Distribution Grids via Distributionally Robust Conformal Screening","created":"2026-08-31","cited_by_count":0,"area":null}],"next_cursor":null}