[控场AI]
待验证50% 置信观点精确时间

该工作将形式化验证与深度学习相结合,通过枚举引导的训练提升神经证书的可靠性,对自动驾驶、机器人等安全关键领域具有重要价值。

1
来源数
50%
置信度
长期有效
时效性
2026/10/21
首次发现

来源

涉及实体

相关事实

引用此条事实

Stable URI
https://kongchang.com/claim/1079314
API
curl https://kongchang.com/api/v1/knowledge/claims/1079314
MCP
get_claim(id=1079314)