{"total":38,"rows":[{"id":"2305.00241","title":"When Deep Learning Meets Polyhedral Theory: A Survey","created":"2023-04-29","cited_by_count":39,"area":null},{"id":"2302.05086","title":"Making Substitute Models More Bayesian Can Enhance Transferability of Adversarial Examples","created":"2023-02-10","cited_by_count":32,"area":null},{"id":"2102.05289","title":"Bayesian Inference with Certifiable Adversarial Robustness","created":"2021-02-10","cited_by_count":26,"area":null},{"id":"2212.08507","title":"Robust Explanation Constraints for Neural Networks","created":"2022-12-16","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":"2206.01463","title":"Safety Certification for Stochastic Systems via Neural Barrier Functions","created":"2022-06-03","cited_by_count":22,"area":null},{"id":"2102.09479","title":"Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications","created":"2021-02-18","cited_by_count":18,"area":null},{"id":"2305.03686","title":"Provable Preimage Under-Approximation for Neural Networks (Full Version)","created":"2023-05-05","cited_by_count":14,"area":null},{"id":"2111.03165","title":"Infinite Time Horizon Safety of Bayesian Neural Networks","created":"2021-11-04","cited_by_count":13,"area":null},{"id":"2101.10102","title":"Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning","created":"2021-01-25","cited_by_count":12,"area":null},{"id":"2207.06154","title":"On the Robustness of Bayesian Neural Networks to Adversarial Attacks","created":"2022-07-13","cited_by_count":12,"area":null},{"id":"2308.14815","title":"Distributionally Robust Statistical Verification with Imprecise Neural Networks","created":"2023-08-28","cited_by_count":12,"area":null},{"id":"2105.10134","title":"Certification of Iterative Predictions in Bayesian Neural Networks","created":"2021-05-21","cited_by_count":8,"area":null},{"id":"2306.10742","title":"BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming","created":"2023-06-19","cited_by_count":8,"area":null},{"id":"2308.05985","title":"TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models","created":"2023-08-11","cited_by_count":8,"area":null},{"id":"2306.13614","title":"Adversarial Robustness Certification for Bayesian Neural Networks","created":"2023-06-23","cited_by_count":7,"area":null},{"id":"2406.13433","title":"Certification for Differentially Private Prediction in Gradient-Based Training","created":"2024-06-19","cited_by_count":7,"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":"2104.03180","title":"Adversarial Robustness Guarantees for Gaussian Processes","created":"2021-04-07","cited_by_count":5,"area":null},{"id":"2310.01951","title":"Probabilistic Reach-Avoid for Bayesian Neural Networks","created":"2023-10-03","cited_by_count":5,"area":null},{"id":"2401.11627","title":"Tight Verification of Probabilistic Robustness in Bayesian Neural Networks","created":"2024-01-21","cited_by_count":5,"area":null},{"id":"2405.17556","title":"Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound","created":"2024-05-27","cited_by_count":4,"area":null},{"id":"2101.02689","title":"The Effect of Prior Lipschitz Continuity on the Adversarial Robustness of Bayesian Neural Networks","created":"2021-01-07","cited_by_count":3,"area":null},{"id":"2304.10828","title":"Individual Fairness in Bayesian Neural Networks","created":"2023-04-21","cited_by_count":3,"area":null},{"id":"2307.11334","title":"Improving Transferability of Adversarial Examples via Bayesian Attacks","created":"2023-07-21","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":"2407.18707","title":"Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection","created":"2024-07-26","cited_by_count":3,"area":null},{"id":"2512.01899","title":"Provably Safe Model Updates","created":"2025-12-01","cited_by_count":3,"area":null},{"id":"2302.06455","title":"Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks","created":"2023-02-10","cited_by_count":2,"area":null},{"id":"2502.16286","title":"Verification of Bit-Flip Attacks against Quantized Neural Networks","created":"2025-02-22","cited_by_count":2,"area":null},{"id":"2204.10839","title":"How Sampling Impacts the Robustness of Stochastic Neural Networks","created":"2022-04-22","cited_by_count":1,"area":null},{"id":"2609.39629","title":"Certification-Based Differentially Private Learning","created":"2026-09-30","cited_by_count":1,"area":null},{"id":"2309.16710","title":"General Lipschitz: Certified Robustness Against Resolvable Semantic Transformations via Transformation-Dependent Randomized Smoothing","created":"2023-08-17","cited_by_count":0,"area":null},{"id":"2404.01642","title":"Patch Synthesis for Property Repair of Deep Neural Networks","created":"2024-04-02","cited_by_count":0,"area":null},{"id":"2411.19729","title":"Risk-Averse Certification of Bayesian Neural Networks","created":"2024-11-29","cited_by_count":0,"area":null},{"id":"2504.11831","title":"Support is All You Need for Certified VAE Training","created":"2025-04-16","cited_by_count":0,"area":null},{"id":"2609.16373","title":"Certified Uncertainty Propagation in One-Shot Federated Bayesian Models via Posterior Event Transport","created":"2026-09-14","cited_by_count":0,"area":null},{"id":"2610.06238","title":"Certification-Enhanced Generalization Bounds","created":"2026-10-05","cited_by_count":0,"area":null}],"next_cursor":null}