CircuitProver: Agentic Lean 4 Theorem Proving for Hardware Verification

(arxiv.org)

2 points | by Jimmc414 13 hours ago

No comments yet.