Spaces:

DineshAI
/

ry5HitnXzc

Running

App Files Files Community

ry5HitnXzc / pages

33.8 kB

Ctrl+K

Ctrl+K

1 contributor

History: 7 commits

DineshAI's picture

Add exact Lemma 2.1 monotonicity audit

4c6c242 verified 10 days ago

all-claims-expanded-audit
Add expanded five-claim execution and proof audit 10 days ago
claim-1
At-scale PAC reproduction of linear-contract sample complexity (Thm 1.1/Cor 1.2, Lemmas 2.1/2.2) — 5 claims 10 days ago
claim-2
At-scale PAC reproduction of linear-contract sample complexity (Thm 1.1/Cor 1.2, Lemmas 2.1/2.2) — 5 claims 10 days ago
claim-lemma-2-1-exact
Add exact Lemma 2.1 monotonicity audit 10 days ago
claim-lemma-2-1-monotone
At-scale PAC reproduction of linear-contract sample complexity (Thm 1.1/Cor 1.2, Lemmas 2.1/2.2) — 5 claims 10 days ago
claim-lemma-2-2-cover
At-scale PAC reproduction of linear-contract sample complexity (Thm 1.1/Cor 1.2, Lemmas 2.1/2.2) — 5 claims 10 days ago
claim-sample-complexity
At-scale PAC reproduction of linear-contract sample complexity (Thm 1.1/Cor 1.2, Lemmas 2.1/2.2) — 5 claims 10 days ago
conclusion
Update logbook: Repro - The Optimal Sample Complexity of Linear Contracts 11 days ago
executive-summary
Expanded EUM and uniform-convergence suites with executed cells (both claims, 4 models x 5 settings) 13 days ago
methods
Update logbook: Repro - The Optimal Sample Complexity of Linear Contracts 15 days ago
negative-controls
Update logbook: Repro - The Optimal Sample Complexity of Linear Contracts 15 days ago
overview
Update logbook: Repro - The Optimal Sample Complexity of Linear Contracts 15 days ago
repro-the-optimal-sample-complexity-of-linear-contracts
Expanded EUM and uniform-convergence suites with executed cells (both claims, 4 models x 5 settings) 13 days ago
index.md

266 Bytes
Update logbook: Repro - The Optimal Sample Complexity of Linear Contracts 11 days ago