2.1. Online.Bandit.Algorithms.ETC
The Explore-Then-Commit Algorithm
Module LeanMachineLearning.Online.Bandit.Algorithms.ETC contains 18 exposed declarations.
-
Bandits.ETC.nextArm -
Bandits.ETC.measurable_nextArm -
Bandits.etcAlgorithm -
Bandits.ETC.isAlgEnvSeqUntil_roundRobinAlgorithm -
Bandits.ETC.arm_zero -
Bandits.ETC.arm_ae_eq_etcNextArm -
Bandits.ETC.arm_of_lt -
Bandits.ETC.arm_mul -
Bandits.ETC.arm_add_one_of_ge -
Bandits.ETC.arm_of_ge -
Bandits.ETC.pullCount_mul -
Bandits.ETC.pullCount_add_one_of_ge -
Bandits.ETC.pullCount_of_ge -
Bandits.ETC.sumRewards_bestArm_le_of_arm_mul_eq -
Bandits.ETC.probReal_sumRewards_le_sumRewards_le -
Bandits.ETC.prob_arm_mul_eq_le -
Bandits.ETC.expectation_pullCount_le -
Bandits.ETC.regret_le