Skip to content
conftrace_

proof transferability

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

formal guarantee (1) accuracy lower bound (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