▲ 2 pointsCircuitProver: Agentic Lean 4 Theorem Proving for Hardware Verificationarxiv.orgby Jimmc414·15d ago·0 comments·view on hn ↗