Unverified50% confidenceBenchmarkExact time
A verification baseline combining JBMC and the JVM returned 26 correct determinations and 6 unresolved results on the SV-COMP tasks.
1
Sources
50%
Confidence
Long-term
Relevance
10/28/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedDuring validation, node-semver's own tests found 25 inconsistent judgments in jpm, for example treating ^9007199254740991.0.0 as a valid range.67% similarUnverifiedUsing a 4B model to rerank the candidate shortlist filtered by BM25 outperformed BM25 alone (+0.047, confidence interval [0.020, 0.073]), even though the 4B reranker itself did not pass qualification.61% similarUnverifiedOn the SimpleQA benchmark, gpt-5-thinking-mini declines to answer 52% of questions, with an error rate of 26%.59% similarUnverifiedCommunity testing (34 English + 34 Russian conversations) shows that all quantized versions of Hy-Memory-30B-A3B can output valid JSON (68/68), but only 23/34 fully succeed.58% similarUnverifiedThe full local run used generated parity fixtures and a real running Neo4j 5.26.29 Community instance, with results: 129 tests, 0 failures, 0 skipped.58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1106291API
curl https://kongchang.com/api/v1/knowledge/claims/1106291MCP
get_claim(id=1106291)