ML Anthology
Authors
Search
About
Hadad, Itamar
1 publications
ICLR
2026
Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
Itamar Hadad
,
Guy Katz
,
Shahaf Bassan