Lean Graph Search for Formal Theorem Proving By Yihan Xu, Jia-Chen Gu, Junyi Zhang, Di Wu, Haikang Deng · ArXiv · AI/CL/LG · Oct 15, 2026 ArXiv · AI/CL/LG's note score 5 Categories: Research