TY  - RPRT
TI  - Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4
AU  - Austin Shen
AU  - Yunong Shi
PY  - 2026
UR  - https://arxiv.org/abs/2605.25556
ID  - 2605.25556
ER  -