Skip to content

feat: admissible e-processes, and the admissibility of the sub-Gaussian exponential e-process for nonatomic i.i.d. laws - #434

Open
RemyDegenne wants to merge 6 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/subgaussian-admissible-eprocess
Open

feat: admissible e-processes, and the admissibility of the sub-Gaussian exponential e-process for nonatomic i.i.d. laws#434
RemyDegenne wants to merge 6 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/subgaussian-admissible-eprocess

refactor: replace the pasted simp list in `exists_coeffs_four` with `…

93dfe11
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 2s