🧑🔬 Xiaohan Lin — papers of 2024 — 1 paper, the most cited first1 paper · all years of Xiaohan LinMUSTARD: Mastering Uniform Synthesis of Theorem and Proof DataarXiv:2402.08957 (ICLR 2024 spotlight)Yinya Huang, Xiaohan Lin, Zhengying Liu, et al.2024 · 29 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/xiaohan-lin/year/2024/