{"total":100,"rows":[{"id":"2110.01167","title":"Trustworthy AI: From Principles to Practices","created":"2021-10-04","cited_by_count":207,"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":"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":"2312.14820","title":"How Smooth Is Attention?","created":"2023-12-22","cited_by_count":44,"area":null},{"id":"2206.12227","title":"Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective","created":"2022-06-24","cited_by_count":42,"area":null},{"id":"2208.03160","title":"Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks","created":"2022-08-05","cited_by_count":39,"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":"2110.02424","title":"Spectral Bias in Practice: The Role of Function Frequency in Generalization","created":"2021-10-06","cited_by_count":37,"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":"2110.06850","title":"Boosting the Certified Robustness of L-infinity Distance Nets","created":"2021-10-13","cited_by_count":24,"area":null},{"id":"2205.05763","title":"Individual Fairness Guarantees for Neural Networks","created":"2022-05-11","cited_by_count":23,"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":"2103.11257","title":"Robust Models Are More Interpretable Because Attributions Look Normal","created":"2021-03-20","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":"2302.04634","title":"Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study","created":"2023-02-06","cited_by_count":18,"area":null},{"id":"2302.01757","title":"RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion","created":"2023-01-31","cited_by_count":17,"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":"2311.16833","title":"1-Lipschitz Layers Compared: Memory, Speed, and Certifiable Robustness","created":"2023-11-28","cited_by_count":16,"area":null},{"id":"2402.06244","title":"Quantifying and Enhancing Multi-modal Robustness with Modality Preference","created":"2024-02-09","cited_by_count":16,"area":null},{"id":"2105.11363","title":"Learning Security Classifiers with Verified Global Robustness Properties","created":"2021-05-24","cited_by_count":14,"area":null},{"id":"2201.01102","title":"Towards Transferable Unrestricted Adversarial Examples with Minimum Changes","created":"2022-01-04","cited_by_count":13,"area":null},{"id":"2301.12549","title":"Unlocking Deterministic Robustness Certification on ImageNet","created":"2023-01-29","cited_by_count":13,"area":null},{"id":"2306.01485","title":"Robust low-rank training via approximate orthonormal constraints","created":"2023-06-02","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":"2304.03496","title":"Architecture-Preserving Provable Repair of Deep Neural Networks","created":"2023-04-07","cited_by_count":11,"area":null},{"id":"2402.02629","title":"PROSAC: Provably Safe Certification for Machine Learning Models under Adversarial Attacks","created":"2024-02-04","cited_by_count":11,"area":null},{"id":"2107.14742","title":"Connections between Numerical Algorithms for PDEs and Neural Networks","created":"2021-07-30","cited_by_count":10,"area":null},{"id":"2402.19322","title":"Verification of Neural Networks' Global Robustness","created":"2024-02-29","cited_by_count":10,"area":null},{"id":"2207.10942","title":"Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation","created":"2022-07-22","cited_by_count":9,"area":null},{"id":"2210.08906","title":"A.I. Robustness: a Human-Centered Perspective on Technological Challenges and Opportunities","created":"2022-10-17","cited_by_count":9,"area":null},{"id":"2211.08453","title":"Improved techniques for deterministic l2 robustness","created":"2022-11-15","cited_by_count":9,"area":null},{"id":"2210.14404","title":"Adversarial Purification with the Manifold Hypothesis","created":"2022-10-26","cited_by_count":8,"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":"2401.14033","title":"Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations","created":"2024-01-25","cited_by_count":7,"area":null},{"id":"2106.06624","title":"Relaxing Local Robustness","created":"2021-06-11","cited_by_count":6,"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":"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":"2202.03360","title":"Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components","created":"2022-02-07","cited_by_count":5,"area":null},{"id":"2209.13179","title":"Explainable Global Fairness Verification of Tree-Based Classifiers","created":"2022-09-27","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":"2402.03317","title":"SpecFormer: Guarding Vision Transformer Robustness via Maximum Singular Value Penalization","created":"2024-01-02","cited_by_count":5,"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":"2505.15174","title":"Enhancing Certified Robustness via Block Reflector Orthogonal Layers and Logit Annealing Loss","created":"2025-05-21","cited_by_count":5,"area":null},{"id":"2107.11445","title":"Self-Correcting Neural Networks For Safe Classification","created":"2021-07-23","cited_by_count":4,"area":null},{"id":"2112.02705","title":"Beyond Robustness: Resilience Verification of Tree-Based Classifiers","created":"2021-12-05","cited_by_count":4,"area":null},{"id":"2205.01493","title":"On the uncertainty principle of neural networks","created":"2022-05-03","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":"2402.10983","title":"Quantum-Inspired Analysis of Neural Network Vulnerabilities: The Role of Conjugate Variables in System Attacks","created":"2024-02-16","cited_by_count":4,"area":null},{"id":"2402.18393","title":"Decictor: Towards Evaluating the Robustness of Decision-Making in Autonomous Driving Systems","created":"2024-02-28","cited_by_count":4,"area":null},{"id":"2404.17371","title":"Estimating the Robustness Radius for Randomized Smoothing with 100$\\times$ Sample Efficiency","created":"2024-04-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":"2410.12607","title":"Low-Rank Adversarial PGD Attack","created":"2024-10-16","cited_by_count":4,"area":null},{"id":"2506.05434","title":"Efficient Robust Conformal Prediction via Lipschitz-Bounded Networks","created":"2025-06-05","cited_by_count":4,"area":null},{"id":"2207.07209","title":"Sound Randomized Smoothing in Floating-Point Arithmetics","created":"2022-07-14","cited_by_count":3,"area":null},{"id":"2305.03626","title":"Verifiable Learning for Robust Tree Ensembles","created":"2023-05-05","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":"2404.08285","title":"A Survey of Neural Network Robustness Assessment in Image Recognition","created":"2024-04-12","cited_by_count":3,"area":null},{"id":"2410.19361","title":"Engineering Trustworthy AI: A Developer Guide for Empirical Risk Minimization","created":"2024-10-25","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":"2506.00496","title":"Monitoring Robustness and Individual Fairness","created":"2025-05-31","cited_by_count":3,"area":null},{"id":"2205.11850","title":"Faithful Explanations for Deep Graph Models","created":"2022-05-24","cited_by_count":2,"area":null},{"id":"2207.07208","title":"Provably Adversarially Robust Nearest Prototype Classifiers","created":"2022-07-14","cited_by_count":2,"area":null},{"id":"2304.09875","title":"GREAT Score: Global Robustness Evaluation of Adversarial Perturbation using Generative Models","created":"2023-04-19","cited_by_count":2,"area":null},{"id":"2305.15698","title":"Rethinking Diversity in Deep Neural Network Testing","created":"2023-05-25","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":"2410.19607","title":"Analyzing Neural Network Robustness Using Graph Curvature","created":"2024-10-25","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":"2108.11299","title":"Certifiers Make Neural Networks Vulnerable to Availability Attacks","created":"2021-08-25","cited_by_count":1,"area":null},{"id":"2206.00278","title":"On the Perils of Cascading Robust Classifiers","created":"2022-06-01","cited_by_count":1,"area":null},{"id":"2301.02288","title":"gRoMA: a Tool for Measuring the Global Robustness of Deep Neural Networks","created":"2023-01-05","cited_by_count":1,"area":null},{"id":"2310.09361","title":"Is Certifying $\\ell_p$ Robustness Still Worthwhile?","created":"2023-10-13","cited_by_count":1,"area":null},{"id":"2311.06103","title":"1-Lipschitz Neural Networks are more expressive with N-Activations","created":"2023-11-10","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":"2406.14265","title":"VeriFlow: Modeling Distributions for Neural Network Verification","created":"2024-06-20","cited_by_count":1,"area":null},{"id":"2410.03000","title":"Towards Generalized Certified Robustness with Multi-Norm Training","created":"2024-10-03","cited_by_count":1,"area":null},{"id":"2410.20432","title":"Integrating uncertainty quantification into randomized smoothing based robustness guarantees","created":"2024-10-27","cited_by_count":1,"area":null},{"id":"2505.06958","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","created":"2025-05-11","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":"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":"2306.12495","title":"Verifying Global Neural Network Specifications using Hyperproperties","created":"2023-06-21","cited_by_count":0,"area":null},{"id":"2402.14988","title":"Verifiable Boosted Tree Ensembles","created":"2024-02-22","cited_by_count":0,"area":null},{"id":"2405.20556","title":"Certifying Global Robustness for Deep Neural Networks","created":"2024-05-31","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":"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.23977","title":"A Scalable Approach for Safe and Robust Learning via Lipschitz-Constrained Networks","created":"2025-06-30","cited_by_count":0,"area":null},{"id":"2510.24232","title":"Delving into Cascaded Instability: A Lipschitz Continuity View on Image Restoration and Object Detection Synergy","created":"2025-10-28","cited_by_count":0,"area":null},{"id":"2511.06495","title":"Probably Approximately Global Robustness Certification","created":"2025-11-09","cited_by_count":0,"area":null},{"id":"2511.07208","title":"SMiLE: Provably Enforcing Global Relational Properties in Neural Networks","created":"2025-11-10","cited_by_count":0,"area":null},{"id":"2512.16386","title":"Quantitative Verification of Fairness in Tree Ensembles","created":"2025-12-18","cited_by_count":0,"area":null},{"id":"2603.13334","title":"Lipschitz-Based Robustness Certification Under Floating-Point Execution","created":"2026-03-06","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":"2606.27694","title":"Halt Fast! Early Stopping for Certified Robustness","created":"2026-06-26","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},{"id":"2610.15359","title":"Adversarial Detection for Pre-trained Classifiers via Lipschitz-Margin Analysis with Certification","created":"2026-10-11","cited_by_count":0,"area":null}],"next_cursor":null}