OAI/Probability/PosteriorReplicas/Regression/
212 declarations, 0 contain sorry, 0 declared as axioms; 38 files
Files
- AePiLast.lean 1 declarations
- AffineTubes.lean 6 declarations
- Conclusions.lean 1 import, no declarations
- EuclideanNets.lean 1 declarations
- FiniteNets.lean 1 declarations
- FrostmanGeometry.lean 3 declarations
- Fubini.lean 4 declarations
- GaussianDomination.lean 7 declarations
- GaussianKernel.lean 2 declarations
- GaussianNoise.lean 3 declarations
- GramDistances.lean 10 declarations
- GramFactorization.lean 6 declarations
- HolderSet.lean 1 declarations
- InverseMoments.lean 3 declarations
- LabelDependence.lean 4 declarations
- LearnerBasics.lean 10 declarations
- LimitSet.lean 1 declarations
- LowerFubini.lean 1 declarations
- MemoryBounds.lean 3 declarations
- MemoryPrecision.lean 3 declarations
- ObservationContinuity.lean 2 declarations
- OuterBound.lean 2 declarations
- PiLast.lean 1 declarations
- ProductDensity.lean 1 declarations
- ProjectionBlocks.lean 21 declarations
- ProjectionCoupling.lean 10 declarations
- ReplicaKernel.lean 3 declarations
- ReplicaMoments.lean 6 declarations
- ReplicaNondegenerate.lean 6 declarations
- SmoothingMoments.lean 4 declarations
- SphereBounds.lean 9 declarations
- SphereGeometry.lean 20 declarations
- StreamCaps.lean 7 declarations
- StreamEstimates.lean 2 declarations
- StreamIntegrals.lean 17 declarations
- StreamSlices.lean 4 declarations
- StreamTransfer.lean 4 declarations
- SupportVolume.lean 23 declarations