Skip to content
Sagan

Paper

Towards Verifiable Transformers: Solver-Checkable Circuit Explanations

Unreadunread

AI summary

arXiv:2605. 24033v1 Announce Type: new Abstract: Mechanistic interpretability often identifies circuits inside Transformer models, but explanations of those circuits are usually validated through examples, ablations, and manual reasoning.