Un verificatore è un controllore indipendente che testa se un risultato è valido, coerente o logicamente corretto. Nei flussi di lavoro di IA e sicurezza, il verificatore non deve per forza generare la risposta da solo; il suo compito è esaminare un output candidato e rifiutare tutto ciò che viola regole, vincoli o la struttura prevista.
I verificatori sono importanti perché un output generato può sembrare plausibile pur essendo errato o non sicuro. Nella sicurezza informatica, possono convalidare prove, decisioni di policy, logiche di rilevamento o codice prima che vengano considerati affidabili o distribuiti. Gli attaccanti possono cercare di sfruttare sistemi che saltano la verifica, mentre i difensori usano i verificatori per individuare input malformati, output errati del modello ed errori logici. In pratica, un verificatore robusto trasforma l'IA da generatore libero a parte di una pipeline di validazione controllata.