feat: the breadth-first A-ary tree of the hard instances of episodic MDPs [DMKV21, Theorems 7, 9] - #294

feat: the breadth-first A-ary tree of the hard instances of episodic MDPs [DMKV21, Theorems 7, 9]#294

RemyDegenne wants to merge 1 commit into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/hard-tree-essakine2026tight-reinforcementlearningRemyDegenne/LMLExplore:roadmap/hard-tree-essakine2026tight-reinforcementlearningCopy head branch name to clipboard