AI 编程 › AI 资讯 › 正文

Requirement-Bound Verified Commissioning: A Frozen Four-Billion-Parameter Local Model as a Candidate Generator under an External Acceptance Layer with Verification and Release Authority

arxiv · arXiv · 2026-09-25 01:46 · 评分 75

提出一种机电调试验收协议:将候选生成与放行权限分离,无法被确定性解析器支持的需求交给冻结的40亿参数本地语言模型,外部密封语法门验证事实后才发布计划。

原文:arXiv | 返回 AI 资讯列表