conftrace_

scalability challenges

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

post-training optimization (1) verification-friendly neural networks (1) refinement (1) provably sufficient explanations (1) prediction performance (1) sufficient explanation (1) robustness guarantee (1) neural network verification (1) abstraction (1) formal verification (1)

Papers

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations ICML 2025 VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees ICML 2024