待验证50% 置信概念精确时间
论文将自然语言需求与形式化产物之间语义不匹配的缺口命名为'spec formalization problem'（规约形式化问题）。
1
来源数
50%
置信度
长期有效
时效性
2026/10/14
首次发现
来源
涉及实体
相关事实
待验证自然语言的歧义、隐含前提、上下文依赖未必都能被干净地映射为一阶逻辑，是该架构的翻译边界挑战71% 相似待验证当多个大语言模型对同一份文档的标注结果出现强烈分歧时，往往意味着该处的码本规则存在模糊、歧义或覆盖不足的问题69% 相似已验证自然语言在描述复杂精确的工程需求时天然模糊，如何在简单表达和精确可控之间取得平衡是产品设计难题67% 相似待验证代码的语义结构与自然语言存在本质差异，导致嵌入模型难以准确保留标识符命名、调用关系、作用域等信息66% 相似待验证论文核心论点区分两类不一致：标注噪声（annotation noise）与有意义的模糊性（meaningful ambiguity）66% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1023855API
curl https://kongchang.com/api/v1/knowledge/claims/1023855MCP
get_claim(id=1023855)