Verification Layers Emerge as the Architecture for Unreliable AI

Formal logic outperforms LLM self-checking, and newer models overgeneralize more than older ones