LLMs are making formal software verification feasible at a much larger scale Anthropichttps://www.anthropic.com/research/formal-verification#Ai #Programming #Security