File size: 2,518 Bytes
1f51195
 
3854816
4c6c242
1f51195
 
 
 
 
 
 
 
 
 
4c6c242
1f51195
 
3854816
1f51195
 
 
3854816
 
 
1f51195
 
 
 
 
 
 
 
 
 
 
 
 
 
50ba497
 
4c6c242
50ba497
 
 
 
 
4c6c242
50ba497
 
 
1f51195
3854816
 
 
1f51195
4a75307
 
3854816
 
 
 
 
 
 
 
 
4a75307
85cfe1d
 
 
4c6c242
85cfe1d
 
930d9b9
 
 
4c6c242
930d9b9
 
4c6c242
 
 
 
 
 
1f51195
 
 
930d9b9
4c6c242
930d9b9
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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
{
  "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
}