待验证50% 置信观点精确时间
SemDraft 的「搜索加认证」范式与程序合成领域的「按示例编程」（Programming by Example）高度同构。
1
来源数
50%
置信度
长期有效
时效性
2026/10/16
首次发现
来源
从认证程序学习可执行制版搜索：SemDraft框架解析
rss2026/10/15
涉及实体
相关事实
待验证论文《Learning to Search for Executable Patternmaking from Certified Programs》提出了 SemDraft 框架，据称是首个能从成对的「修改前/修改后」缝纫版型中学习搜索可执行制版程序的系统。78% 相似待验证SemDraft 方法目前依赖确定性编译器和对顺序敏感的案例设计，在编译行为不稳定或编辑动作存在歧义的场景下，认证机制的严格性可能成为覆盖率的天花板。74% 相似待验证Semantica是一套基于图（Graph）的开源基础设施，专为具备上下文感知能力和可问责性的AI系统设计，将原始字符串文本转化为知识图谱69% 相似待验证SemIf指Semantic Interface（语义接口），是架设在推理引擎与业务调用之间的抽象层，在解码阶段介入，将模型对候选选项的输出转换为规范化的概率分布，例如对A/B/C各给出0到1之间的得分且总和为1。68% 相似待验证Semantica提供两种图谱构建方式：传统正则表达式提取和LLM智能提取（先用LLM提取实体，再通过关系提取器构建边，最后送入图构建器）67% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1046929API
curl https://kongchang.com/api/v1/knowledge/claims/1046929MCP
get_claim(id=1046929)