LLMs are making formal software verification feasible at a much larger scale | Hacker News

LLMs are making formal software verification feasible at a much larger scale (anthropic.com)

325 points by johnbender 9 hours ago | 176 comments

Loading...