BEAVER: An Efficient Deterministic LLM Verifier
IntermediateTarun Suresh, Nalin Wadhwa et al.Dec 5arXiv
BEAVER is a new way to check, with guaranteed certainty, how likely a language model is to give answers that obey important rules.
#BEAVER#deterministic verification#large language models