Testing Harmonic's math agent: it asks sharp clarifying questions to formally verify Verilog
thomasahle · x · 2026-10-29
Researcher thomasahle is trying Harmonic's math/formal-verification agent and likes its multi-clarifying-question setup. Screenshots show the agent spotting inferred latches in FPDivide.v's combinational always block, proposing two guarded default assignments to unblock formal verification, and asking the user to pin down the exact reference behavior (truncation vs IEEE-754 rounding), with quick-answer options. He notes the queue is so long he left for coffee before the 10-minute auto-pick.
More from coding & agent
- orbench launches on Product Hunt: benchmark LLMs on your own tasks before switching — IgorCarron · 2026-10-29
- GET requests can carry body payloads — an overlooked AI agent tool-use exploit — bigorangemachine · 2026-10-29
- MulticaAI 1.0 screenshots show AI agents taking real tickets inside an issue tracker — jiayuan_jy · 2026-10-29
- Exploring the shape of AI-generated upstream PRs maintainers will accept — lucasmeijer · 2026-10-29
- Reddit user shares a claim-by-claim workflow for verifying AI stock research — Low_Teach_2252 · 2026-10-29
- Builder says 30+ AI agents running a video studio hint AGI may arrive as an organization — r0ck3t23 · 2026-10-29