🧑🔬 Mengzhou Sun — papers of 2024 — 1 paper, the most cited first1 paper · all years of Mengzhou SunProving Olympiad Algebraic Inequalities without Human DemonstrationsConference on Neural Information Processing Systems (NeurIPS)Chenrui Wei, Mengzhou Sun, Wei Wang2024 · 12 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/mengzhou-sun/year/2024/