Spaces:
Running
Running
File size: 1,239 Bytes
5c7f807 c215c83 5c7f807 a76788e 5c7f807 c215c83 5c7f807 86ec68a 5c7f807 c215c83 86ec68a | 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 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 | {
"schema_version": 1,
"title": "PABLO reproduction - scaled evidence and proof counterexamples",
"emoji": "🎯",
"space_id": "DineshAI/XSpBSHzJAg",
"paper": null,
"tags": [
"icml2026-repro",
"paper-XSpBSHzJAg"
],
"updated_at": "2026-07-22T19:57:41+00:00",
"root": {
"slug": "index",
"title": "PABLO reproduction - scaled evidence and proof counterexamples",
"file": "pages/index.md",
"children": [
{
"slug": "overview",
"title": "Overview",
"file": "pages/overview/page.md",
"children": []
},
{
"slug": "claims",
"title": "Claims",
"file": "pages/claims/page.md",
"children": []
},
{
"slug": "evidence",
"title": "Evidence",
"file": "pages/evidence/page.md",
"children": []
},
{
"slug": "verification-run",
"title": "Verification runs",
"file": "pages/verification-run/page.md",
"children": []
},
{
"slug": "conclusion",
"title": "Conclusion",
"file": "pages/conclusion/page.md",
"children": []
}
]
},
"agent_view_tokens": 6240,
"revision": "1784748032673947000"
}
|