mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-07-31 03:05:21 +00:00
c0641ea875
- Update 3-Mathematical-Models JSON datasets (NUVMAP index, mass proofs, math_centric_samples, math_raw_summary, math_self_discovered +1.5M lines, structural_discovery, unified_9pattern_samples, unknown_discovery_report) - Add adjacent_coprime_classification receipt (Lean proof + manifest) - Add codebase-memory-receipt (Rust crate + manifests) - Add desi_model_projection receipt (Lean proofs + manifest) - Add deterministic_build_receipt (Lean build proof) - Add Containerfile, run-container.sh, cupfox-config.nix - Restore .github assets and changes.zip
206 lines
No EOL
3.1 KiB
JSON
206 lines
No EOL
3.1 KiB
JSON
{
|
|
"top_structures": [
|
|
{
|
|
"structure": "v0 = 0",
|
|
"count": 943
|
|
},
|
|
{
|
|
"structure": "v0 = 1,",
|
|
"count": 418
|
|
},
|
|
{
|
|
"structure": "v0 = 1",
|
|
"count": 354
|
|
},
|
|
{
|
|
"structure": "v0 > 0",
|
|
"count": 248
|
|
},
|
|
{
|
|
"structure": "v0 = v1",
|
|
"count": 185
|
|
},
|
|
{
|
|
"structure": "v0 \u2265 1",
|
|
"count": 184
|
|
},
|
|
{
|
|
"structure": "v0 \u2265 0",
|
|
"count": 164
|
|
},
|
|
{
|
|
"structure": "v0 = 2",
|
|
"count": 157
|
|
},
|
|
{
|
|
"structure": "v0 < 0",
|
|
"count": 147
|
|
},
|
|
{
|
|
"structure": "v0 \u2264 v1",
|
|
"count": 142
|
|
},
|
|
{
|
|
"structure": "v0 \u2265 2",
|
|
"count": 107
|
|
},
|
|
{
|
|
"structure": "v0=0",
|
|
"count": 99
|
|
},
|
|
{
|
|
"structure": "v0 = 0,",
|
|
"count": 84
|
|
},
|
|
{
|
|
"structure": "v0 = 3",
|
|
"count": 67
|
|
},
|
|
{
|
|
"structure": "v0 = 1, 2,",
|
|
"count": 67
|
|
},
|
|
{
|
|
"structure": "v0/v1 = 0",
|
|
"count": 66
|
|
},
|
|
{
|
|
"structure": "v0 < v1",
|
|
"count": 65
|
|
},
|
|
{
|
|
"structure": "v0 = 1, 2",
|
|
"count": 65
|
|
},
|
|
{
|
|
"structure": "v0 =",
|
|
"count": 54
|
|
},
|
|
{
|
|
"structure": "v0 > 1",
|
|
"count": 52
|
|
},
|
|
{
|
|
"structure": "v0 \u2265 3",
|
|
"count": 50
|
|
},
|
|
{
|
|
"structure": "v0 = 0, 1,",
|
|
"count": 50
|
|
},
|
|
{
|
|
"structure": "v0=1,",
|
|
"count": 45
|
|
},
|
|
{
|
|
"structure": "v0=1",
|
|
"count": 43
|
|
},
|
|
{
|
|
"structure": "v0 = 4",
|
|
"count": 42
|
|
},
|
|
{
|
|
"structure": "v0 \u2265 v1",
|
|
"count": 41
|
|
},
|
|
{
|
|
"structure": "v0\u22650",
|
|
"count": 38
|
|
},
|
|
{
|
|
"structure": "v0 > v1",
|
|
"count": 36
|
|
},
|
|
{
|
|
"structure": "v0 = (x1 ,",
|
|
"count": 32
|
|
},
|
|
{
|
|
"structure": "v0 \u2264 v1 - 1",
|
|
"count": 32
|
|
},
|
|
{
|
|
"structure": "v0 = 2,",
|
|
"count": 31
|
|
},
|
|
{
|
|
"structure": "v0 = 5",
|
|
"count": 31
|
|
},
|
|
{
|
|
"structure": "v0 < 1",
|
|
"count": 29
|
|
},
|
|
{
|
|
"structure": "v0 \u2248 0",
|
|
"count": 29
|
|
},
|
|
{
|
|
"structure": "v0=1 Proof",
|
|
"count": 29
|
|
},
|
|
{
|
|
"structure": "v0 =0",
|
|
"count": 28
|
|
},
|
|
{
|
|
"structure": "v0 > 2",
|
|
"count": 25
|
|
},
|
|
{
|
|
"structure": "v0>0",
|
|
"count": 24
|
|
},
|
|
{
|
|
"structure": "v0 \u2264 0",
|
|
"count": 23
|
|
},
|
|
{
|
|
"structure": "v0 = -0",
|
|
"count": 22
|
|
},
|
|
{
|
|
"structure": "v0 = 1)",
|
|
"count": 22
|
|
},
|
|
{
|
|
"structure": "rrb =0",
|
|
"count": 21
|
|
},
|
|
{
|
|
"structure": "v0 = -1",
|
|
"count": 21
|
|
},
|
|
{
|
|
"structure": "v0 = 1, 2, 3",
|
|
"count": 21
|
|
},
|
|
{
|
|
"structure": "v0 \u2265 4",
|
|
"count": 20
|
|
},
|
|
{
|
|
"structure": "v0 = 0)",
|
|
"count": 19
|
|
},
|
|
{
|
|
"structure": "v0 = \u2205",
|
|
"count": 19
|
|
},
|
|
{
|
|
"structure": "v0\u2264v1",
|
|
"count": 19
|
|
},
|
|
{
|
|
"structure": "v0 = v0",
|
|
"count": 18
|
|
},
|
|
{
|
|
"structure": "v0\u22651",
|
|
"count": 17
|
|
}
|
|
],
|
|
"unique_structures_count": 38502,
|
|
"total_sample": 50000
|
|
} |