Chen Chen

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Distributed Systems & Hardware (1)Reasoning & Chain-of-Thought (1)Tool Use & Agents (1)

Frequent co-authors

Wenji Fang (1)Zhiyao Xie (1)Hongce Zhang (1)

Papers (1)

Jul 29, 2026

Wenji Fang +33w ago

CircuitProver: Agentic Lean 4 Theorem Proving with Reusable Circuit Proof Library for Hardware Verification

CircuitProver not only automates hardware verification but also distills proof knowledge into reusable libraries, slashing verification time by over 23%.

Wenji Fang, Chen Chen, Zhiyao Xie +1

Distributed Systems & Hardware Reasoning & Chain-of-Thought Tool Use & Agents

Search

Chen Chen

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)