🧑🔬 Jingxuan He — papers of 2024 — 1 paper, the most cited first1 paper · all years of Jingxuan HeFormal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/jingxuan-he/year/2024/