Skip to content

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

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

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

Commits

  1. Commits on Nov 15, 2026