Hacker News new | past | comments | ask | show | jobs | submit
leafmeal | on: LLMs are making formal software verification feasible at a much larger scale
Reminds me of this blog post by Martin Kleppmann predicting how AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verificati...