Elamur Research⌕
☰
home / authors / Chengxi Li

Chengxi Li

Chengxi Li has 2 papers in our library, in 2024–2025; often with Guoxin Chen, Kai Fan, Minpeng Liao.

2 papers in our library · 2024–2025

No OpenAlex profile matched yet.

📄 2 works in our library · 🔗 Cited 114 times in our library · ⭐ Paper Stars ranking: #6463

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Fields, topics and concepts

Of its works in our library, with the number of works on each.

 Works by year

2020s

 Papers

The most cited first (OpenAlex and our library).

  1. 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.
  2. 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

6 co-authors with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 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 →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/chengxi-li/