LeanBandits | Reservoir

METADATA

Apache 2.0
a day ago
5 stars

LEAN

v4.27.0-rc1
v4.26.0
v4.25.0-rc2
v4.23.0-rc2
v4.22.0
v4.22.0-rc4
v4.22.0-rc3
v4.21.0
8 more

HOMEPAGE

remydegenne.github.io/lean-bandits/

REPOSITORY

RemyDegenne/lean-bandits

Bandit algorithms in Lean

Under construction.