🧑🔬 Zhouliang Yu — papers of 2025 — 1 paper, the most cited first1 paper · all years of Zhouliang YuFormalMATH: 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/zhouliang-yu/year/2025/