{"total":14,"rows":[{"id":"2102.08452","title":"Globally-Robust Neural Networks","created":"2021-02-16","cited_by_count":108,"area":null},{"id":"2104.07167","title":"Orthogonalizing Convolutional Layers with the Cayley Transform","created":"2021-04-14","cited_by_count":105,"area":null},{"id":"2202.07728","title":"Don't Lie to Me! Robust and Efficient Explainability with Verified Perturbation Analysis","created":"2022-02-15","cited_by_count":38,"area":null},{"id":"2102.04154","title":"Efficient Certified Defenses Against Patch Attacks on Image Classifiers","created":"2021-02-08","cited_by_count":24,"area":null},{"id":"2512.19941","title":"Block-Recurrent Dynamics in Vision Transformers","created":"2025-12-23","cited_by_count":20,"area":null},{"id":"2207.00759","title":"Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks","created":"2022-07-02","cited_by_count":11,"area":null},{"id":"2102.01208","title":"Fast Training of Provably Robust Neural Networks by SingleProp","created":"2021-02-01","cited_by_count":5,"area":null},{"id":"2206.00553","title":"FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks","created":"2022-06-01","cited_by_count":4,"area":null},{"id":"2308.12820","title":"Prediction without Preclusion: Recourse Verification with Reachable Sets","created":"2023-08-24","cited_by_count":4,"area":null},{"id":"2501.15693","title":"Beyond Benchmarks: On The False Promise of AI Regulation","created":"2025-01-26","cited_by_count":4,"area":null},{"id":"2207.07208","title":"Provably Adversarially Robust Nearest Prototype Classifiers","created":"2022-07-14","cited_by_count":2,"area":null},{"id":"2406.00157","title":"Verification of Neural Network Control Systems in Continuous Time","created":"2024-05-31","cited_by_count":2,"area":null},{"id":"2208.11158","title":"Sparse Polynomial Optimization: Theory and Practice","created":"2022-08-23","cited_by_count":0,"area":null},{"id":"2210.00178","title":"On the tightness of linear relaxation based robustness certification methods","created":"2022-10-01","cited_by_count":0,"area":null}],"next_cursor":null}