Unverified50% confidenceFactExact time
Cross-validation by two independently implemented Lean kernels is an additional defensive measure; if both accept the same proof, the probability of a common error is extremely low.
1
Sources
50%
Confidence
Long-term
Relevance
10/12/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedIf two safety benchmarks use different harnesses, simply comparing their scores becomes meaningless, because what is being compared are two complete systems rather than two models.71% similarUnverifiedTwo consistent results (both passing or both failing) cannot serve as valid evidence for skipping a test; only a 'disagreement' — a change in result with the fixture bytes unchanged — constitutes the minimum valid observation69% similarVerifiedClassical-school tests avoid brittleness by verifying only the final state, but at the cost of making it harder to pinpoint the root cause when a test fails, because multiple real components participate in the test simultaneously.65% similarUnverifiedReplication, Measurement Sensitivity, and Persistence can yield mutually contradictory conclusions within the same evaluation.63% similarUnverifiedDenser relevance judgments reduce the probability that correct results retrieved by a model are mistakenly judged as irrelevant, thereby improving evaluation reliability.63% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1001192API
curl https://kongchang.com/api/v1/knowledge/claims/1001192MCP
get_claim(id=1001192)