Chengwu Liu

Identifiers

No identifiers captured yet.

Papers (1)

1. Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 cs.AI · 2026 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Botao Li 1 shared papers
• Jianhao Shen 1 shared papers
• Jiaxuan Xie 1 shared papers
• Lifeng Shang 1 shared papers
• Ming Zhang 1 shared papers
• Siqi Li 1 shared papers
• Yan Xu 1 shared papers
• Ye Yuan 1 shared papers
• Yichun Yin 1 shared papers