arXiv ID:
2512.05439
arXiv 提交日期: 2025-12-05
BEAVER:一种高效的大语言模型确定性验证器 / BEAVER: An Efficient Deterministic LLM Verifier
1️⃣ 一句话总结
这篇论文提出了一个名为BEAVER的框架,它能够像做数学证明一样,确定性地计算出大语言模型输出满足特定要求(如正确性、隐私性)的概率上下限,从而提供传统抽样方法无法给出的可靠保证,帮助在实际应用中更精确地评估和控制模型风险。