Hacker Neus
LLMs are making formal software verification feasible at a much larger scale
(anthropic.com)
325 points
by johnbender
9 hours ago |
176 comments
