OAI/Probability/Perceptron/Cavity/
1115 declarations, 0 contain sorry, 0 declared as axioms; 109 files
Files
- AmbientBulkFeature.lean 9 declarations
- BulkAnnealedTangent.lean 13 declarations
- BulkCavityData.lean 2 declarations
- BulkCavityRecursion.lean 6 declarations
- BulkCompactGG.lean 18 declarations
- BulkConcentration.lean 21 declarations
- BulkCoupling.lean 6 declarations
- BulkDeviation.lean 8 declarations
- BulkDiagonalLimit.lean 2 declarations
- BulkEmpiricalLimit.lean 8 declarations
- BulkEnergyDeviation.lean 9 declarations
- BulkFreshRestore.lean 18 declarations
- BulkGoodParameters.lean 18 declarations
- BulkLimitGeometry.lean 13 declarations
- BulkMarkedArray.lean 19 declarations
- BulkMarkedMoments.lean 4 declarations
- BulkMarkedPairLimit.lean 15 declarations
- BulkMarkedSelfConsistency.lean 2 declarations
- BulkMarkedTangentLimit.lean 8 declarations
- BulkModel.lean 30 declarations
- BulkPairLaw.lean 14 declarations
- BulkParameterDeviation.lean 8 declarations
- BulkRadialIBP.lean 12 declarations
- BulkRadialIdentity.lean 17 declarations
- BulkRadialLimit.lean 17 declarations
- BulkReplicaDominated.lean 25 declarations
- BulkReplicaStein.lean 18 declarations
- BulkRestorationLimit.lean 16 declarations
- BulkRestoredObservables.lean 14 declarations
- BulkSingleEmpiricalLimit.lean 13 declarations
- BulkSingleLimit.lean 12 declarations
- BulkStein.lean 12 declarations
- BulkTangentError.lean 13 declarations
- BulkThermal.lean 11 declarations
- BulkTimeLaw.lean 6 declarations
- CavityAnnealedUncap.lean 6 declarations
- CavityApproxStationary.lean 3 declarations
- CavityBlockProduct.lean 20 declarations
- CavityBoundedContinuous.lean 1 declarations
- CavityBulkCoefficients.lean 14 declarations
- CavityBulkLog.lean 14 declarations
- CavityBulkUncappedLog.lean 13 declarations
- CavityCompensator.lean 14 declarations
- CavityConditionalIncrement.lean 4 declarations
- CavityCountableIsotropic.lean 8 declarations
- CavityCounts.lean 13 declarations
- CavityCovarianceComparison.lean 9 declarations
- CavityDiagonalKernel.lean 10 declarations
- CavityDisintegration.lean 14 declarations
- CavityExpectedCompensator.lean 9 declarations
- CavityExpectedQDrop.lean 7 declarations
- CavityFiniteEvaluation.lean 8 declarations
- CavityFiniteIncrement.lean 7 declarations
- CavityFreshReplacement.lean 12 declarations
- CavityFullEvaluation.lean 2 declarations
- CavityFullLog.lean 3 declarations
- CavityGaussianQuadratic.lean 8 declarations
- CavityGaussianReplica.lean 11 declarations
- CavityGaussianTransport.lean 12 declarations
- CavityGeometry.lean 31 declarations
- CavityGoodFreshLower.lean 12 declarations
- CavityIncrementLaw.lean 23 declarations
- CavityIndexedLog.lean 1 declarations
- CavityLabelAnnealed.lean 7 declarations
- CavityLabelArray.lean 9 declarations
- CavityLabelLimit.lean 4 declarations
- CavityLabelMoment.lean 11 declarations
- CavityLabelPartition.lean 12 declarations
- CavityMeanCap.lean 6 declarations
- CavityNormalizedIncrement.lean 8 declarations
- CavityOldExpectation.lean 9 declarations
- CavityPerturbationCovariance.lean 12 declarations
- CavityProductLaw.lean 13 declarations
- CavityQuadraticDrop.lean 11 declarations
- CavityResidualFormula.lean 4 declarations
- CavityResidualUncap.lean 12 declarations
- CavityRoundedLower.lean 6 declarations
- CavityShellExpansion.lean 11 declarations
- CavityShellLimit.lean 19 declarations
- CavityShellPerturbation.lean 20 declarations
- CavityShellPolar.lean 16 declarations
- CavityShellRestriction.lean 7 declarations
- CavityShellSubexp.lean 11 declarations
- CavitySmoothLimit.lean 2 declarations
- CavitySphericalGrid.lean 4 declarations
- CavitySphericalMoments.lean 8 declarations
- CavityTaylorFinite.lean 8 declarations
- CavityTelescoping.lean 7 declarations
- CavityTrueShellLower.lean 7 declarations
- CavityTrueShellQ.lean 7 declarations
- CavityUncappedLimit.lean 3 declarations
- CavityUniformRemainder.lean 12 declarations
- ContinuousCavityProfile.lean 8 declarations
- CountableFreshMoment.lean 8 declarations
- FreshDensity.lean 3 declarations
- FreshDiagonalNoise.lean 7 declarations
- FreshGGLogUniqueness.lean 3 declarations
- FreshGGUniqueness.lean 8 declarations
- FreshGeometry.lean 3 declarations
- FreshLogRatio.lean 8 declarations
- FreshMarkedKernel.lean 9 declarations
- FreshMomentLimit.lean 7 declarations
- FreshReference.lean 5 declarations
- FreshReplicaKernel.lean 11 declarations
- FreshThermalLaw.lean 15 declarations
- IndexedFreshTilt.lean 2 declarations
- LabelFreshKernel.lean 10 declarations
- LabelFreshLog.lean 10 declarations
- LeafFreshLog.lean 6 declarations