🧑🔬 Kaijing Ma — papers of 2026 — 1 paper, the most cited first1 paper · all years of Kaijing MaCriticLean: 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/kaijing-ma/year/2026/