LeanBandits
Bandit algorithms in Lean
of 5 versions of LeanBandits
1-5Sort by
Date
4e1bac4
v4.23.0-rc21.1 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