--- title: "Chengxi Li — author profile and papers — Elamur Research" description: "Chengxi Li: 2 papers on Elamur Research (2024–2025) — affiliations, topics, co-authors and who cites them in our library." canonical: "https://research.elamur.ai/free/en/authors/chengxi-li/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/chengxi-li/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Chengxi Li # Chengxi Li Chengxi Li has 2 papers in our library, in 2024–2025; often with [Guoxin Chen](https://md.research.elamur.ai/free/en/authors/guoxin-chen/), [Kai Fan](https://md.research.elamur.ai/free/en/authors/kai-fan/), [Minpeng Liao](https://md.research.elamur.ai/free/en/authors/minpeng-liao/). 2 papers in our library · 2024–2025 No OpenAlex profile matched yet. [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/chengxi-li/#papers) · [🔗 Cited 114 times in our library](https://md.research.elamur.ai/free/en/authors/chengxi-li/cited-by/) · [⭐ Paper Stars ranking: #6463](https://md.research.elamur.ai/free/en/paper-stars/page/65/#star-6463) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Chengxi+Li) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Chengxi+Li) · [dblp](https://dblp.org/search?q=Chengxi+Li) · [ACL Anthology](https://aclanthology.org/search/?q=Chengxi+Li) ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 7 The field of science this work belongs to (OpenAlex fields).[Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Business, Management and Accounting · 1 work](https://md.research.elamur.ai/free/en/shelves/business-management-and-accounting/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Management Information Systems · 1 work](https://md.research.elamur.ai/free/en/shelves/business-management-and-accounting/management-information-systems/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) ## Works by year ### 2020s [**2025** 1 paper](https://md.research.elamur.ai/free/en/authors/chengxi-li/year/2025/) · [**2024** 1 paper](https://md.research.elamur.ai/free/en/authors/chengxi-li/year/2024/) ## Papers The most cited first (OpenAlex and our library). 1. **[AlphaMath Almost Zero: Process Supervision without Process](https://md.research.elamur.ai/free/en/papers/chen-2024-alphamath-almost-zero-process-supervision/)** *(2024 · 120 citations)* Most recent work that improves LLM math reasoning fine-tunes models on step-by-step solutions written by human experts or GPT-4, which is costly to produce. 2. **[ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization](https://md.research.elamur.ai/free/en/papers/chen-2025-reform-reflective-autoformalization-prospective-bounded/)** *(2025 · 8 citations)* Autoformalization turns natural-language math problems into Lean statements that a machine can check. Current LLMs usually produce code that compiles, but the statements often change the problem's meaning. The authors argue this happens because models translate in one shot and never review their own output. ReForm… ## Co-authors here 6 co-authors with a page, the most papers together first. - [Guoxin Chen](https://md.research.elamur.ai/free/en/authors/guoxin-chen/) ×2 - [Kai Fan](https://md.research.elamur.ai/free/en/authors/kai-fan/) ×2 - [Minpeng Liao](https://md.research.elamur.ai/free/en/authors/minpeng-liao/) ×2 - [Dayiheng Liu](https://md.research.elamur.ai/free/en/authors/dayiheng-liu/) - [Ruihua Song](https://md.research.elamur.ai/free/en/authors/ruihua-song/) - [Wayne Xin Zhao](https://md.research.elamur.ai/free/en/authors/wayne-xin-zhao/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/): [NeurIPS 2024](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/2024/) ## Cited by Papers of our library cite their works 114 times (of the 149,439 papers whose bibliographies we read); [36 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/chengxi-li/cited-by/). Updated 30 October 2026