{"total":25,"rows":[{"id":"2404.07956","title":"Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation","created":"2024-04-11","cited_by_count":25,"area":null},{"id":"2408.09262","title":"PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks","created":"2024-08-17","cited_by_count":8,"area":null},{"id":"2402.10998","title":"Provably Safe Neural Network Controllers via Differential Dynamic Logic","created":"2024-02-16","cited_by_count":7,"area":null},{"id":"2309.11196","title":"When to Trust AI: Advances and Challenges for Certification of Neural Networks","created":"2023-09-20","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":"2410.20207","title":"Revisiting Differential Verification: Equivalence Verification with Confidence","created":"2024-10-26","cited_by_count":4,"area":null},{"id":"2505.18912","title":"Robust Stability Analysis of Positive Lure System with Neural Network Feedback","created":"2025-05-25","cited_by_count":2,"area":null},{"id":"2505.22798","title":"Efficient Preimage Approximation for Neural Network Certification","created":"2025-05-28","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":"2408.08824","title":"LEVIS: Large Exact Verifiable Input Spaces for Neural Networks","created":"2024-08-16","cited_by_count":1,"area":null},{"id":"2501.15767","title":"Formal Verification of Markov Processes with Learned Parameters","created":"2025-01-27","cited_by_count":1,"area":null},{"id":"2602.17530","title":"Provably Explaining Neural Additive Models","created":"2026-02-19","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":"2605.26577","title":"Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial","created":"2026-05-26","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":"2402.04660","title":"Redesigning Traffic Signs to Mitigate Machine-Learning Patch Attacks","created":"2024-02-07","cited_by_count":0,"area":null},{"id":"2409.09687","title":"Training Safe Neural Networks with Global SDP Bounds","created":"2024-09-15","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":"2503.00563","title":"A Guide to Failure in Machine Learning: Reliability and Robustness from Foundations to Practice","created":"2025-03-01","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":"2605.24084","title":"Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks","created":"2026-05-22","cited_by_count":0,"area":null},{"id":"2605.30155","title":"Neural Network Verification using Partial Multi-Neuron Relaxation","created":"2026-05-28","cited_by_count":0,"area":null},{"id":"2606.03946","title":"MLSkip: Data Skipping for ML Filters via Lightweight Metadata","created":"2026-06-02","cited_by_count":0,"area":null},{"id":"2609.32018","title":"Representation Learning for Exact Preimages","created":"2026-09-25","cited_by_count":0,"area":null},{"id":"2609.34628","title":"CLAD: Constrained Abstract Domain for Neural Network Verification","created":"2026-09-28","cited_by_count":0,"area":null}],"next_cursor":null}