AI writing, AI reviewing and the verification bottleneck
Citation matching, technical criticism, executable checks and formal proofs answer different questions. A map of what AI review can establish.
Topic
AI coding
From fuzz tests to proofs: inside an AI verification workflow
A maintainer’s guide to the artifacts behind AI-written proofs, from fuzz targets and binary hashes to assumptions and release changes.