🧑🔬 Yizhe Li — papers of 2025 — 1 paper, the most cited first1 paper · all years of Yizhe LiFormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language ModelsarXiv:2505.02735Zhouliang Yu, Ruotian Peng, Keyi Ding, et al.2025 · 31 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/yizhe-li/year/2025/