Skip to content

feat: tie-breaking of optimal action values by random rewards [LWCGC24, Lemma 6] - #377

Merged
lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/lwcgc24-tie-breaking-worker1
Nov 14, 2026
Merged

lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/lwcgc24-tie-breaking-worker1

docs: restrict the uniqueness claim of the separation lemma to 0 ≤ ω

37b1c6e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view