🧑🔬 Minghao Liu — papers of 2026 — 1 paper, the most cited first1 paper · all years of Minghao LiuCriticLean: 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/minghao-liu/year/2026/