pith. sign in

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