Chengxi Li
Chengxi Li has 2 papers in our library, in 2024–2025; often with Guoxin Chen, Kai Fan, Minpeng Liao.
No OpenAlex profile matched yet.
📄 2 works in our library · 🔗 Cited 114 times in our library · ⭐ Paper Stars ranking: #6463
Fields, topics and concepts
📚 Shelves 7The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksBusiness, Management and Accounting · 1 workArtificial Intelligence · 2 worksComputational Theory and Mathematics · 2 worksManagement Information Systems · 1 workArts and Humanities · 1 workLanguage and Linguistics · 1 work
Works by year
2020s
Papers
- AlphaMath Almost Zero: Process Supervision without Process (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. - ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization (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
Venues
Cited by
Updated
This page in Markdown → https://md.research.elamur.ai/free/en/authors/chengxi-li/