OAI/Probability/Perceptron/Cascade/
350 declarations, 0 contain sorry, 0 declared as axioms; 32 files
Files
- BulkRPCCoupling.lean 1 declarations
- CascadeConstant.lean 2 declarations
- CascadeHeat.lean 10 declarations
- CascadeIndependentTilt.lean 5 declarations
- CascadeParameters.lean 5 declarations
- CascadeTransport.lean 2 declarations
- CavityCappedRPC.lean 5 declarations
- CavityFiniteRPC.lean 13 declarations
- CavityRPCControl.lean 3 declarations
- DecoratedWeightedTotal.lean 31 declarations
- DepthWeights.lean 2 declarations
- EnrichedPoissonVariance.lean 13 declarations
- IndexedCascadeRegular.lean 22 declarations
- IndexedMarkedPoisson.lean 18 declarations
- IndexedPoisson.lean 8 declarations
- IndexedReplicaWeights.lean 4 declarations
- IndexedTiltedLeaves.lean 7 declarations
- IndexedTiltedWeights.lean 19 declarations
- IndexedVertices.lean 8 declarations
- PoissonCountMoments.lean 10 declarations
- PoissonDensityDerivative.lean 8 declarations
- PoissonLaplace.lean 36 declarations
- PoissonWeightedTotal.lean 14 declarations
- Poissonization.lean 4 declarations
- ReweightedMomentComparison.lean 1 declarations
- ReweightedMomentLimit.lean 3 declarations
- StableCascade.lean 28 declarations
- StablePoissonTotalLogMemLpTwo.lean 1 declarations
- TwoVisitWeights.lean 6 declarations
- WeightedCDF.lean 31 declarations
- WeightedTotalBiasedLaw.lean 25 declarations
- WeightedTrialLaw.lean 5 declarations