Hadad, Itamar

1 publications

ICLR 2026 Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees Itamar Hadad, Guy Katz, Shahaf Bassan