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

342 points

by johnbender

10 hours ago

201 comments