Compact Proofs of Model Performance via Mechanistic Interpretability - Gross, Jason; Agrawal, Rajashree; Kwa, Thomas; Ong, Euan; Yip, Chun Hei; Gibson, Alex; Noubir, Soufiane; Chan, Lawrence (Advances in Neural Information Processing Systems, 2024)