探讨大模型输出的可信度与可验证性
preslav_nakov · x · 2026-07-19
在 #ACL2026 大会的研讨会上，演讲者强调了**大模型的流畅性并不等于正确性**。 提出为了构建可信的 LLM，其输出应当具备以下特征： - 基于结构化证据进行推理 - 提供可验证、有根据的证据 - 具备“证明携带”（proof-carrying）能力 - 允许人类进行核查与监督
preslav_nakov · x · 2026-07-19
在 #ACL2026 大会的研讨会上，演讲者强调了**大模型的流畅性并不等于正确性**。 提出为了构建可信的 LLM，其输出应当具备以下特征： - 基于结构化证据进行推理 - 提供可验证、有根据的证据 - 具备“证明携带”（proof-carrying）能力 - 允许人类进行核查与监督