Unverified50% confidenceFactExact time
All numbered results in the paper, except for two clauses concerning the planner, are machine-verified in Lean 4, conditional on citing two published results.
1
Sources
50%
Confidence
Long-term
Relevance
10/12/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedThe paper validates CoDR under a setup of two backbone models, four reasoning and code tasks, and three basic samplers.69% similarUnverifiedLean's verification result is binary: it either passes or it does not, with a clear and reproducible standard.67% similarUnverifiedThe paper proposes a partial verification method that is able to verify only a subset of calibration samples while returning prediction sets identical to those obtained with full verification.66% similarUnverifiedLean 4's kernel is solely responsible for type checking; all tactics, macros, and automation tools run outside the kernel, generating proof terms that are then independently verified by the kernel.64% similarUnverifiedThe paper conducted validation on two encoders and five SCORPION scanners63% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1012887API
curl https://kongchang.com/api/v1/knowledge/claims/1012887MCP
get_claim(id=1012887)