- 论文公开站arXiv
需求约束的已验证调试：四十亿参数冻结本地模型作为候选生成器
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
摘要显示，该研究为机电调试中的传感器坐标与极性绑定提出一种验收协议，将候选生成与发布权限分离：确定性解析器无法支持的需求被路由至一个冻结的40亿参数本地语言模型，仅当外部门控在密封语法下能推导出两项事实时才发布计划。在144项任务上评估，22项被路由的不可答任务中21项提交了伪造的“就绪”计划且全部被拒；83次发布中未观察到误发布，单侧95% Clopper-Pearson上界为0.0354，低于5%阈值。但基准外另有1次误发布记录。
意义：为LLM在安全关键工业场景中的使用提供“生成与发布分离”的验证架构，对构建可审计、可拒绝的AI调试系统有参考价值。