待验证50% 置信事实精确时间
许多研究和工程实践尝试用大语言模型将 RFC 等协议文档中的自然语言描述转化为形式化模型
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/9/15
首次发现
有效期至:2026/12/14
来源
涉及实体
相关事实
引用此条事实
Stable URI
https://kongchang.com/claim/921832API
curl https://kongchang.com/api/v1/knowledge/claims/921832MCP
get_claim(id=921832)