▲0LLMs are making formal software verification feasible at a much larger scale4 hours ago·0 comments·flag