TY - RPRT TI - Compact Proofs of Model Performance via Mechanistic Interpretability AU - Jason Gross AU - Rajashree Agrawal AU - Thomas Kwa AU - Euan Ong AU - Chun Hei Yip AU - Alex Gibson AU - Soufiane Noubir AU - Lawrence Chan PY - 2024 UR - https://arxiv.org/abs/2406.11779 ID - 2406.11779 ER -