TY  - RPRT
TI  - Efficient Proof Generation for Lean Statements with Multiple Candidate Answers
AU  - Pengzhen Lin
AU  - Ke Zhang
AU  - Maziar Raissi
AU  - Zhouxing Shi
PY  - 2026
UR  - https://arxiv.org/abs/2610.34490
ID  - 2610.34490
ER  -