ry5HitnXzc / logbook.json
DineshAI's picture
Add exact Lemma 2.1 monotonicity audit
4c6c242 verified
Raw
History Blame Contribute Delete
2.52 kB
{
"schema_version": 1,
"title": "Repro - The Optimal Sample Complexity of Linear Contracts",
"emoji": "🎯",
"space_id": "DineshAI/ry5HitnXzc",
"paper": {
"openreview_id": "ry5HitnXzc",
"arxiv_id": "2601.01496",
"title": "The Optimal Sample Complexity of Linear Contracts"
},
"tags": [
"icml2026-repro",
"paper-ry5HitnXzc"
],
"updated_at": "2026-07-22T15:28:00+00:00",
"root": {
"slug": "index",
"title": "Repro - The Optimal Sample Complexity of Linear Contracts",
"file": "pages/index.md",
"children": [
{
"slug": "overview",
"title": "Overview",
"file": "pages/overview/page.md",
"children": []
},
{
"slug": "claim-1",
"title": "Claim 1",
"file": "pages/claim-1/page.md",
"children": []
},
{
"slug": "claim-2",
"title": "Claim 2",
"file": "pages/claim-2/page.md",
"children": []
},
{
"slug": "claim-lemma-2-1-monotone",
"title": "Claim 4 — Lemma 2.1 (reward monotone in α)",
"file": "pages/claim-lemma-2-1-monotone/page.md",
"children": []
},
{
"slug": "claim-lemma-2-2-cover",
"title": "Claim 5 — Lemma 2.2 (L2 cover O(1/ν²))",
"file": "pages/claim-lemma-2-2-cover/page.md",
"children": []
},
{
"slug": "methods",
"title": "Methods",
"file": "pages/methods/page.md",
"children": []
},
{
"slug": "negative-controls",
"title": "Negative controls",
"file": "pages/negative-controls/page.md",
"children": []
},
{
"slug": "conclusion",
"title": "Conclusion",
"file": "pages/conclusion/page.md",
"children": []
},
{
"slug": "claim-sample-complexity",
"title": "Claims — sample complexity",
"file": "pages/claim-sample-complexity/page.md",
"children": []
},
{
"slug": "all-claims-expanded-audit",
"title": "All five claims — expanded executions and proof-chain audit",
"file": "pages/all-claims-expanded-audit/page.md",
"children": []
},
{
"slug": "claim-lemma-2-1-exact",
"title": "Claim 4 — exact universal Lemma 2.1 audit",
"file": "pages/claim-lemma-2-1-exact/page.md",
"children": []
}
]
},
"agent_view_tokens": 5310,
"revision": 1784733576000000001
}