标签
本文介绍了C*，一种证明集成语言，它将C编程与形式化验证统一，通过嵌入式证明代码块实现实时验证。
本文提出了一种用于检索增强生成的实时验证系统，可处理长达32K token的文档，通过自适应推理策略在延迟与验证覆盖之间取得平衡。其为构建可靠的RAG系统提供了实用指导。