Compact Proofs of Model Performance via Mechanistic Interpretability. - Jason Gross; Rajashree Agrawal; Thomas Kwa; Euan Ong; Chun Hei Yip; Alex Gibson; Soufiane Noubir; Lawrence Chan (NeurIPS, 2024)