Skip to content

feat: integrals and conditional expectations against a conditional distribution - #297

Queued
RemyDegenne wants to merge 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/hasconddistrib-integrals-condexp-essakine2026tight-reinforcementlearning
Queued

RemyDegenne wants to merge 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/hasconddistrib-integrals-condexp-essakine2026tight-reinforcementlearning

refactor: reuse HasLaw lemmas and share the compProd integrability step

5db0008
Select commit
Loading
Failed to load commit list.
Sign in for the full log view