Spaces:
Running
Running
Commit History
-
Add exact Lemma 2.1 monotonicity audit
Verified signature4c6c242 -
Add expanded five-claim execution and proof audit
Verified signature930d9b9 -
At-scale PAC reproduction of linear-contract sample complexity (Thm 1.1/Cor 1.2, Lemmas 2.1/2.2) — 5 claims
Verified signature50ba497
-
Reproduce linear-contract sample complexity: uniform conv O(1/sqrt s) slope -0.488, EUM eps-optimal, action-independent, reward monotone, O(1/nu^2) cover
Verified signature85cfe1d -
Update logbook: Repro - The Optimal Sample Complexity of Linear Contracts
Verified signature5f5cee4 -
Update logbook: Repro - The Optimal Sample Complexity of Linear Contracts
Verified signature3854816
-
Expanded EUM and uniform-convergence suites with executed cells (both claims, 4 models x 5 settings)
Verified signature4a75307
-
Update logbook: Repro - The Optimal Sample Complexity of Linear Contracts
Verified signature1f51195 -
initial commit
Verified signaturee38717f