@misc{indiciaece6b09addfc4,
  title = {Learned Interventions in Lean 4 grind},
  author = {Evan Wang and Simon Chess and Sophie Szeto and Theodore Meek},
  year = {2026},
  url = {https://arxiv.org/abs/2607.22972},
  note = {Source identifier: 2607.22972}
}