{"total":25,"rows":[{"id":"2102.08452","title":"Globally-Robust Neural Networks","created":"2021-02-16","cited_by_count":108,"area":null},{"id":"2203.14046","title":"A Survey of Robust Adversarial Training in Pattern Recognition: Fundamental, Theory, and Methodologies","created":"2022-03-26","cited_by_count":44,"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":"2110.03109","title":"Consistent Counterfactuals for Deep Models","created":"2021-10-06","cited_by_count":37,"area":null},{"id":"2302.12828","title":"SplineCam: Exact Visualization and Characterization of Deep Network Geometry and Decision Boundaries","created":"2023-02-24","cited_by_count":31,"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":"2403.10144","title":"NLP Verification: Towards a General Methodology for Certifying Robustness","created":"2024-03-15","cited_by_count":16,"area":null},{"id":"2306.07212","title":"Polyhedral Complex Extraction from ReLU Networks using Edge Subdivision","created":"2023-06-12","cited_by_count":14,"area":null},{"id":"2301.12549","title":"Unlocking Deterministic Robustness Certification on ImageNet","created":"2023-01-29","cited_by_count":13,"area":null},{"id":"2402.12572","title":"FairProof : Confidential and Certifiable Fairness for Neural Networks","created":"2024-02-19","cited_by_count":13,"area":null},{"id":"2107.02732","title":"Provable Lipschitz Certification for Generative Models","created":"2021-07-06","cited_by_count":7,"area":null},{"id":"2106.06624","title":"Relaxing Local Robustness","created":"2021-06-11","cited_by_count":6,"area":null},{"id":"2207.13916","title":"A Novel Data Augmentation Technique for Out-of-Distribution Sample Detection using Compounded Corruptions","created":"2022-07-28","cited_by_count":6,"area":null},{"id":"2210.08069","title":"Zonotope Domains for Lagrangian Neural Network Verification","created":"2022-10-14","cited_by_count":5,"area":null},{"id":"2303.06302","title":"Adversarial Attacks and Defenses in Machine Learning-Powered Networks: A Contemporary Survey","created":"2023-03-11","cited_by_count":5,"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":"2306.06747","title":"Precise and Generalized Robustness Certification for Neural Networks","created":"2023-06-11","cited_by_count":4,"area":null},{"id":"2205.11850","title":"Faithful Explanations for Deep Graph Models","created":"2022-05-24","cited_by_count":2,"area":null},{"id":"2502.03773","title":"ExpProof : Operationalizing Explanations for Confidential Models with ZKPs","created":"2025-02-06","cited_by_count":2,"area":null},{"id":"2206.00278","title":"On the Perils of Cascading Robust Classifiers","created":"2022-06-01","cited_by_count":1,"area":null},{"id":"2207.05902","title":"Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations","created":"2022-07-13","cited_by_count":1,"area":null},{"id":"2302.12002","title":"Master's Thesis: Out-of-distribution Detection with Energy-based Models","created":"2023-01-28","cited_by_count":1,"area":null},{"id":"2504.08414","title":"Adversarial Examples in Environment Perception for Automated Driving (Review)","created":"2025-04-11","cited_by_count":1,"area":null},{"id":"2412.18005","title":"Combinatorial Regularity for Relatively Perfect Discrete Morse Gradient Vector Fields of ReLU Neural Networks","created":"2024-12-23","cited_by_count":0,"area":null},{"id":"2606.25004","title":"Certification of Machine Learning Models via Directional Sharpness","created":"2026-06-23","cited_by_count":0,"area":null}],"next_cursor":null}