Property-Based Testing, Input Generation, Crash Discovery, Security Testing

On METR's AI Coding RCT
thezvi.substack.com·2d·
Discuss: Substack