LLMs are making formal software verification feasible at a much larger scale \ Anthropic
kept by eddie
Claude formally proved security properties in RISC-V compiled code of 123 open-source libraries and discovered bugs that fuzzing had missed for years.