3.16. SequentialLearning.FeedbackMartingale
Martingale decomposition of the sum of rewards
Module LeanMachineLearning.SequentialLearning.FeedbackMartingale contains 23 exposed declarations.
-
Learning.noiseSum -
Learning.meanSum -
Learning.noiseSum_add_meanSum' -
Learning.noiseSum_add_meanSum -
Learning.noiseSum_zero -
Learning.meanSum_zero -
Learning.noiseSum_succ -
Learning.noiseSum_succ_sub -
Learning.meanSum_succ -
Learning.meanSum_succ_sub -
Learning.IsAlgEnvSeq.integrable_noiseSum_increment -
Learning.IsAlgEnvSeq.integrable_meanSum_increment -
Learning.IsAlgEnvSeq.integrable_noiseSum -
Learning.IsAlgEnvSeq.integrable_meanSum -
Learning.IsAlgEnvSeq.memLp_noiseSum_increment -
Learning.IsAlgEnvSeq.memLp_meanSum_increment -
Learning.IsAlgEnvSeq.memLp_noiseSum -
Learning.IsAlgEnvSeq.memLp_meanSum -
Learning.IsAlgEnvSeq.adapted_noiseSum -
Learning.IsAlgEnvSeq.stronglyAdapted_noiseSum -
Learning.IsAlgEnvSeq.isStronglyPredictable_meanSum -
Learning.IsAlgEnvSeq.condExp_noiseSum_increment -
Learning.IsAlgEnvSeq.martingale_noiseSum