Skip to content

feat: test martingales for a convex i.i.d. null have no power against its linear span - #431

Open
RemyDegenne wants to merge 5 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/iid-test-martingales
Open

feat: test martingales for a convex i.i.d. null have no power against its linear span#431
RemyDegenne wants to merge 5 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/iid-test-martingales

Merge remote-tracking branch 'origin/main' into evr/iid-test-martingales

51a641b
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