Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Chengwei Shi | Lattice

Chengwei Shi

Papers on Lattice

1

Total citations

0

Topics

3

h-index

1

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Reasoning & Chain-of-Thought (1)Tool Use & Agents (1)

Frequent co-authors

Yican Sun (1)Hangzhou Lyu (1)Yingfei Xiong (1)

Papers (1)

Apr 21, 2026

Yican Sun +3Apr 21, 2026

On Reasoning-Centric LLM-based Automated Theorem Proving

Strategic reasoning about proof plans, not just tactic generation, unlocks a 22% jump in automated theorem proving success.

Yican Sun, Chengwei Shi, Hangzhou Lyu +1

Code Generation & Program Synthesis Reasoning & Chain-of-Thought Tool Use & Agents