🧑🔬 Chengxi Li — papers of 2025 — 1 paper, the most cited first1 paper · all years of Chengxi LiReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/chengxi-li/year/2025/