conftrace_

abstract interpretation

9 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (5) neural network (4) adversarial robustness (3) robustness verification (2) neural network verification (2) reach set (1) decision tree ensemble (1) bound propagation (1) certifiable robustness (1) gradient boosted decision tree (1)

Papers

Parameterized Abstract Interpretation for Transformer Verification AAAI 2026 Validating Mechanistic Interpretations: An Axiomatic Approach ICML 2025 Learning from Uncertain Data: From Possible Worlds to Possible Models NeurIPS 2024 Zonotope Domains for Lagrangian Neural Network Verification NeurIPS 2022 Representing Partial Programs with Blended Abstract Semantics ICLR 2021 Verifying Reinforcement Learning up to Infinity IJCAI 2021 Abstract Interpretation of Decision Tree Ensemble Classifiers AAAI 2020 Differentiable Abstract Interpretation for Provably Robust Neural Networks ICML 2018 Fast and Effective Robustness Certification NeurIPS 2018