BEAVER: An Efficient Deterministic LLM Verifier