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

by johnbender | View on Hacker News