Hacker News 프런트페이지 · 발행 2026-10-22 · 수집 2026-10-23LLMs are making formal software verification feasible at a much larger scale ↗Comments원문 읽기자료 고유 링크