Spaces:

DineshAI
/

xQLcklRDfM

Running

App Files Files Community

xQLcklRDfM / repro /src

26.5 kB

Ctrl+K

Ctrl+K

2 contributors

History: 2 commits

Dinesh Jinjala

Add symbolic theorem-proof verifiers for Claims 1-3 (VERIFIED via independently reconstructed symbolic derivations using SymPy)

7921e1e 6 days ago

symbolic_theorem_proofs.py

19.9 kB
Add symbolic theorem-proof verifiers for Claims 1-3 (VERIFIED via independently reconstructed symbolic derivations using SymPy) 6 days ago
verify_changepoint.py

6.55 kB
Reproduce ATC change-point regret: log-linear regret R^2=0.985 (O(sigma^2(S+1)log T)), stable ratio 6.4 to minimax LB, bounded endogenous confounding 12 days ago