Offline
day
week
LLMs are making formal software verification feasible at a much larger scale
275 points
|
www.anthropic.com
|
johnbender
|
9hrs