ARATest把论文主张转为可执行属性测试，发现已发表论文错误。
资讯摘要
论文提出ARATest，一个基于属性的测试库，把研究主张中的属性骨架转成可执行测试，用三值语义给出成立、违反或不确定的判定，违反时附可复现证据。作者报告在33份ARA研究产物的243条主张中，54条获得绑定证据的忠实声明，其中32条成立、8条被违反、14条不确定；两处违反暴露了已发表论文的错误，并获作者确认。
要点速读
- ARATest将主张绑定到参数化属性骨架，固定比较量、案例、范围与数值策略，并以三值语义判定。
- 在33份ARA产物的243条主张中，54条获得忠实声明：32条成立、8条违反、14条不确定；两处违反经论文作者确认。
- 作者报告ARATest检出全部553个注入故障，19个有效对照无误报，表现优于两个LLM评审。
中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/10/24 08:00:37（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。