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)

Modular addition without black-boxes: Compressing explanations of MLPs that compute numerical integration. - Chun Hei Yip; Rajashree Agrawal; Lawrence Chan; Jason Gross (CoRR, 2024)