TY  - RPRT
TI  - LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
AU  - Guoxiong Gao
AU  - Zeming Sun
AU  - Jiedong Jiang
AU  - Yutong Wang
AU  - Jingda Xu
AU  - Peihao Wu
AU  - Bryan Dai
AU  - Bin Dong
PY  - 2026
UR  - https://arxiv.org/abs/2605.13137
ID  - 2605.13137
ER  -