2.8. Online.Bandit.Algorithms.UCB🔗

UCB algorithm

Module LeanMachineLearning.Online.Bandit.Algorithms.UCB contains 32 exposed declarations.

• Bandits.ucbWidth'Definition · 1 deps
• Bandits.UCB.nextArmDefinition · 8 deps
• Bandits.UCB.measurable_nextArmLemma · 9 deps
• Bandits.ucbAlgorithmDefinition · 11 deps
• Bandits.UCB.isAlgEnvSeqUntil_roundRobinAlgorithmLemma · 19 deps
• Bandits.UCB.ucbWidthDefinition · 1 deps
• Bandits.UCB.measurable_ucbWidthLemma · 2 deps
• Bandits.UCB.ucbWidth_eq_ucbWidth'Lemma · 5 deps
• Bandits.UCB.arm_zeroLemma · 17 deps
• Bandits.UCB.arm_ae_eq_ucbNextArmLemma · 17 deps
• Bandits.UCB.arm_ae_all_eqLemma · 17 deps
• Bandits.UCB.ucbIndex_le_ucbIndex_armLemma · 21 deps
• Bandits.UCB.forall_arm_eq_mod_of_ltLemma · 17 deps
• Bandits.UCB.forall_ucbIndex_le_ucbIndex_armLemma · 21 deps
• Bandits.UCB.forall_arm_propLemma · 21 deps
• Bandits.UCB.time_gt_of_pullCount_gt_oneLemma · 18 deps
• Bandits.UCB.pullCount_pos_of_pullCount_gt_oneLemma · 18 deps
• Bandits.UCB.gap_arm_le_two_mul_ucbWidthLemma · 6 deps
• Bandits.UCB.pullCount_arm_leLemma · 6 deps
• Bandits.UCB.prob_ucbIndex_leLemma · 10 deps
• Bandits.UCB.prob_ucbIndex_geLemma · 10 deps
• Bandits.UCB.probReal_ucbIndex_leLemma · 10 deps
• Bandits.UCB.probReal_ucbIndex_geLemma · 10 deps
• Bandits.UCB.pullCount_le_add_threeLemma · 5 deps
• Bandits.UCB.pullCount_le_add_three_aeLemma · 22 deps
• Bandits.UCB.some_sum_eq_zeroLemma · 23 deps
• Bandits.UCB.pullCount_ae_le_add_twoLemma · 23 deps
• Bandits.UCB.constSumDefinition · 0 deps
• Bandits.UCB.constSum_lt_topLemma · 1 deps
• Bandits.UCB.expectation_pullCount_le'Lemma · 20 deps
• Bandits.UCB.expectation_pullCount_leLemma · 20 deps
• Bandits.UCB.regret_leTheorem · 20 deps