Skip to content

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

Open
RemyDegenne wants to merge 1 commit into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/hard-tree-essakine2026tight-reinforcementlearning
Open

RemyDegenne wants to merge 1 commit into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/hard-tree-essakine2026tight-reinforcementlearning

feat: the breadth-first A-ary tree of the hard instances of episodic …

4fdc115
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
app-credentials
succeeded Nov 12, 2026 in 2s