Chengwei Shi

Identifiers

No identifiers captured yet.

Papers (1)

1. On Reasoning-Centric LLM-based Automated Theorem Proving cs.SE · 2026 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Hangzhou Lyu 1 shared papers
• Yican Sun 1 shared papers
• Yingfei Xiong 1 shared papers