Hacker News new | past | comments | ask | show | jobs | submit
saagarjha | on: LLMs are making formal software verification feasible at a much larger scale
Agents can't really reliably prove things (at least not cheaply) hence the desire to chain together tools that can be checked.