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

333 points

by johnbender

9 hours ago

186 comments