Spaces:

DineshAI
/

ry5HitnXzc

Running

App Files Files Community

ry5HitnXzc / repro /src

72.8 kB

Ctrl+K

Ctrl+K

1 contributor

History: 4 commits

DineshAI's picture

Add exact Lemma 2.1 monotonicity audit

4c6c242 verified 10 days ago

audit_lemma_2_1_exact.py

2.38 kB
Add exact Lemma 2.1 monotonicity audit 10 days ago
audit_proof_chain.py

4.62 kB
Add expanded five-claim execution and proof audit 10 days ago
run_claim1_suite.py

18.3 kB
Add expanded five-claim execution and proof audit 10 days ago
run_claim2_suite.py

8.72 kB
Add expanded five-claim execution and proof audit 10 days ago
run_contracts.py

14.6 kB
Add expanded five-claim execution and proof audit 10 days ago
verify_contracts.py

6.43 kB
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 11 days ago
verify_contracts_v2.py

12.2 kB
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
verify_lemma_2_1_exact.py

5.51 kB
Add exact Lemma 2.1 monotonicity audit 10 days ago