AITOP
精选
过去 24 小时，从 1009 条中筛出 58 条
全部模型产品行业论文技巧
标签：自动化验证×
6月11日
15:28
15:23
15:07
6月1日
00:09
5月29日
08:02
AITOP5月29日 08:02
Opus 4.8发布：编程助手的“静默时刻”，是解放开发者，还是新门槛？🔥Anthropic 把 AI 编程的“确认键”彻底删掉了！Claude Code 搭载全新 Opus 4.8 模型，长时间任务不跑偏、不废话、不中断，像一个资深工程师一样默默干活，从功能开发到漏洞清扫全包圆，你在旁边喝茶等结果就行。过去 AI 写代码三步一问“这样可以吗”，现在它直接交完整交付物……自主编程的最后一层窗户纸，被捅破了。做自动化开发和代码审查的团队，这个模型建议直接上手，效率差距肉眼可见……Opus 4.8发布：编程助手的“静默时刻”，是解放开发者，还是新门槛？
5月19日
10:01
10:01arXiv cs.AI@Ferhat Erata, Hao Zhou, Luke Huan
精选
研究人员提出了一种名为 fidelity probes 的方法，通过从代码中生成带真实答案的自然语言问题，来评估候选规格说明与代码的一致性。该方法将一致性分数分解为矛盾率和覆盖缺口率，从而指导规格说明的迭代改进。在包含约 12,000 行 COBOL 代码的基准测试中，经过八次迭代，规格说明的一致性从 0.63 提升至 0.94，且收敛点可通过两态马尔可夫固定点预测。探针可由 LLM 或静态分析管道生成，两者互补。该方法适用于任何应描述相同行为的成对工件。
论文代码-规格对齐LLM静态分析COBOL自动化验证
推荐理由：做代码文档对齐或规格说明自动化的团队，可以拿这个方法直接改进现有流程——它用 LLM 和静态分析结合，能快速发现并修复规格与代码的不一致，迭代效率很高。
原文