🧑🔬 Yanchao Sun — papers of 2025 — 2 papers, the most cited first2 papers · all years of Yanchao SunChecklists Are Better Than Reward Models For Aligning Language ModelsConference on Neural Information Processing Systems (NeurIPS)Vijay Viswanathan, Yanchao Sun, Shuang Ma, et al.2025 · 37 citationsHilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/yanchao-sun/year/2025/