BEAVER: An Efficient Deterministic LLM Verifier Paper • 2512.05439 • Published Dec 5, 2025 • 36