arXiv Artificial Intelligence· Yifeng He, Jiachen Liu, Hao Chen·· 3 小时前AI 评分38
ARATest：用属性测试核查 AI 智能体科研产出中的研究主张
From Prose to Properties: Testing Research Claims with ARATest for Agent-Native Science
AI 导读
ARATest 是一个基于属性的测试库，把研究主张抽象为可执行的属性骨架，用类型化声明绑定主张的比较量、案例、范围与数值策略，并给出成立、违反、不确定三种判定，每次违反都附带可复现见证。
来源：arXiv Artificial Intelligence · arxiv.org