Anthropic and Theorem report proofs across 123 libraries
Claude produced conditional no-crash proofs for 239 entry points in single-threaded static RISC-V binaries with inputs under 64 MB.
Evening brief, Oct 22
- In the evening brief, Oct 22
- Research worth a look