Skip to content

feat: state-action absorbing MDPs and the net of their optimal policies [LWCGC24, Lemmas 3–4] - #382

Open
RemyDegenne wants to merge 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/sa-absorbing-net-worker1
Open

feat: state-action absorbing MDPs and the net of their optimal policies [LWCGC24, Lemmas 3–4]#382
RemyDegenne wants to merge 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/sa-absorbing-net-worker1

refactor: derive both absorbing modifications from one redirection

f4752ca
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 14, 2026 in 2s