MIT & Stanford Researchers Propose Test-Time Verification for Hallucination Suppression
A collaborative paper from MIT and Stanford demonstrates that test-time search guided by lightweight formal verifiers suppresses factual hallucination in legal and medical queries ...