Repository navigation

feat: p-variables, exact e- and p-variables, and Markov's inequality for e-variables - #384

Merged

lmlexplore-automation[bot] merged 5 commits into

LeanMachineLearning:mainfrom

RemyDegenne:roadmap/ispvar-worker1

Nov 14, 2026

Merged

feat: p-variables, exact e- and p-variables, and Markov's inequality for e-variables#384
lmlexplore-automation[bot] merged 5 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/ispvar-worker1

Commits on Nov 14, 2026
- feat: p-variables, exact e- and p-variables, and Markov's inequality for e-variables
  
  RemyDegenne
  and
  web-flow
  committed
  2a3137d
- refactor: address review of e- and p-variables
  
  RemyDegenne
  and
  web-flow
  committed
  18fa9c4
- doc: state the probability-measure hypothesis of the e-to-p calibration
  
  RemyDegenne
  and
  web-flow
  committed
  4a062fe
- doc: state IsEVar via the extended integral in the e-variable module docstring
  
  RemyDegenne
  and
  web-flow
  committed
  1fb2af5
- refactor: state the inverse-level set equality in the e-to-p calibration
  
  RemyDegenne
  and
  web-flow
  committed
  54c7ed4