论文页面 - 计算机科学会议应要求不可否认的实验结果

来源：https://huggingface.co/papers/2605.08586 发布于5月9日

·

提交者https://huggingface.co/Mamadou2727

MKLD (https://huggingface.co/Mamadou2727) 于5月20日

摘要

这篇立场论文主张，计算机科学会议应要求对实验结果提供防篡改、不可否认的证明。我们将底层问题命名为实验不可否认性：一个合规协议必须将论文中的数字与实际执行的运算绑定，使得作者事后无法修改或否认。当前系统依赖于自行报告的清单、可选的代码共享以及作者控制的日志。这些机制均无法回答审稿人无法检查的问题：论文所描述的代码是否真的产生了论文所报告的数字？我们形式化地定义了该问题，阐述了任何合规协议必须满足的安全属性，并描述了一个包含当前方法无法防范的攻击的威胁模型。为了证明该问题可解，我们构建了 K-Veritas，一个用 Go 编写的参考实现，能在不访问训练数据的情况下生成签名报告。K-Veritas 是一个测试平台，而非最终答案。我们呼吁会议和社区将不可否认性视为一项首要需求，并共同为其建立一个开放、独立的标准。

查看 arXiv 页面 (https://arxiv.org/abs/2605.08586) 查看 PDF (https://arxiv.org/pdf/2605.08586) 项目页面 (https://kveritas.org/) 添加到收藏 (https://huggingface.co/login?next=%2Fpapers%2F2605.08586)

在您的代理中获取此论文：

hf papers read 2605\.08586

没有最新的 CLI？curl \-LsSf https://hf\.co/cli/install\.sh \| bash

引用此论文的模型0

没有模型链接此论文

在模型的 README.md 中引用 arxiv.org/abs/2605.08586 以从此页面链接。

引用此论文的数据集0

没有数据集链接此论文

在数据集的 README.md 中引用 arxiv.org/abs/2605.08586 以从此页面链接。

引用此论文的 Spaces0

没有 Space 链接此论文

在 Space 的 README.md 中引用 arxiv.org/abs/2605.08586 以从此页面链接。

包含此论文的收藏集0

没有收藏集包含此论文

将此论文添加到收藏集 (https://huggingface.co/new-collection) 以从此页面链接。