Skip to content

feat: the randomized Markov inequality and randomized e-to-p calibration - #412

Merged
lmlexplore-automation[bot] merged 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/randomized-markov-worker4
Nov 15, 2026
Merged

lmlexplore-automation[bot] merged 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/randomized-markov-worker4

fix: weaken freezing lemma to AEMeasurable, name ofReal in uniform id…

2898b3d
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 15, 2026 in 3s