Documentation
LeanBandits
Search
return to top
source
Imports
Init
LeanBandits.Bandit.Bandit
LeanBandits.Bandit.Regret
LeanBandits.Bandit.RewardByCountMeasure
LeanBandits.Bandit.SumRewards
LeanBandits.BanditAlgorithms.AuxSums
LeanBandits.BanditAlgorithms.ETC
LeanBandits.BanditAlgorithms.UCB
LeanBandits.ForMathlib.CondDistrib
LeanBandits.ForMathlib.CondIndepFun
LeanBandits.ForMathlib.HasCondDistrib
LeanBandits.ForMathlib.IndepFun
LeanBandits.ForMathlib.IndepInfinitePi
LeanBandits.ForMathlib.KernelRepresentation
LeanBandits.ForMathlib.KernelSub
LeanBandits.ForMathlib.Measurable
LeanBandits.ForMathlib.MeasurableArgMax
LeanBandits.ForMathlib.StandardBorel
LeanBandits.ForMathlib.SubGaussian
LeanBandits.ForMathlib.Traj
LeanBandits.SequentialLearning.Algorithm
LeanBandits.SequentialLearning.Deterministic
LeanBandits.SequentialLearning.FiniteActions
LeanBandits.SequentialLearning.IonescuTulceaSpace
LeanBandits.SequentialLearning.StationaryEnv
Imported by