CircuitProver: Agentic Lean 4 Theorem Proving for Hardware Verification

2 pointsposted 13 hours ago
by Jimmc414
(arxiv.org)

No comments yet