ARATest：用属性测试检验智能体科研主张

Yifeng He 等人提出并发布 ARATest，一个基于属性的测试库，用于检验 AI 智能体产出的研究主张。据其论文，ARATest 把研究主张抽象为可执行的属性骨架，再以属性测试运行这些骨架，给出成立、违反、不确定三种判定；每个“违反”判定都附带可复现的见证用例。 该工具面向智能体科研主张的核验环节，论文将其定位为把这类主张转为可执行测试的库。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。