Alexander Kalankhodzhaev

Don’t Just Test It, Prove It: Verifying AI-Written Rust

AI coding agents can write code faster than humans can meaningfully review it. Tests exercise selected cases; formal verification can establish whether specified properties hold within stated assumptions and bounds. This talk explores a workflow in which humans define the contracts, agents implement against them, and p...