Repository navigation

feat: the policy-mixture lemma for occupancy measures [AJKS, Lemma 14.1] - #154

Merged

lmlexplore-automation[bot] merged 4 commits into

mainfrom

roadmap/policy-mixture-lemma-worker1

Nov 5, 2026

Merged

feat: the policy-mixture lemma for occupancy measures [AJKS, Lemma 14.1]#154
lmlexplore-automation[bot] merged 4 commits into
mainfrom
roadmap/policy-mixture-lemma-worker1

LMLExplore-automation / merge eligibility succeeded Nov 5, 2026 in 0s

Eligible for automatic merge

all rubrics green on f37bdd1; LMLExplore/+root only

View more details on LMLExplore-automation