待验证50% 置信事实精确时间
论文《Learning to Search for Executable Patternmaking from Certified Programs》提出了 SemDraft 框架，据称是首个能从成对的「修改前/修改后」缝纫版型中学习搜索可执行制版程序的系统。
1
来源数
50%
置信度
长期有效
时效性
2026/10/16
首次发现
来源
从认证程序学习可执行制版搜索：SemDraft框架解析
rss2026/10/15
涉及实体
相关事实
待验证SemDraft 的「搜索加认证」范式与程序合成领域的「按示例编程」（Programming by Example）高度同构。78% 相似待验证SemDraft 方法目前依赖确定性编译器和对顺序敏感的案例设计，在编译行为不稳定或编辑动作存在歧义的场景下，认证机制的严格性可能成为覆盖率的天花板。70% 相似待验证Semantica是一套基于图（Graph）的开源基础设施，专为具备上下文感知能力和可问责性的AI系统设计，将原始字符串文本转化为知识图谱64% 相似待验证离散掩码扩散借鉴BERT的掩码语言建模思路，训练时对序列随机掩码并还原，推理时从全掩码序列多步迭代填充，代表工作有MDLM、SEDD61% 相似待验证SEMPRE框架由Percy Liang团队于2013年前后推出，引入了浮动解析机制，支持将自然语言映射为λ演算表达式或数据库查询61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1046922API
curl https://kongchang.com/api/v1/knowledge/claims/1046922MCP
get_claim(id=1046922)