🧑🔬 Yifan Yao — papers of 2026 — 1 paper, the most cited first1 paper · all years of Yifan YaoCriticLean: Critic-Guided Reinforcement Learning for Mathematical FormalizationAnnual Meeting of the Association for Computational Linguistics (ACL)Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.2026 · 12 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/yifan-yao/year/2026/