LeanBandits
Bandit algorithms in Lean
of 5 versions of LeanBandits
1-5Sort by
Date
54bd788
v4.23.0-rc23.0 MB9d5e90c
v4.23.0-rc2v4.23.0-rc2e63d85a
v4.22.0-rc3v4.22.0-rc3c94cb7f
v4.21.0-rc2v4.21.0-rc23a774bc
v4.21.0-rc1v4.21.0-rc1