arXiv cs.SE· Yifeng He, Jiachen Liu, Hao Chen·· 2 小时前AI 评分38
ARATest：用属性测试检验智能体科研主张
From Prose to Properties: Testing Research Claims with ARATest for Agent-Native Science
AI 导读
论文提出 ARATest，一个基于属性的测试库，把 AI 智能体产出的研究主张抽象为可执行的属性骨架，并给出成立、违反、不确定三种判定，每个违反都附带可复现的见证用例。
来源：arXiv cs.SE · arxiv.org