conftrace_

formal guarantee

9 papers

Explore in graph

Co-occurring keywords

formal verification (284) neural network verification (106) neural network (6616) adversarial robustness (1341) accuracy lower bound (1) proof transferability (1) model reliability (46) abductive reasoning (63) certified defense (34) classifier robustness (20)

Papers

Probabilistic Shielding for Safe Reinforcement Learning AAAI 2025
Compact Proofs of Model Performance via Mechanistic Interpretability NIPS 2024
Cardinality-Minimal Explanations for Monotonic Neural Networks IJCAI 2023
Safety Analysis of Deep Neural Networks IJCAI 2021
Inverse Reinforcement Learning in a Continuous State Space with Formal Guarantees NIPS 2021
Multi-Objective Reinforcement Learning for Designing Ethical Environments 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 NIPS 2017