conftrace_

formal guarantee

9 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (4) neural network verification (3) neural network (2) adversarial robustness (2) accuracy lower bound (1) proof transferability (1) model reliability (1) abductive reasoning (1) certified defense (1) classifier robustness (1)

Papers

Probabilistic Shielding for Safe Reinforcement Learning AAAI 2025 Compact Proofs of Model Performance via Mechanistic Interpretability NeurIPS 2024 Cardinality-Minimal Explanations for Monotonic Neural Networks IJCAI 2023 Inverse Reinforcement Learning in a Continuous State Space with Formal Guarantees NeurIPS 2021 Multi-Objective Reinforcement Learning for Designing Ethical Environments IJCAI 2021 Safety Analysis of Deep Neural Networks IJCAI 2021 Verification and Repair of Neural Networks AAAI 2021 Certified Adversarial Robustness for Deep Reinforcement Learning CoRL 2019 Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation NeurIPS 2017