热点事件持续更新
VeriSpec检测OpenAI Model Spec规范不一致性
1 篇报道1 个报道来源2 小时前 更新
先了解这件事
AI 综述
2026-10-02，arXiv Software Engineering 报道 VeriSpec 首次提出直接审计模型规范文本以检测不一致性。研究提取 OpenAI Model Spec 的 405 条规则，手动验证其中 5 条不一致并反馈给开发者，精度达 38.5%，每条验证成本 $11.12，优于五个基线，代码已开源。
AI 根据报道生成 · 1 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
10月2日
- arXiv · Software Engineering检测模型规范不一致性：LLM-as-Verifier 推理方法 VeriSpec
VeriSpec 首次提出直接审计模型规范文本以检测不一致性，提取 OpenAI Model Spec 的 405 条规则并手动验证 5 条不一致，均反馈给开发者。其精度达 38.5%，每条验证不一致成本 $11.12，优于五个基线。代码已开源。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。