Communications of the ACM

Verification Debt: When Generative AI Speeds Change Faster Than Proof

A useful name for what accumulates in the mismatch is verification debt. It is the gap between what you released and what you ...