Repository navigation

Add several global optimization algorithms - #87

Closed

gaetanserre wants to merge 54 commits into

LeanMachineLearning:mainfrom

gaetanserre:opti

Commits on Mar 9, 2026
- Add some global optimization algorithms
  gaetanserre
  committed
  138d0d1
- no more sorry
  gaetanserre
  committed
  8fb80b2
- golf
  gaetanserre
  committed
  622beb2
Commits on Apr 1, 2026
- `EvaluationEnv`
  gaetanserre
  committed
  a0a0489
Commits on Apr 2, 2026
- partial PRS convergence proof
  gaetanserre
  committed
  4f20295
- cleaning
  gaetanserre
  committed
  15b3488
- remove useless instances
  gaetanserre
  committed
  2ab18da
- `iIndep_actions`
  gaetanserre
  committed
  863db30
- refactor
  gaetanserre
  committed
  1e279eb
- ENNReal lemma
  gaetanserre
  committed
  6eccf51
- `hasLaw_of_hasCondDistrib_const`
  gaetanserre
  committed
  5a377ec
- golf and `tendsto_{max, min}`
  gaetanserre
  committed
  288ae49
Commits on Apr 3, 2026
- Tuple
  gaetanserre
  committed
  91ad3db
- some progress on `neg`
  gaetanserre
  committed
  588f87d
Commits on Apr 13, 2026
- remove `neg`
  gaetanserre
  committed
  7e36a1b
- Merge branch 'main' into opti
  gaetanserre
  committed
  ffb0558
- Add opti algos
  gaetanserre
  committed
  eb6a9a8
- golf
  gaetanserre
  committed
  da9fc2e
- docstring
  gaetanserre
  committed
  3260cd7
- golf
  gaetanserre
  committed
  427129b
- docstring
  gaetanserre
  committed
  5ce4833
- lake-manifest.json
  gaetanserre
  committed
  bfea597
Commits on Apr 14, 2026
- Move files
  gaetanserre
  committed
  02aa9b8
- Update LeanMachineLearning.lean
  gaetanserre
  committed
  953425d
- lint
  gaetanserre
  committed
  7eab76e
Commits on Apr 15, 2026
- arxiv links
  gaetanserre
  committed
  e29e25c
Commits on Apr 19, 2026
- move files
  RemyDegenne
  committed
  7f2e69d
Commits on Apr 20, 2026
- generalize
  gaetanserre
  committed
  e18dd6f
- golf
  RemyDegenne
  committed
  a2b3e13
- `Decision` interface
  gaetanserre
  committed
  e265e2e
- LeanMachineLearning.lean
  gaetanserre
  committed
  8ac49f2
- docstring
  gaetanserre
  committed
  b5866f6
- golf
  RemyDegenne
  committed
  0ff63df
- Merge branch 'opti' of github.com:gaetanserre/lean-bandits into opti
  RemyDegenne
  committed
  ef60a2e
- golf
  gaetanserre
  committed
  38a5e92
- `Measurable_argmax`
  gaetanserre
  committed
  91ce64d
- notation
  gaetanserre
  committed
  7fc66cd
- generalize
  RemyDegenne
  committed
  da439a4
- Merge branch 'opti' of github.com:gaetanserre/lean-bandits into opti
  RemyDegenne
  committed
  c094a8f
- golf
  RemyDegenne
  committed
  a401eb9
- generalize `measurable_argmax`
  gaetanserre
  committed
  55827ff
- `LeanMachineLearning.lean`
  gaetanserre
  committed
  90b3be2
Commits on Apr 22, 2026
- generalization
  gaetanserre
  committed
  64c6e87
Commits on Apr 24, 2026
- `EvalEnv` namespace
  gaetanserre
  committed
  8a1da6c
- `hascondDistrib_reward`
  gaetanserre
  committed
  b0f3338
- `forall_reward_ae_eq_eval_action`
  gaetanserre
  committed
  f514d67
- `reward_ae_eq_eval_action_comp`
  gaetanserre
  committed
  8c12e7a
- refactor
  gaetanserre
  committed
  9d55bdb
Commits on May 9, 2026
- Merge branch 'main' into opti
  RemyDegenne
  committed
  b9efef7
- fix
  RemyDegenne
  committed
  085cf30
Commits on May 29, 2026
- docstring
  gaetanserre
  committed
  511261f
- Remove unused variable
  gaetanserre
  committed
  0cc4580
- Typo
  gaetanserre
  committed
  8ce013a
- remove useless type annotation
  gaetanserre
  committed
  dd0d1f7

Commits

Commits on Mar 9, 2026

Commits on Apr 1, 2026

Commits on Apr 2, 2026

Commits on Apr 3, 2026

Commits on Apr 13, 2026

Commits on Apr 14, 2026

Commits on Apr 15, 2026

Commits on Apr 19, 2026

Commits on Apr 20, 2026

Commits on Apr 22, 2026

Commits on Apr 24, 2026

Commits on May 9, 2026

Commits on May 29, 2026