APA (7th ed.) Citation

Gao, G., Sun, Z., Jiang, J., Wang, Y., Xu, J., Wu, P., . . . Dong, B. (2026). LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving.

Chicago Style (17th ed.) Citation

Gao, Guoxiong, Zeming Sun, Jiedong Jiang, Yutong Wang, Jingda Xu, Peihao Wu, Bryan Dai, and Bin Dong. LeanSearch V2: Global Premise Retrieval for Lean 4 Theorem Proving. 2026.

MLA (9th ed.) Citation

Gao, Guoxiong, et al. LeanSearch V2: Global Premise Retrieval for Lean 4 Theorem Proving. 2026.