Repository navigation

Stochastic gradient descent - #103

Draft

RemyDegenne wants to merge 55 commits into

mainfrom

sgd

Draft

Stochastic gradient descent#103
RemyDegenne wants to merge 55 commits into
mainfrom
sgd

Commits on Apr 26, 2026
- alg/env classes and sgd
  RemyDegenne
  committed
  9c99704
Commits on May 1, 2026
- Merge remote-tracking branch 'origin/main' into sgd
  RemyDegenne
  committed
  e20d4c2
- Merge remote-tracking branch 'origin/detAlg' into sgd
  RemyDegenne
  committed
  8b293ec
- progress
  RemyDegenne
  committed
  46b6fe4
Commits on May 2, 2026
- work
  RemyDegenne
  committed
  4fab1ef
- extract convexity lemmas
  RemyDegenne
  committed
  5afb754
- add integrable inner
  RemyDegenne
  committed
  5163b78
- add integrability hypotheses
  RemyDegenne
  committed
  85d33b7
- minor
  RemyDegenne
  committed
  1917c7e
- work
  RemyDegenne
  committed
  b6d8dda
- progress
  RemyDegenne
  committed
  f6d5385
- progress
  RemyDegenne
  committed
  2033636
- sorry-free
  RemyDegenne
  committed
  c84984e
- minor
  RemyDegenne
  committed
  123af7f
- reorganize
  RemyDegenne
  committed
  bb01cc0
Commits on May 3, 2026
- reorganize
  RemyDegenne
  committed
  150ca45
Commits on May 6, 2026
- Merge branch 'main' of github.com:LeanMachineLearning/LML into sgd
  RemyDegenne
  committed
  48693d1
Commits on May 9, 2026
- Merge remote-tracking branch 'origin/main' into sgd
  RemyDegenne
  committed
  7678339
- fix
  RemyDegenne
  committed
  57d3b05
Commits on May 11, 2026
- move lemmas
  RemyDegenne
  committed
  21f1ee5
- move a lemma
  RemyDegenne
  committed
  b518cef
- move
  RemyDegenne
  committed
  031d32d
- move
  RemyDegenne
  committed
  84cfe5d
- add sqrt bound
  RemyDegenne
  committed
  64eb800
- minor
  RemyDegenne
  committed
  282b1f0
Commits on May 15, 2026
- Merge branch 'main' into sgd
  RemyDegenne
  committed
  1a1a21a
Commits on Jun 9, 2026
- Merge branch 'main' into sgd
  RemyDegenne
  committed
  697b46e
- fix
  RemyDegenne
  committed
  bc2161a
- Merge remote-tracking branch 'origin/main' into sgd
  RemyDegenne
  committed
  18e15e6
- fix
  RemyDegenne
  committed
  9cb9174
Commits on Jun 18, 2026
- Merge remote-tracking branch 'origin/main' into sgd
  RemyDegenne
  committed
  e7e0861
- fix
  RemyDegenne
  committed
  b5f9031
- split file
  RemyDegenne
  committed
  4650f7f
- split file
  RemyDegenne
  committed
  7dca3b5
- move files
  RemyDegenne
  committed
  2b7960d
- minor
  RemyDegenne
  committed
  dc2a240
- Merge remote-tracking branch 'origin/main' into sgd
  RemyDegenne
  committed
  e108cc9
Commits on Jun 19, 2026
- docstring
  RemyDegenne
  committed
  899aa17
Commits on Jun 27, 2026
- Merge branch 'main' into sgd
  RemyDegenne
  committed
  77079c2
- fix
  RemyDegenne
  committed
  31d551d
- reorganize
  RemyDegenne
  committed
  32be149
- mk_all
  RemyDegenne
  committed
  0e7fb86
Commits on Jun 28, 2026
- work towards projected gradient descent
  RemyDegenne
  committed
  ced056c
- projected GD def
  RemyDegenne
  committed
  29319fd
- docstring
  RemyDegenne
  committed
  a5613a3
Commits on Jul 1, 2026
- wip
  RemyDegenne
  committed
  f7506eb
Commits on Aug 19, 2026
- Merge branch 'main' into sgd
  RemyDegenne
  committed
  c125a0c
- fix
  RemyDegenne
  committed
  781859e
- move file
  RemyDegenne
  committed
  b8a9915
- move
  RemyDegenne
  committed
  b9cd07f
- move
  RemyDegenne
  committed
  bad994e
- minor
  RemyDegenne
  committed
  4f0e2a8
Commits on Aug 23, 2026
- fix imports
  RemyDegenne
  committed
  2e40ccb
Commits on Aug 24, 2026
- Merge branch 'main' into sgd
  RemyDegenne
  committed
  39d9924
- minor
  RemyDegenne
  committed
  589f2ea

Commits

Commits on Apr 26, 2026

Commits on May 1, 2026

Commits on May 2, 2026

Commits on May 3, 2026

Commits on May 6, 2026

Commits on May 9, 2026

Commits on May 11, 2026

Commits on May 15, 2026

Commits on Jun 9, 2026

Commits on Jun 18, 2026

Commits on Jun 19, 2026

Commits on Jun 27, 2026

Commits on Jun 28, 2026

Commits on Jul 1, 2026

Commits on Aug 19, 2026

Commits on Aug 23, 2026

Commits on Aug 24, 2026