{"total":14,"rows":[{"id":"2210.07394","title":"Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation","created":"2022-10-13","cited_by_count":45,"area":null},{"id":"2404.12368","title":"Gradient-Regularized Out-of-Distribution Detection","created":"2024-04-18","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":"2509.22849","title":"Parameterized Hardness of Zonotope Containment and Neural Network Verification","created":"2025-09-26","cited_by_count":5,"area":null},{"id":"2406.00826","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","created":"2024-06-02","cited_by_count":4,"area":null},{"id":"2109.10573","title":"An automatic differentiation system for the age of differential privacy","created":"2021-09-22","cited_by_count":2,"area":null},{"id":"2306.04252","title":"Adversarial Sample Detection Through Neural Network Transport Dynamics","created":"2023-06-07","cited_by_count":1,"area":null},{"id":"2510.05261","title":"ECLipsE-Gen-Local: Efficient Compositional Local Lipschitz Estimates for Deep Neural Networks","created":"2025-10-06","cited_by_count":1,"area":null},{"id":"2602.15499","title":"ExLipBaB: Exact Lipschitz Constant Computation for Piecewise Linear Neural Networks","created":"2026-02-17","cited_by_count":1,"area":null},{"id":"2203.00295","title":"A Domain-Theoretic Framework for Robustness Analysis of Neural Networks","created":"2022-03-01","cited_by_count":0,"area":null},{"id":"2306.12495","title":"Verifying Global Neural Network Specifications using Hyperproperties","created":"2023-06-21","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":"2603.28113","title":"Demystifying Lipschitz verification: positive matrices, negative results","created":"2026-03-30","cited_by_count":0,"area":null},{"id":"2608.16340","title":"LiD-GLM: Lipschitz-constrained Deep Generalized Linear Models","created":"2026-08-17","cited_by_count":0,"area":null}],"next_cursor":null}