Skip to content
Hot eventLive

VeriSpec检测OpenAI Model Spec规范不一致性

1 reports1 sources3 hr ago updated

Get the story

AI overview

2026-10-02，arXiv Software Engineering 报道 VeriSpec 首次提出直接审计模型规范文本以检测不一致性。研究提取 OpenAI Model Spec 的 405 条规则，手动验证其中 5 条不一致并反馈给开发者，精度达 38.5%，每条验证成本 $11.12，优于五个基线，代码已开源。

Generated from reports · updated 2 hr ago

LatestOct 2
VeriSpec 提取 OpenAI Model Spec 405 条规则，验证 5 条不一致并反馈开发者，精度 38.5%，每条成本 $11.12，代码已开源。

Timeline

Follow the coverage from different angles.

Oct 2, 2026
  1. arXiv · Software Engineering
    检测模型规范不一致性：LLM-as-Verifier 推理方法 VeriSpec

    VeriSpec 首次提出直接审计模型规范文本以检测不一致性，提取 OpenAI Model Spec 的 405 条规则并手动验证 5 条不一致，均反馈给开发者。其精度达 38.5%，每条验证不一致成本 $11.12，优于五个基线。代码已开源。

Heat trend

There is not enough continuous observation data to draw a trend yet.