Author

Wenji Fang

3 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

CorrectRTL: Boost RTL Generation Quality Through Automated Self-Correction with Instruction Decomposition

Large language models (LLMs) have shown strong promise in specification-to-RTL generation. Among the explorations, the self-correction paradigm has significantly advanced LLM-based RTL generation. However, two challenges limit further progress. Existing benchmarks are saturated by advanced LLMs, leaving little room to...

Jing Wang, Shang Liu, Han Zhou et al. · 0 citations

Jul 2026

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

This paper presents CircuitProver, an agentic Lean 4-based verification framework supporting proof-accumulation and parameterized verification, and introduces the first benchmark suite for evaluating agentic hardware theorem proving, covering diverse parameterized hardware designs, specifications, proof tasks, and eval...

Zi-Yi Yang, Wenji Fang, Chen Chen et al. · arXiv.org · 0 citations

Preprint Aug 2026

FABO: Agent-Guided Discovery of Joint Breakpoint Optimization for Timing-Driven Routing Trees

Whether language-model-guided search can discover a constructive algorithm that improves on SALT is asked, and an agent framework that combines parallel exploration with independent checking is developed that combines parallel exploration with independent checking is developed.

Shang Liu, Wenji Fang, Jing Wang et al. · 0 citations