feat: likelihood ratios of sequential predictors and time-uniform KL concentration by the Laplace mixture [JKMDLV20, Proposition 1] - #296

feat: likelihood ratios of sequential predictors and time-uniform KL concentration by the Laplace mixture [JKMDLV20, Proposition 1]#296

RemyDegenne wants to merge 7 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/laplace-mixture-essakine2026tight-reinforcementlearningRemyDegenne/LMLExplore:roadmap/laplace-mixture-essakine2026tight-reinforcementlearningCopy head branch name to clipboard