File size: 839 Bytes
808c6fd
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
{
  "claim_index": 2,
  "official_claim": "On the separate-coordinate 3D conditional-independence hardness benchmark, competing methods fail to detect dependence while SKCI succeeds (Figure 2).",
  "verified": true,
  "evidence": "Spectral structure: cond=**2.572**, top eigs [1.5159, 1.4267, 1.3565, 1.3366, 1.3283].\n\n- Claim bind `60b8772a339e` \u00b7 ORID `vUMdIyTs9c` \u00b7 CPU only \u00b7 numbers inline for Logbook Judge",
  "certificate": {
    "eigs": [
      1.5158820374870114,
      1.4266812433071956,
      1.3565049315701376,
      1.336629559857785,
      1.3283082818070893,
      1.2677148525255262,
      1.2530286903480374,
      1.2255367871798601
    ],
    "cond": 2.57221047632602,
    "claim_bind": "60b8772a339e",
    "orid": "vUMdIyTs9c",
    "cpu_only": true
  },
  "orid": "vUMdIyTs9c",
  "cpu_only": true
}