File size: 2,195 Bytes
f2c48ee c3b36f2 f2c48ee c3b36f2 f2c48ee | 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 | {
"schema_version": 1,
"title": "Reproduction: Learning Randomized Reductions",
"emoji": "🎯",
"space_id": "Alogotron/repro-learning-randomized-reductions",
"paper": {
"arxiv_id": "2412.18134"
},
"tags": [
"icml2026-repro",
"paper-hCAEcqig2C"
],
"updated_at": "2026-07-22T09:42:07+00:00",
"root": {
"slug": "index",
"title": "Reproduction: Learning Randomized Reductions",
"file": "pages/index.md",
"children": [
{
"slug": "executive-summary",
"title": "Executive summary",
"file": "pages/executive-summary/page.md",
"children": []
},
{
"slug": "claim-1-vanilla-bitween-discovers-rsrs-for-43-of-80-functions-54-in-rsr-bench-including-first-known-reduction-for-sigmoid",
"title": "Claim 1: Vanilla Bitween discovers RSRs for 43 of 80 functions (54%) in RSR-Bench, including first known reduction for sigmoid",
"file": "pages/claim-1-vanilla-bitween-discovers-rsrs-for-43-of-80-functions-54-in-rsr-bench-including-first-known-reduction-for-sigmoid/page.md",
"children": []
},
{
"slug": "claim-2-agentic-bitween-neuro-symbolic-approach-with-llm-agents-discovers-rsrs-for-64-of-80-functions-80",
"title": "Claim 2: Agentic Bitween neuro-symbolic approach with LLM agents discovers RSRs for 64 of 80 functions (80%)",
"file": "pages/claim-2-agentic-bitween-neuro-symbolic-approach-with-llm-agents-discovers-rsrs-for-64-of-80-functions-80/page.md",
"children": []
},
{
"slug": "claim-3-agentic-bitween-outperforms-pure-neural-baselines-in-both-rsr-discovery-and-verification-accuracy",
"title": "Claim 3: Agentic Bitween outperforms pure neural baselines in both RSR discovery and verification accuracy",
"file": "pages/claim-3-agentic-bitween-outperforms-pure-neural-baselines-in-both-rsr-discovery-and-verification-accuracy/page.md",
"children": []
},
{
"slug": "conclusion",
"title": "Conclusion",
"file": "pages/conclusion/page.md",
"children": []
}
]
},
"agent_view_tokens": 3853,
"revision": "1784713327685251102"
} |