File size: 2,091 Bytes
02ffcc8 3e90590 02ffcc8 3e90590 | 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 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 | {
"schema_version": 1,
"title": "Reproduction: Constrained Adaptive Rejection Sampling",
"emoji": "🎯",
"space_id": "DineshAI/repro-constrained-adaptive-rejection-sampling",
"paper": {
"arxiv_id": "2510.01902",
"openreview_id": "gLRqqQOM9K"
},
"tags": [
"icml2026-repro",
"paper-gLRqqQOM9K"
],
"updated_at": "2026-07-20T04:30:00+00:00",
"root": {
"slug": "index",
"title": "Reproduction: Constrained Adaptive Rejection Sampling",
"file": "pages/index.md",
"children": [
{
"slug": "executive-summary",
"title": "Executive summary",
"file": "pages/executive-summary/page.md",
"children": []
},
{
"slug": "claim-1-exact-constrained-distribution",
"title": "Claim 1 — Exact constrained distribution",
"file": "pages/claim-1-exact-constrained-distribution/page.md",
"children": []
},
{
"slug": "claim-2-trie-pruning-and-monotonicity",
"title": "Claim 2 — Trie pruning and monotonicity",
"file": "pages/claim-2-trie-pruning-and-monotonicity/page.md",
"children": []
},
{
"slug": "claim-3-molecular-synthesis",
"title": "Claim 3 — Molecular synthesis",
"file": "pages/claim-3-molecular-synthesis/page.md",
"children": []
},
{
"slug": "claim-4-pddl-planning",
"title": "Claim 4 — PDDL planning",
"file": "pages/claim-4-pddl-planning/page.md",
"children": []
},
{
"slug": "claim-5-xml-fuzzing",
"title": "Claim 5 — XML fuzzing",
"file": "pages/claim-5-xml-fuzzing/page.md",
"children": []
},
{
"slug": "claim-6-sygus",
"title": "Claim 6 — SyGuS",
"file": "pages/claim-6-sygus/page.md",
"children": []
},
{
"slug": "conclusion",
"title": "Conclusion",
"file": "pages/conclusion/page.md",
"children": []
}
]
},
"agent_view_tokens": 4925,
"revision": "1784505349859975000"
}
|