Unverified50% confidenceFactExact time
形式化验证领域正在尝试与LLM结合，让AI生成代码同时生成形式化规约，再通过定理证明器（如Coq、Lean、Isabelle）验证
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/3/2026
First Seen
Valid until: 12/2/2026
Sources
Related Entities
Cite This Claim
Stable URI
https://kongchang.com/claim/851314API
curl https://kongchang.com/api/v1/knowledge/claims/851314MCP
get_claim(id=851314)