feat: the FTRL equality on arbitrary types, be-the-leader and the regret of follow-the-leader - #284

feat: the FTRL equality on arbitrary types, be-the-leader and the regret of follow-the-leader#284

lmlexplore-automation[bot] merged 3 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/regret-eq-ftrl-worker1RemyDegenne/LMLExplore:roadmap/regret-eq-ftrl-worker1Copy head branch name to clipboard