{"total":24,"rows":[{"id":"2406.04848","title":"CTBENCH: A Library and Benchmark for Certified Training","created":"2024-06-07","cited_by_count":14,"area":null},{"id":"2407.10867","title":"Provable Robustness of (Graph) Neural Networks Against Data Poisoning and Backdoor Attacks","created":"2024-07-15","cited_by_count":5,"area":null},{"id":"2403.07095","title":"Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations","created":"2024-03-11","cited_by_count":4,"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":"2504.18845","title":"Introducing Interval Neural Networks for Uncertainty-Aware System Identification","created":"2025-04-26","cited_by_count":3,"area":null},{"id":"2405.19805","title":"Complexity of Injectivity and Verification of ReLU Neural Networks","created":"2024-05-30","cited_by_count":2,"area":null},{"id":"2410.06816","title":"Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification","created":"2024-10-09","cited_by_count":2,"area":null},{"id":"2501.13782","title":"Defending against Adversarial Malware Attacks on ML-based Android Malware Detection Systems","created":"2025-01-23","cited_by_count":2,"area":null},{"id":"2505.22798","title":"Efficient Preimage Approximation for Neural Network Certification","created":"2025-05-28","cited_by_count":2,"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.03373","title":"Make Interval Bound Propagation great again","created":"2024-10-04","cited_by_count":1,"area":null},{"id":"2410.06895","title":"Average Certified Radius is a Poor Metric for Randomized Smoothing","created":"2024-10-09","cited_by_count":1,"area":null},{"id":"2505.10903","title":"On the Security Risks of ML-based Malware Detection Systems: A Survey","created":"2025-05-16","cited_by_count":1,"area":null},{"id":"2605.26577","title":"Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial","created":"2026-05-26","cited_by_count":1,"area":null},{"id":"2510.25130","title":"Lipschitz-aware Linearity Grafting for Certified Robustness","created":"2025-10-29","cited_by_count":0,"area":null},{"id":"2512.01782","title":"Dual Randomized Smoothing: Beyond Global Noise Variance","created":"2025-12-01","cited_by_count":0,"area":null},{"id":"2603.10689","title":"Contract And Conquer: How to Provably Compute Adversarial Examples for a Black-Box Model?","created":"2026-03-11","cited_by_count":0,"area":null},{"id":"2605.00747","title":"Quantum Interval Bound Propagation for Certified Training of Quantum Neural Networks","created":"2026-05-01","cited_by_count":0,"area":null},{"id":"2605.11460","title":"Beyond Prediction: Interval Neural Networks for Uncertainty-Aware System Identification","created":"2026-05-12","cited_by_count":0,"area":null},{"id":"2606.02134","title":"Rethinking Evaluation Paradigms in IBP-based Certified Training","created":"2026-06-01","cited_by_count":0,"area":null},{"id":"2606.31653","title":"Improving Certified Robustness via Adversarial Distillation","created":"2026-06-30","cited_by_count":0,"area":null},{"id":"2607.18195","title":"Certified Training for Convolutional Perturbations","created":"2026-07-20","cited_by_count":0,"area":null},{"id":"2608.21488","title":"KAN-Robust-Bench: A Benchmark for Evaluating the Robustness of Kolmogorov-Arnold Networks","created":"2026-08-21","cited_by_count":0,"area":null}],"next_cursor":null}