Spaces:

DineshAI
/

xQLcklRDfM

Running

App Files Files Community

xQLcklRDfM / pages

156 kB

Ctrl+K

Ctrl+K

2 contributors

History: 3 commits

Dinesh Jinjala

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

7921e1e 6 days ago

claim-1-atc-upper-bound
Add symbolic theorem-proof verifiers for Claims 1-3 (VERIFIED via independently reconstructed symbolic derivations using SymPy) 6 days ago
claim-2-minimax-lower-bound
Add symbolic theorem-proof verifiers for Claims 1-3 (VERIFIED via independently reconstructed symbolic derivations using SymPy) 6 days ago
claim-3-endogenous-confounding
Add symbolic theorem-proof verifiers for Claims 1-3 (VERIFIED via independently reconstructed symbolic derivations using SymPy) 6 days ago
claim-4-full-synthetic-scaling
Update logbook: Repro - The Cost of Learning Under Multiple Change Points 11 days ago
claim-5-nab-benchmark
Update logbook: Repro - The Cost of Learning Under Multiple Change Points 11 days ago
claim-atc-regret
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 11 days ago
conclusion
Add symbolic theorem-proof verifiers for Claims 1-3 (VERIFIED via independently reconstructed symbolic derivations using SymPy) 6 days ago
methods
Update logbook: Repro - The Cost of Learning Under Multiple Change Points 11 days ago
negative-controls
Update logbook: Repro - The Cost of Learning Under Multiple Change Points 11 days ago
index.md

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