TY  - RPRT
TI  - Learned Interventions in Lean 4 grind
AU  - Evan Wang
AU  - Simon Chess
AU  - Sophie Szeto
AU  - Theodore Meek
PY  - 2026
UR  - https://arxiv.org/abs/2607.22972
ID  - 2607.22972
ER  -