[KongchangAI]
Unverified50% confidenceDecision RuleExact time

The LLM's output is not trusted as a proof but serves as heuristic suggestions, with the solver performing final verification to maintain the solver's soundness.

1
Sources
50%
Confidence
Long-term
Relevance
10/30/2026
First Seen

Sources

Related Entities

Related Claims

Cite This Claim

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