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 1 commit 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 1 commit into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/sa-absorbing-net-worker1

feat: state-action absorbing MDPs and the net of their optimal polici…

bf9b4c7
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