{"total":22,"rows":[{"id":"2209.12951","title":"Liquid Structural State-Space Models","created":"2022-09-26","cited_by_count":136,"area":null},{"id":"2106.13898","title":"Closed-form Continuous-time Neural Models","created":"2021-06-25","cited_by_count":65,"area":null},{"id":"2302.06755","title":"Dataset Distillation with Convexified Implicit Gradients","created":"2023-02-13","cited_by_count":46,"area":null},{"id":"2103.08187","title":"Adversarial Training is Not Ready for Robot Learning","created":"2021-03-15","cited_by_count":20,"area":null},{"id":"2210.12030","title":"Evolution of Neural Tangent Kernels under Benign and Adversarial Training","created":"2022-10-21","cited_by_count":14,"area":null},{"id":"2207.06531","title":"Reachability Analysis of a General Class of Neural Ordinary Differential Equations","created":"2022-07-13","cited_by_count":13,"area":null},{"id":"2107.08467","title":"GoTube: Scalable Stochastic Verification of Continuous-Depth Models","created":"2021-07-18","cited_by_count":12,"area":null},{"id":"2111.11277","title":"BarrierNet: A Safety-Guaranteed Layer for Neural Networks","created":"2021-11-22","cited_by_count":12,"area":null},{"id":"2210.04763","title":"On the Forward Invariance of Neural ODEs","created":"2022-10-10","cited_by_count":11,"area":null},{"id":"2301.11683","title":"Neural Abstractions","created":"2023-01-27","cited_by_count":11,"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":"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":"2210.06650","title":"Interpreting Neural Policies with Disentangled Tree Representations","created":"2022-10-13","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":"2408.08824","title":"LEVIS: Large Exact Verifiable Input Spaces for Neural Networks","created":"2024-08-16","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":"2308.12192","title":"Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques","created":"2023-08-23","cited_by_count":0,"area":null},{"id":"2510.05707","title":"Stable Robot Motions on Manifolds: Learning Lyapunov-Constrained Neural Manifold ODEs","created":"2025-10-07","cited_by_count":0,"area":null}],"next_cursor":null}