Reading up on Rocq
1 deep · digging since oct 23
- LLMs are making formal software verification feasible at a much larger scale \ Anthropic
Claude formally proved security properties in RISC-V compiled code of 123 open-source libraries and discovered bugs that fuzzing had missed for years.