LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction