If you like the rigor of formal methods and dislike the vaguery of LLMs, shouldn... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

robot-wrangler 7 months ago | parent | context | favorite | on: AI will make formal verification go mainstream

If you like the rigor of formal methods and dislike the vaguery of LLMs, shouldn't you be in favor of using the first to improve the second?

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact