Skip to content
conftrace_

accuracy lower bound

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

formal guarantee (1) proof transferability (1) performance bound (1) transformer model (1) neural network (1) accuracy bound (1) mechanistic interpretability (1) neural network verification (1) formal verification (1)

Papers

Compact Proofs of Model Performance via Mechanistic Interpretability NeurIPS 2024