{"total":102,"rows":[{"id":"2202.08345","title":"Learning Smooth Neural Functions via Lipschitz Regularization","created":"2022-02-16","cited_by_count":86,"area":null},{"id":"2111.01395","title":"Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds","created":"2021-11-02","cited_by_count":65,"area":null},{"id":"2207.07180","title":"Contrastive Adapters for Foundation Model Group Robustness","created":"2022-07-14","cited_by_count":62,"area":null},{"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":"2502.10818","title":"On Vanishing Gradients, Over-Smoothing, and Over-Squashing in GNNs: Bridging Recurrent and Graph Learning","created":"2025-02-15","cited_by_count":43,"area":null},{"id":"2210.06443","title":"On the Effectiveness of Lipschitz-Driven Rehearsal in Continual Learning","created":"2022-10-12","cited_by_count":39,"area":null},{"id":"2305.00241","title":"When Deep Learning Meets Polyhedral Theory: A Survey","created":"2023-04-29","cited_by_count":39,"area":null},{"id":"2302.10886","title":"Some Fundamental Aspects about Lipschitz Continuity of Neural Networks","created":"2023-02-21","cited_by_count":26,"area":null},{"id":"2106.03314","title":"Measuring Generalization with Optimal Transport","created":"2021-06-07","cited_by_count":25,"area":null},{"id":"2107.04570","title":"ANCER: Anisotropic Certification via Sample-wise Volume Maximization","created":"2021-07-09","cited_by_count":23,"area":null},{"id":"2106.03693","title":"Learning by Transference: Training Graph Neural Networks on Growing Graphs","created":"2021-06-07","cited_by_count":22,"area":null},{"id":"2110.05626","title":"Parameterizing Activation Functions for Adversarial Robustness","created":"2021-10-11","cited_by_count":22,"area":null},{"id":"2310.00116","title":"Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization","created":"2023-09-29","cited_by_count":21,"area":null},{"id":"2305.16173","title":"Efficient Bound of Lipschitz Constant for Convolutional Layers by Gram Iteration","created":"2023-05-25","cited_by_count":19,"area":null},{"id":"2301.12554","title":"Improving the Accuracy-Robustness Trade-Off of Classifiers via Adaptive Smoothing","created":"2023-01-29","cited_by_count":18,"area":null},{"id":"2105.05495","title":"LipBaB: Computing exact Lipschitz constant of ReLU networks","created":"2021-05-12","cited_by_count":16,"area":null},{"id":"2203.01212","title":"A Quantitative Geometric Approach to Neural-Network Smoothness","created":"2022-03-02","cited_by_count":16,"area":null},{"id":"2204.00846","title":"Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks","created":"2022-04-02","cited_by_count":15,"area":null},{"id":"2104.08695","title":"Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems","created":"2021-04-18","cited_by_count":13,"area":null},{"id":"2111.07183","title":"Reliably-stabilizing piecewise-affine neural network controllers","created":"2021-11-13","cited_by_count":13,"area":null},{"id":"2211.01258","title":"Instance-Dependent Generalization Bounds via Optimal Transport","created":"2022-11-02","cited_by_count":13,"area":null},{"id":"2404.12368","title":"Gradient-Regularized Out-of-Distribution Detection","created":"2024-04-18","cited_by_count":13,"area":null},{"id":"2104.14672","title":"Analytical bounds on the local Lipschitz constants of ReLU networks","created":"2021-04-29","cited_by_count":12,"area":null},{"id":"2112.07324","title":"On the Impact of Hard Adversarial Instances on Overfitting in Adversarial Training","created":"2021-12-14","cited_by_count":11,"area":null},{"id":"2202.02444","title":"Spelunking the Deep: Guaranteed Queries on General Neural Implicit Surfaces via Range Analysis","created":"2022-02-05","cited_by_count":11,"area":null},{"id":"2202.13216","title":"Adversarial robustness of sparse local Lipschitz predictors","created":"2022-02-26","cited_by_count":11,"area":null},{"id":"2206.13374","title":"Stability Verification of Neural Network Controllers using Mixed-Integer Programming","created":"2022-06-27","cited_by_count":11,"area":null},{"id":"2210.01476","title":"Learning-based Design of Luenberger Observers for Autonomous Nonlinear Systems","created":"2022-10-04","cited_by_count":11,"area":null},{"id":"2212.06874","title":"Statistical Safety and Robustness Guarantees for Feedback Motion Planning of Unknown Underactuated Stochastic Systems","created":"2022-12-13","cited_by_count":11,"area":null},{"id":"2301.12309","title":"On the Lipschitz Constant of Deep Networks and Double Descent","created":"2023-01-28","cited_by_count":11,"area":null},{"id":"2302.14112","title":"Injectivity of ReLU networks: perspectives from statistical physics","created":"2023-02-27","cited_by_count":10,"area":null},{"id":"2303.01978","title":"Robust One-Class Classification with Signed Distance Function using 1-Lipschitz Neural Networks","created":"2023-01-26","cited_by_count":10,"area":null},{"id":"2404.04375","title":"ECLipsE: Efficient Compositional Lipschitz Constant Estimation for Deep Neural Networks","created":"2024-04-05","cited_by_count":10,"area":null},{"id":"2406.18451","title":"Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers","created":"2024-06-26","cited_by_count":10,"area":null},{"id":"2503.10352","title":"Safe exploration in reproducing kernel Hilbert spaces","created":"2025-03-13","cited_by_count":10,"area":null},{"id":"2407.09505","title":"1-Lipschitz Neural Distance Fields","created":"2024-06-14","cited_by_count":9,"area":null},{"id":"2405.01125","title":"Lipschitz constant estimation for general neural network architectures using control tools","created":"2024-05-02","cited_by_count":8,"area":null},{"id":"2107.02732","title":"Provable Lipschitz Certification for Generative Models","created":"2021-07-06","cited_by_count":7,"area":null},{"id":"2206.04797","title":"Memory-efficient model-based deep learning with convergence and robustness guarantees","created":"2022-06-06","cited_by_count":7,"area":null},{"id":"2207.10283","title":"One-vs-the-Rest Loss to Focus on Important Samples in Adversarial Training","created":"2022-07-21","cited_by_count":7,"area":null},{"id":"2401.14033","title":"Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations","created":"2024-01-25","cited_by_count":7,"area":null},{"id":"2408.13140","title":"Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation","created":"2024-08-23","cited_by_count":7,"area":null},{"id":"2505.16716","title":"The Computational Complexity of Counting Linear Regions in ReLU Neural Networks","created":"2025-05-22","cited_by_count":7,"area":null},{"id":"2302.10287","title":"CertViT: Certified Robustness of Pre-Trained Vision Transformers","created":"2023-02-01","cited_by_count":6,"area":null},{"id":"2106.04186","title":"What training reveals about neural network complexity","created":"2021-06-08","cited_by_count":5,"area":null},{"id":"2110.07435","title":"Adaptive Differentially Private Empirical Risk Minimization","created":"2021-10-14","cited_by_count":5,"area":null},{"id":"2210.08069","title":"Zonotope Domains for Lagrangian Neural Network Verification","created":"2022-10-14","cited_by_count":5,"area":null},{"id":"2304.02693","title":"A Certified Radius-Guided Attack Framework to Image Segmentation Models","created":"2023-04-05","cited_by_count":5,"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":"2304.02755","title":"Hybrid Zonotopes Exactly Represent ReLU Neural Networks","created":"2023-04-05","cited_by_count":4,"area":null},{"id":"2402.18863","title":"Probabilistic Lipschitzness and the Stable Rank for Comparing Explanation Models","created":"2024-02-29","cited_by_count":4,"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":"2407.02811","title":"SPLITZ: Certifiable Robustness via Split Lipschitz Randomized Smoothing","created":"2024-07-03","cited_by_count":4,"area":null},{"id":"2410.20646","title":"Injectivity capacity of ReLU gates","created":"2024-10-28","cited_by_count":4,"area":null},{"id":"2501.11655","title":"KKL Observer Synthesis for Nonlinear Systems via Physics-Informed Learning","created":"2025-01-20","cited_by_count":4,"area":null},{"id":"2109.13662","title":"DeepPSL: End-to-end perception and reasoning","created":"2021-09-28","cited_by_count":3,"area":null},{"id":"2206.00513","title":"The robust way to stack and bag: the local Lipschitz way","created":"2022-06-01","cited_by_count":3,"area":null},{"id":"2303.05394","title":"A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems","created":"2023-03-07","cited_by_count":3,"area":null},{"id":"2307.16422","title":"Statistically Optimal Generative Modeling with Maximum Deviation from the Empirical Distribution","created":"2023-07-31","cited_by_count":3,"area":null},{"id":"2309.06166","title":"Certified Robust Models with Slack Control and Large Lipschitz Constants","created":"2023-09-12","cited_by_count":3,"area":null},{"id":"2406.04476","title":"Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis","created":"2024-06-06","cited_by_count":3,"area":null},{"id":"2412.04245","title":"Intriguing Properties of Robust Classification","created":"2024-12-05","cited_by_count":3,"area":null},{"id":"2505.10760","title":"Counterfactual Behavior Cloning: Offline Imitation Learning from Imperfect Human Demonstrations","created":"2025-05-16","cited_by_count":3,"area":"offlinerl"},{"id":"2203.09937","title":"On the sensitivity of pose estimation neural networks: rotation parameterizations, Lipschitz constants, and provable bounds","created":"2022-03-16","cited_by_count":2,"area":null},{"id":"2212.13989","title":"AdvCat: Domain-Agnostic Robustness Assessment for Cybersecurity-Critical Applications with Categorical Inputs","created":"2022-12-13","cited_by_count":2,"area":null},{"id":"2309.12323","title":"Evaluating the diversity and utility of materials proposed by generative models","created":"2023-08-09","cited_by_count":2,"area":null},{"id":"2310.04916","title":"Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks","created":"2023-10-07","cited_by_count":2,"area":null},{"id":"2406.09375","title":"Learning conditional distributions on continuous spaces","created":"2024-06-13","cited_by_count":2,"area":null},{"id":"2410.22258","title":"LipKernel: Lipschitz-Bounded Convolutional Neural Networks via Dissipative Layers","created":"2024-10-29","cited_by_count":2,"area":null},{"id":"2505.06580","title":"TAROT: Towards Essentially Domain-Invariant Robustness with Theoretical Justification","created":"2025-05-10","cited_by_count":2,"area":null},{"id":"2510.12753","title":"E-MoFlow: Learning Egomotion and Optical Flow from Event Data via Implicit Regularization","created":"2025-10-14","cited_by_count":2,"area":null},{"id":"2204.13209","title":"Robust stabilization of polytopic systems via fast and reliable neural network-based approximations","created":"2022-04-27","cited_by_count":1,"area":null},{"id":"2206.10235","title":"Riemannian data-dependent randomized smoothing for neural networks certification","created":"2022-06-21","cited_by_count":1,"area":null},{"id":"2301.11324","title":"Certified Interpretability Robustness for Class Activation Mapping","created":"2023-01-26","cited_by_count":1,"area":null},{"id":"2303.13588","title":"Efficient Symbolic Reasoning for Neural-Network Verification","created":"2023-03-23","cited_by_count":1,"area":"lr"},{"id":"2305.00977","title":"Generalization for slowly mixing processes","created":"2023-04-28","cited_by_count":1,"area":null},{"id":"2402.01199","title":"MIQCQP reformulation of the ReLU neural networks Lipschitz constant estimation problem","created":"2024-02-02","cited_by_count":1,"area":null},{"id":"2402.11557","title":"Evaluating Adversarial Robustness of Low dose CT Recovery","created":"2024-02-18","cited_by_count":1,"area":null},{"id":"2402.12072","title":"Robustness and Exploration of Variational and Machine Learning Approaches to Inverse Problems: An Overview","created":"2024-02-19","cited_by_count":1,"area":null},{"id":"2501.10202","title":"Provably Safeguarding a Classifier from OOD and Adversarial Samples: an Extreme Value Theory Approach","created":"2025-01-17","cited_by_count":1,"area":null},{"id":"2509.15368","title":"Stochastic Sample Approximations of (Local) Moduli of Continuity","created":"2025-09-18","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.02685","title":"Expert-Data Alignment Governs Generation Quality in Decentralized Diffusion Models","created":"2026-02-02","cited_by_count":1,"area":"diffusion"},{"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":"2401.05338","title":"STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers","created":"2023-11-28","cited_by_count":0,"area":null},{"id":"2404.13879","title":"Lipschitz-Regularized Critics Lead to Policy Robustness Against Transition Dynamics Uncertainty","created":"2024-04-22","cited_by_count":0,"area":"deeprl"},{"id":"2503.14783","title":"RAT: Boosting Misclassification Detection Ability without Extra Data","created":"2025-03-18","cited_by_count":0,"area":null},{"id":"2503.16342","title":"HiQ-Lip: A Hierarchical Quantum-Classical Method for Global Lipschitz Constant Estimation of ReLU Networks","created":"2025-03-20","cited_by_count":0,"area":null},{"id":"2506.18275","title":"Phase transition of \\emph{descending} phase retrieval algorithms","created":"2025-06-23","cited_by_count":0,"area":null},{"id":"2506.18279","title":"Optimal spectral initializers impact on phase retrieval phase transitions -- an RDT view","created":"2025-06-23","cited_by_count":0,"area":null},{"id":"2506.18282","title":"Phase retrieval with rank $d$ measurements -- \\emph{descending} algorithms phase transitions","created":"2025-06-23","cited_by_count":0,"area":null},{"id":"2508.13672","title":"ITL-LIME: Instance-Based Transfer Learning for Enhancing Local Explanations in Low-Resource Data Settings","created":"2025-08-19","cited_by_count":0,"area":null},{"id":"2510.10000","title":"Tight Robustness Certificates and Wasserstein Distributional Attacks for Deep Neural Networks","created":"2025-10-11","cited_by_count":0,"area":null},{"id":"2510.25130","title":"Lipschitz-aware Linearity Grafting for Certified Robustness","created":"2025-10-29","cited_by_count":0,"area":null},{"id":"2511.07293","title":"Formal Reasoning About Confidence and Automated Verification of Neural Networks","created":"2025-11-10","cited_by_count":0,"area":null},{"id":"2602.04608","title":"Jacobian Regularization Stabilizes Long-Term Integration of Neural Differential Equations","created":"2026-02-04","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":"2604.16576","title":"On the Robustness of LLM-Based Dense Retrievers: A Systematic Analysis of Generalizability and Stability","created":"2026-04-17","cited_by_count":0,"area":null},{"id":"2604.18751","title":"Beyond Coefficients: Forecast-Necessity Testing for Interpretable Causal Discovery in Nonlinear Time-Series Models","created":"2026-04-20","cited_by_count":0,"area":null}],"next_cursor":"100"}