证据审查 LLM-DailyDigest 2026-08-14 2026-08-14 约 100 字 预计阅读 1 分钟 证据审查 本主题由提交工具自动创建,可在此补充洞察与资料。 相关消息(按子主题自动聚合) 事实核查 1 ReflectFact:自反思智能体提升多跳事实核查 08-16 图像取证 1 智能体图像取证中的分诊、提示与证据仲裁 09-22 学术论文 1 Game-the-LLM-Reviewer:降低 AI 审稿“错杀”的论文改写 Skill 09-23 学术论文生成 1 Spark-to-Paper:以可组合技能端到端生成研究论文 08-14 安全评测 1 LLM 交叉赋能软件工程与软件安全:证据中心综述 08-24 实验审计 1 超越代码执行:审计 LLM 科研实验的忠实性 08-29 形式化证明 1 传 AI 巨头未公开数百项数学证明,真实性尚待确认 09-16 形式化验证 1 OpenAI 邀外部专家与 Lean 核查 AI 科学证明 10-29 技术趋势分析 1 AI4Math 3万篇论文实证审计:AI正从润色走向证明构建 09-01 效度审计 1 超越局部准确率:LLM 推理评测的协议级可识别性审计 08-16 测试用例精简 1 FaultLens:学习紧凑的生成程序行为测试套件 08-29 科研智能体 1 OmniScientist:全模态跨学科 AI 科学家 08-16