天猫 AI 黑客松参赛作品

The last mile of the paper

投稿的最后一公里

下载 macOS 版 Windows To be continued

参赛队伍我要发顶刊 赛道效率进化,阿里云特别赛题

关于

想法到实验已经很快,论文的最后一公里还靠手工

大语言模型和多智能体工具普及以后,研究者从一个想法走到一组实验结果的时间缩短了很多。写代码、跑实验、整理结果,智能体都能分担,投稿量也随之增长。

一篇论文投出之前,还有一段绕不开的路。为了满足学术诚信的要求,作者要逐条确认参考文献真实存在,作者、年份和 DOI 无误,确认每一处引用确实支持对应的论断,再检查格式和错别字。这些核对繁琐耗时,也最容易在截稿前被压缩。生成式工具写出的文字越多,编造的文献和张冠李戴的引用也越容易混进稿件。

Clover 想回答一个问题:这份核对能不能自动完成。它把核对拆成文献真实性、论断支持度、引用分布和格式规范四层,用 Qwen 系列模型配合公开学术数据库逐条检查,再把结果写回作者熟悉的 Word。核对交给机器,判断留给作者。

这是我们为天猫 AI 黑客松效率进化赛道、阿里云基于 Qwen 的科研提效赛题做的回答:让科研提效一直延伸到投稿前的最后一公里。

需要说明一点:英文期刊和会议的元数据、摘要与开放全文更容易获取,所以 Clover 目前只支持英文论文。中文文献的核验与对标,会在之后补上。

一次体检

拖进一篇论文,四层检查同时进行

Clover 在本机解析 docx,认出章节、段落、引用标记和参考文献表。四层检查并行推进,左边的论文骨架随结果逐段点亮。选定目标会议后,最后再和这个会议已发表的论文比一比。

文献真实性

编造的文献,查得出来

每条参考文献都去 Crossref、OpenAlex、Semantic Scholar 和 arXiv 核对。作者、年份、DOI 与数据库记录对不上,Clover 指出差在哪里;几个库都真正应答且都没有记录,才判定为找不到。

论断支持度

被引文献真的说过这句话吗

Clover 抽出正文中每一组论断与引用,到被引文献的摘要和开放全文里找证据。每个判断都附原文片段,片段必须能在原文中逐字找到,找不到就降级为无法判断。

引用分布

把引用放回领域里看

对照 150 篇 arXiv 计算语言学论文,逐章比较引用密度与引用功能。一句话里堆了七八篇文献,也会单独提出来。

格式规范

机械性问题,直接给出修订

错别字、文献重新排序和随之变化的引用编号,写成修订,由你逐条接受或拒绝。未被引用的文献、找不到条目的引用,写成批注。

期刊评审

投之前,先和目标会议比一比

选定 EMNLP、ACL 或 NAACL,Clover 找出该会议已发表的相近论文,从实验规模、分析深度、文献覆盖、引用可靠性和结构完整五个方面给出定位。

右侧窗口跟着滚动切换,也可以自己点。

导出到 Word

改稿,还在 Word 里

一键导出一份新的 docx。实质性问题挂成批注,附上依据和建议;错别字这类机械性问题写成修订。原文件不会被覆盖,每一处改动都可以撤销。

下载这份示例

几条不会让步的原则

证据可追溯

支持或不支持,都附被引文献的原文片段。片段在原文里逐字找不到,判断就不成立。

不确定就说不确定

查不到的文献标为无法核验,不会说成不存在。证据不足的论断标为无法判断。

只替你改机械性问题

Clover 不改写、不续写正文,不删除或替换参考文献,也不推荐该引哪篇。删不删、换不换,由作者决定。

稿件留在本机

全文在你的 Mac 上解析。云端只接收需要复核的论断和证据片段,不上传整篇稿件。

模型

全程使用 Qwen

支持度判断用 qwen3.8-flash,存疑的结论交给 qwen3.8-max 复核,模型可以在设置里换。每次调用都有缓存和用量记录,实测一次完整检查约 0.19 元。

把最后一公里走完

下载 macOS 版 WindowsTo be continued

应用尚未经过公证。第一次打开时如果被拦下,到系统设置的隐私与安全性里点仍要打开。