AF - Compact Proofs of Model Performance via Mechanistic Interpretability by Lawrence Chan | The Nonlinear Library | Podwise