A anthropic.com LLMs are making formal software verification feasible at a much larger scale 473 points johnbender 9 days ago 312 comments
