Shijie Shang

Shijie Shang has 2 papers in our library, in 2025–2026, most of them on Reasoning, Language models & pretraining; often with Yue Peng, Chengyuan Yao, Di Huang.

2 papers in our library · 2025–2026

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

Fields, topics and concepts

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

The most cited first (OpenAlex and our library).

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion (2025 · 7 citations)
Autoformalization means converting natural-language math problems into formal statements, here in Lean 4. Current LLM approaches are still inaccurate. General-purpose models often misuse Lean details, such as calling functions that do not exist. Specialized translators trained on narrow annotated data tend to misread…
PaCoRe: Learning to Scale Test-Time Compute with Parallel Coordinated Reasoning (2026 · 5 citations)
Language models that reason step by step in a single chain hit a hard limit: once the context window is full, reasoning must stop.

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

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

Papers of our library cite their works 14 times (of the 149,439 papers whose bibliographies we read); 2 citing papers with a page here →.

Updated 1 November 2026