BEAVER: An Efficient Deterministic LLM Verifier Paper • 2512.05439 • Published 28 days ago • 35