ai-sherpa's picture
claim 3 (Theorem 3, gradient variance W_T): fill inconclusive claim with real Algorithm-1 runs
0642ab5 verified