标签
本文分析了推测解码中的有损验证方案，将其分为基于截断的验证和协作验证两类，并指出了保持生成质量的陷阱和原则。
这是一篇评论文章，探讨了关于形式验证的常见误解，并强调了它在确保软件和AI系统可靠性中的关键作用。