Active Minimax Decoder: Reducing Hallucinations in Small Language Models via Binary Adversarial Verification | Synapse