AI needs proof. Proof needs AI.
How LLMs can make formal verification economical, formal verification can make generated software accountable, and PDD keeps the human responsible for the claim.
Proof Driven Development
2 entries exploring this thread.
What is PDD?
Proof-Driven Development makes claims the unit of software work, then promotes them from an honest CLI ledger to bounded checks, Lean theorems, and shipping-code or artifact bindings.