待验证50% 置信事实精确时间

SemDraft 把无监督的搜索问题转化为有监督的排序学习问题，用认证程序作为中介。

1

来源数

50%

置信度

长期有效

时效性

2026/10/16

首次发现

来源

从认证程序学习可执行制版搜索：SemDraft框架解析

rss2026/10/15

涉及实体

SemDraftproduct

相关事实

待验证SemDraft 通过三道独立检查来认证程序：从头重编译、动作对的顺序判定（有序或可交换）、独立回放。76% 相似待验证Semantica是确定性决策图谱外挂审计设备,追求极简、低侵入的切入式集成68% 相似待验证Semantica是一个开源推理引擎，追求让AI决策可追溯、可审计、可解释，而非追求更高准确率68% 相似待验证Semgrep 采用基于模式匹配的轻量级方法，开发者可以用类似代码的语法编写检测规则65% 相似待验证SonarQube和Semgrep等静态分析工具及形式化验证长期承担自动化质量把关角色，但针对的是人类写的代码，规则集由人工维护65% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1046930

API

curl https://kongchang.com/api/v1/knowledge/claims/1046930

MCP

get_claim(id=1046930)