{"total":34,"rows":[{"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":"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":"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":"2107.09028","title":"Structured Stochastic Gradient MCMC","created":"2021-07-19","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":"2106.09223","title":"Evaluating the Robustness of Bayesian Neural Networks Against Different Types of Attacks","created":"2021-06-17","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":"2111.08591","title":"Robustness of Bayesian Neural Networks to White-Box Adversarial Attacks","created":"2021-11-16","cited_by_count":4,"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":"2104.12418","title":"Fast Falsification of Neural Networks using Property Directed Testing","created":"2021-04-26","cited_by_count":2,"area":null},{"id":"2106.07445","title":"PopSkipJump: Decision-Based Attack for Probabilistic Classifiers","created":"2021-06-14","cited_by_count":2,"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":"2210.06213","title":"Probabilistic Inverse Modeling: An Application in Hydrology","created":"2022-10-12","cited_by_count":1,"area":null},{"id":"2507.02999","title":"Learning Beyond Euclid: Curvature-Adaptive Generalization for Neural Networks on Manifolds","created":"2025-07-01","cited_by_count":1,"area":null},{"id":"2205.06896","title":"Robustness of Control Design via Bayesian Learning","created":"2022-05-13","cited_by_count":0,"area":null},{"id":"2310.02193","title":"Uncertainty Quantification in Inverse Models in Hydrology","created":"2023-10-03","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":"2604.21556","title":"Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation","created":"2026-04-23","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}],"next_cursor":null}