Unverified50% confidenceFactExact time
The McNemar test p-values for the comparison of EMBER and ORBIT with the LLM baseline are 1.3e-9 and 1.5e-6, respectively, which is statistically significant.
1
Sources
50%
Confidence
Long-term
Relevance
10/27/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedOn 1,000 validation cases, the strongest LLM baseline achieves 62.7% accuracy, while EMBER (73.6%) and ORBIT (70.9%) perform better.62% similarUnverifiedThe paper points out that in OpenAI's Navier-Stokes proof, equation 8.19 claims that a certain quantity can be bounded by the norm of the (m+4)-th order derivative, but the Lean code verifies that it is bounded by the norm of the (m+5)-th order derivative, which is a weaker conclusion.61% similarUnverifiedIn strict format scoring tests, TwIL-LM's 1.7B model reportedly outperforms models 5 to 15 times its size.61% similarUnverifiedThe McNemar test is applicable to paired binary data, and the p=0.00006 (15 fixes, 0 breaks across the three packages combined) and p=0.03 (6 fixes, 0 breaks on the check packages only) reported in this paper both come from that test.61% similarUnverifiedPhi-3-mini（3.8B参数）在部分基准测试上超越了Mixtral 8x7B等更大的混合专家模型60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1102190API
curl https://kongchang.com/api/v1/knowledge/claims/1102190MCP
get_claim(id=1102190)