Spaces:

DineshAI
/

fiYjuwsbFE

Running

App Files Files Community

fiYjuwsbFE / repro /src

94.5 kB

Ctrl+K

Ctrl+K

1 contributor

History: 8 commits

DineshAI's picture

Upload repro/src/empirical.py with huggingface_hub

6af4e98 verified 6 days ago

audit_c3_theorem33_hard_instance.py

8.35 kB
Add exact Theorem 3.3 hard-instance audit 10 days ago
empirical.py

20.1 kB
Upload repro/src/empirical.py with huggingface_hub 6 days ago
symbolic_proof.py

21.3 kB
Upload repro/src/symbolic_proof.py with huggingface_hub 6 days ago
verify_c1_adagrad.py

5.89 kB
Correct Claim 1 boundary framing (p=1.2 empirically converges; 4/3 is theoretical) + add Claim 5 (p<=4/3 unresolved proof-gap limitation; AdaGrad-Norm resolves it) 12 days ago
verify_c2_adaptivity.py

3.55 kB
Rewrite Claim 2: AdaGrad adapts to both tail index p and noise level (converges across (p,sigma) grid; non-adaptive SGD diverges) 12 days ago
verify_c3_lowerbound.py

10.7 kB
Restore full repaired logbook (revert stale sync) + add Claim 3 lower-bound executed page (Thm 3.3) 12 days ago
verify_c3_theorem33_hard_instance.py

16.5 kB
Add exact Theorem 3.3 hard-instance audit 10 days ago
verify_c4_adagradnorm.py

4.54 kB
Add Claim 4: AdaGrad-Norm converges for full range p in (1,2] at rate (p-1)/(2p); converges at p=1.2 where coordinatewise AdaGrad fails 12 days ago
verify_c5_limitation.py

3.52 kB
Correct Claim 1 boundary framing (p=1.2 empirically converges; 4/3 is theoretical) + add Claim 5 (p<=4/3 unresolved proof-gap limitation; AdaGrad-Norm resolves it) 12 days ago