2.9. Online.Bandit.RewardByCountMeasure
Laws of stepsUntil and rewardByCount
Module LeanMachineLearning.Online.Bandit.RewardByCountMeasure contains 14 exposed declarations.
-
Bandits.hasLaw_Z -
Bandits.«term𝓛[_|_;_]» -
Bandits.«term𝓛[_|_In_;_]» -
Bandits.«term𝓛[_|_←_;_]» -
Bandits.condDistrib_reward'' -
Bandits.reward_cond_action -
Bandits.condIndepFun_reward_stepsUntil_action' -
Bandits.condIndepFun_reward_stepsUntil_action -
Bandits.reward_cond_stepsUntil -
Bandits.condDistrib_rewardByCount_stepsUntil -
Bandits.hasLaw_rewardByCount -
Bandits.identDistrib_rewardByCount -
Bandits.identDistrib_rewardByCount_id -
Bandits.identDistrib_rewardByCount_eval