Verification Literacy heißt, Code prüfen zu können, den ein Modell per Inferenz erzeugt hat und nicht ein Compiler. Dazu gehört, zu wissen, wo Modelle plausible Details erfinden, das Wichtige zu testen und die Review-Kapazität mit der Menge an generiertem Code wachsen zu lassen, damit Review nicht zur Formsache verkommt.