agentic AI 1hardware verification 1interactive theorem proving 1lean 4 1parameterized designs 1proof reuse 1
From the 1 of 9 linked papers with an AI index.
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
CircuitProver: Agentic Lean 4 Theorem Proving with Reusable Circuit Proof Library for Hardware Verification
Ziyi Yang, Wenji Fang, Chen Chen +2
CircuitProver is a Lean 4‑based framework that automatically translates parameterized hardware designs and their natural‑language specifications into formal models and uses an agen…
cs.LO2025
ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
Chen Chen, Daniela Kaufmann, Chenhui Deng +3
We present ReVEAL, a graph-learning-based method for reverse engineering of multiplier architectures to improve algebraic circuit verification techniques. Our framework leverages s…