TY  - RPRT
TI  - Lean Graph Search for Formal Theorem Proving
AU  - Yihan Xu
AU  - Jia-Chen Gu
AU  - Junyi Zhang
AU  - Di Wu
AU  - Haikang Deng
AU  - Po-Nien Kung
AU  - Kai-Wei Chang
AU  - Amit Sahai
AU  - Wei Wang
AU  - Nanyun Peng
PY  - 2026
UR  - https://arxiv.org/abs/2610.22339
ID  - 2610.22339
ER  -