Expired50% confidenceFactExact time
Of the 372 problems, roughly over a hundred were provided with Lean formal verification, while the rest only claimed the proofs to be valid
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
10/9/2026
First Seen
This claim has expired. It is kept for the record and no longer describes the current state.
Valid until: 10/23/2026(expired)
Sources
Related Entities
Related Claims
UnverifiedAmong the approximately 2,000 papers examined, more than 1,100 had at least one key claim independently verified, of which 266 were fully reproduced, 632 were partially reproduced through small-scale experiments, and approximately 4,000 individual claims were confirmed.69% similarUnverifiedIn a test that used Traework to fully simulate a product development workflow, the tool retrieved more than 100 sources during the research phase, but after manual verification only about 40 were truly usable, while the other 60 needed to be discarded or re-investigated.67% similarUnverifiedThe test suite consists of 10 benchmarks; most run 1,000 questions each, with HumanEval comprising 164 questions and TruthfulQA comprising 817 questions.65% similarUnverifiedThe author used five real financial/payment documents and ten manually verified test questions to conduct a side-by-side comparison of four approaches: vector-only, BM25-only, hybrid retrieval without reranking, and the full ReRankEval pipeline.64% similarUnverified该测试样本规模相对有限（5个模型、13个代码库），结论有待更大规模验证64% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/992670API
curl https://kongchang.com/api/v1/knowledge/claims/992670MCP
get_claim(id=992670)