用代码测试审计论文主张
rubynorails · reddit · 2026-07-09
作者介绍了一个开源仓库，用来测试 AI 是否能审计由 README、论文、公式、CSV、Python 实现和 pytest 测试混合组成的材料。文章给出了一套审计流程：拆分主张、映射到实现与测试、区分内部一致性和外部真实性、做跨文件矛盾搜索，并为未测试主张生成测试。
rubynorails · reddit · 2026-07-09
作者介绍了一个开源仓库，用来测试 AI 是否能审计由 README、论文、公式、CSV、Python 实现和 pytest 测试混合组成的材料。文章给出了一套审计流程：拆分主张、映射到实现与测试、区分内部一致性和外部真实性、做跨文件矛盾搜索，并为未测试主张生成测试。