Spaces:

DineshAI
/

U1bxeLQLaK

Running

Ctrl+K

1 contributor

Address official 5 claims: Claim1 Thm3.3 (1-b)^-2 init amplification, Claim4 Thm3.5 inertia horizon (1-b)^-1 + high-prob, Claim5 linear/logistic/MLP experiments; render claim-4/claim-5 in manifest; add 3 verify scripts

9db6b44 verified 11 days ago

verify_c0_transient.py

6.61 kB
Address official 5 claims: Claim1 Thm3.3 (1-b)^-2 init amplification, Claim4 Thm3.5 inertia horizon (1-b)^-1 + high-prob, Claim5 linear/logistic/MLP experiments; render claim-4/claim-5 in manifest; add 3 verify scripts 11 days ago
verify_c3_inertia.py

6.94 kB
Address official 5 claims: Claim1 Thm3.3 (1-b)^-2 init amplification, Claim4 Thm3.5 inertia horizon (1-b)^-1 + high-prob, Claim5 linear/logistic/MLP experiments; render claim-4/claim-5 in manifest; add 3 verify scripts 11 days ago
verify_c4_models.py

6.61 kB
Address official 5 claims: Claim1 Thm3.3 (1-b)^-2 init amplification, Claim4 Thm3.5 inertia horizon (1-b)^-1 + high-prob, Claim5 linear/logistic/MLP experiments; render claim-4/claim-5 in manifest; add 3 verify scripts 11 days ago
verify_tracking.py

7.36 kB
Add Claim 5: experiments confirm increasing momentum/drift worsens Heavy-Ball tracking (SGD better; noise floor ~(1-beta)^-1) 12 days ago