3.1. SequentialLearning.SumRewards
Sums of rewards
Module LeanMachineLearning.SequentialLearning.SumRewards contains 28 exposed declarations.
-
Learning.sumRewards -
Learning.sumRewards' -
Learning.empMean -
Learning.empMean' -
Learning.sumRewards_zero -
Learning.sumRewards_add_one -
Learning.sumRewards_eq_of_pullCount_eq -
Learning.sumRewards_eq_pullCount_mul_empMean -
Learning.sum_rewardByCount_eq_sumRewards -
Learning.sumRewards_add_one_eq_sumRewards' -
Learning.sumRewards_eq_sumRewards' -
Learning.empMean_add_one_eq_empMean' -
Learning.empMean_eq_empMean' -
Learning.sumRewards_sub_pullCount_smul_eq_sum -
Learning.measurable_sumRewards -
Learning.measurable_uncurry_sumRewards_comp -
Learning.measurable_empMean -
Learning.measurable_uncurry_empMean_comp -
Learning.measurable_sumRewards' -
Learning.measurable_uncurry_sumRewards' -
Learning.measurable_empMean' -
Learning.measurable_uncurry_empMean' -
Learning.IsAlgEnvSeq.isStronglyPredictable_sumRewards -
Learning.IsAlgEnvSeq.stronglyAdapted_sumRewards_add_one -
Learning.IsAlgEnvSeq.adapted_sumRewards_add_one -
Learning.IsAlgEnvSeq.isStronglyPredictable_empMean -
Learning.IsAlgEnvSeq.stronglyAdapted_empMean_add_one -
Learning.IsAlgEnvSeq.adapted_empMean_add_one