{"total":23,"rows":[{"id":"2107.12045","title":"How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review","created":"2021-07-26","cited_by_count":39,"area":null},{"id":"2102.05289","title":"Bayesian Inference with Certifiable Adversarial Robustness","created":"2021-02-10","cited_by_count":26,"area":null},{"id":"2110.13330","title":"Recipes for when Physics Fails: Recovering Robust Learning of Physics Informed Neural Networks","created":"2021-10-26","cited_by_count":18,"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":"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":"2306.13614","title":"Adversarial Robustness Certification for Bayesian Neural Networks","created":"2023-06-23","cited_by_count":7,"area":null},{"id":"2106.06510","title":"Measuring the robustness of Gaussian processes to kernel choice","created":"2021-06-11","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":"2404.08285","title":"A Survey of Neural Network Robustness Assessment in Image Recognition","created":"2024-04-12","cited_by_count":3,"area":null},{"id":"2106.07445","title":"PopSkipJump: Decision-Based Attack for Probabilistic Classifiers","created":"2021-06-14","cited_by_count":2,"area":null},{"id":"2402.18260","title":"Efficiently Computable Safety Bounds for Gaussian Processes in Active Learning","created":"2024-02-28","cited_by_count":2,"area":null},{"id":"2404.19640","title":"Attacking Bayes: On the Adversarial Robustness of Bayesian Neural Networks","created":"2024-04-27","cited_by_count":2,"area":null},{"id":"2301.08980","title":"Towards Quantification of Assurance for Learning-enabled Components","created":"2023-01-21","cited_by_count":1,"area":null},{"id":"2106.06067","title":"Bayesian Optimisation with Formal Guarantees","created":"2021-06-10","cited_by_count":0,"area":null},{"id":"2205.06896","title":"Robustness of Control Design via Bayesian Learning","created":"2022-05-13","cited_by_count":0,"area":null},{"id":"2208.09953","title":"Do-AIQ: A Design-of-Experiment Approach to Quality Evaluation of AI Mislabel Detection Algorithm","created":"2022-08-21","cited_by_count":0,"area":null},{"id":"2403.01896","title":"Robustness bounds on the successful adversarial examples in probabilistic models: Implications from Gaussian processes","created":"2024-03-04","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}],"next_cursor":null}