{"total":62,"rows":[{"id":"2303.03169","title":"A Unified Algebraic Perspective on Lipschitz Neural Networks","created":"2023-03-06","cited_by_count":60,"area":null},{"id":"2210.01787","title":"Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective","created":"2022-10-04","cited_by_count":51,"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":"2210.06443","title":"On the Effectiveness of Lipschitz-Driven Rehearsal in Continual Learning","created":"2022-10-12","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":"2305.13991","title":"Expressive Losses for Verified Robustness via Convex Combinations","created":"2023-05-23","cited_by_count":23,"area":null},{"id":"2306.08744","title":"High-performance deep spiking neural networks with 0.3 spikes per neuron","created":"2023-06-14","cited_by_count":22,"area":null},{"id":"2206.14772","title":"IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound","created":"2022-06-29","cited_by_count":21,"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":"2507.13338","title":"Training Transformers with Enforced Lipschitz Constants","created":"2025-07-17","cited_by_count":20,"area":null},{"id":"2310.19182","title":"Fast Trainable Projection for Robust Fine-Tuning","created":"2023-10-29","cited_by_count":19,"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":"2301.12549","title":"Unlocking Deterministic Robustness Certification on ImageNet","created":"2023-01-29","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":"2506.06665","title":"SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming","created":"2025-06-07","cited_by_count":12,"area":null},{"id":"2211.08453","title":"Improved techniques for deterministic l2 robustness","created":"2022-11-15","cited_by_count":9,"area":null},{"id":"2309.16883","title":"The Lipschitz-Variance-Margin Tradeoff for Enhanced Randomized Smoothing","created":"2023-09-28","cited_by_count":8,"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":"2510.10982","title":"Catch-Only-One: Non-Transferable Examples for Model-Specific Authorization","created":"2025-10-13","cited_by_count":7,"area":null},{"id":"2211.12624","title":"Improving Robust Generalization by Direct PAC-Bayesian Bound Minimization","created":"2022-11-22","cited_by_count":6,"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":"2305.15523","title":"Task-aware Distributed Source Coding under Dynamic Bandwidth","created":"2023-05-24","cited_by_count":6,"area":null},{"id":"2410.10744","title":"Adversarially Robust Out-of-Distribution Detection Using Lyapunov-Stabilized Embeddings","created":"2024-10-14","cited_by_count":6,"area":null},{"id":"2402.12187","title":"Adversarial Feature Alignment: Balancing Robustness and Accuracy in Deep Learning via Adversarial Training","created":"2024-02-19","cited_by_count":5,"area":null},{"id":"2504.17102","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","created":"2025-04-23","cited_by_count":5,"area":null},{"id":"2209.04293","title":"Robust-by-Design Classification via Unitary-Gradient Neural Networks","created":"2022-09-09","cited_by_count":4,"area":null},{"id":"2301.08842","title":"Limitations of Piecewise Linearity for Efficient Robustness Certification","created":"2023-01-21","cited_by_count":4,"area":null},{"id":"2310.02513","title":"A Recipe for Improved Certifiable Robustness","created":"2023-10-04","cited_by_count":4,"area":null},{"id":"2405.16639","title":"A direct proof of a unified law of robustness for Bregman divergence losses","created":"2024-05-26","cited_by_count":4,"area":null},{"id":"2406.05119","title":"Compositional Curvature Bounds for Deep Neural Networks","created":"2024-06-07","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":"2309.06166","title":"Certified Robust Models with Slack Control and Large Lipschitz Constants","created":"2023-09-12","cited_by_count":3,"area":null},{"id":"2403.08788","title":"VerifIoU -- Robustness of Object Detection to Perturbations","created":"2024-01-30","cited_by_count":3,"area":null},{"id":"2406.19622","title":"Data-Driven Lipschitz Continuity: A Cost-Effective Approach to Improve Adversarial Robustness","created":"2024-06-28","cited_by_count":3,"area":null},{"id":"2410.01617","title":"On Using Certified Training towards Empirical Robustness","created":"2024-10-02","cited_by_count":3,"area":null},{"id":"2411.01644","title":"Achieving Domain-Independent Certified Robustness via Knowledge Continuity","created":"2024-11-03","cited_by_count":3,"area":null},{"id":"2503.14751","title":"LipShiFT: A Certifiably Robust Shift-based Vision Transformer","created":"2025-03-18","cited_by_count":3,"area":null},{"id":"2207.07208","title":"Provably Adversarially Robust Nearest Prototype Classifiers","created":"2022-07-14","cited_by_count":2,"area":null},{"id":"2304.13019","title":"Certifying Ensembles: A General Certification Theory with S-Lipschitzness","created":"2023-04-25","cited_by_count":2,"area":null},{"id":"2306.11915","title":"Structure-Aware Robustness Certificates for Graph Classification","created":"2023-06-20","cited_by_count":2,"area":null},{"id":"2401.07874","title":"Do stable neural networks exist for classification problems? -- A new view on stability in AI","created":"2024-01-15","cited_by_count":2,"area":null},{"id":"2405.10924","title":"Boosting Few-Pixel Robustness Verification via Covering Verification Designs","created":"2024-05-17","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":"2407.16800","title":"Wasserstein Distributionally Robust Shallow Convex Neural Networks","created":"2024-07-23","cited_by_count":2,"area":null},{"id":"2411.00899","title":"Certified Robustness for Deep Equilibrium Models via Serialized Random Smoothing","created":"2024-11-01","cited_by_count":2,"area":null},{"id":"2506.24048","title":"Consensus-based optimization for closed-box adversarial attacks and a connection to evolution strategies","created":"2025-06-30","cited_by_count":2,"area":null},{"id":"2601.18513","title":"LipNeXt: Scaling up Lipschitz-based Certified Robustness to Billion-parameter Models","created":"2026-01-26","cited_by_count":2,"area":null},{"id":"2605.25346","title":"Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers","created":"2026-05-25","cited_by_count":2,"area":null},{"id":"2303.02669","title":"Consistent Valid Physically-Realizable Adversarial Attack against Crowd-flow Prediction Models","created":"2023-03-05","cited_by_count":1,"area":null},{"id":"2312.10911","title":"The Pros and Cons of Adversarial Robustness","created":"2023-12-18","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":"2404.05350","title":"Certified PEFTSmoothing: Parameter-Efficient Fine-Tuning with Randomized Smoothing","created":"2024-04-08","cited_by_count":1,"area":null},{"id":"2508.15454","title":"Mini-Batch Robustness Verification of Deep Neural Networks","created":"2025-08-21","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":"2511.10576","title":"Tight Robustness Certification Through the Convex Hull of $\\ell_0$ Attacks","created":"2025-11-13","cited_by_count":1,"area":null},{"id":"2203.09243","title":"On the Properties of Adversarially-Trained CNNs","created":"2022-03-17","cited_by_count":0,"area":null},{"id":"2305.09179","title":"Ortho-ODE: Enhancing Robustness and of Neural ODEs against Adversarial Attacks","created":"2023-05-16","cited_by_count":0,"area":null},{"id":"2503.09624","title":"APECS: Adaptive Personalized Control System Architecture","created":"2025-03-10","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":"2602.04608","title":"Jacobian Regularization Stabilizes Long-Term Integration of Neural Differential Equations","created":"2026-02-04","cited_by_count":0,"area":null},{"id":"2608.01530","title":"ST-LoRA: Single Trajectory LoRA Ensemble for Uncertainty Aware Agricultural Segmentation","created":"2026-08-02","cited_by_count":0,"area":null},{"id":"2610.03142","title":"CalCErt: Bin-wise Certification of Confidence Calibration in Medical Image Classification","created":"2026-10-02","cited_by_count":0,"area":null}],"next_cursor":null}