OAI/Probability/IsingPerceptron/
2396 declarations, 0 contain sorry, 0 declared as axioms; 53 files
Files
- ActualQuenched.lean 44 declarations
- ArrayGeometry.lean 56 declarations
- ArraySynchronization.lean 90 declarations
- BoundedTiltAverage.lean 32 declarations
- CascadeFreshMoments.lean 42 declarations
- CascadePair.lean 51 declarations
- ChildLabel.lean 57 declarations
- ContactFaces.lean 47 declarations
- ConvexDerivativeFluctuation.lean 31 declarations
- ConvexFluctuation.lean 37 declarations
- CountableMonomialGG.lean 51 declarations
- DeviationRate.lean 61 declarations
- EnergyShift.lean 50 declarations
- EnrichedCGF.lean 35 declarations
- EnrichedFieldCap.lean 52 declarations
- EnrichedGGFinite.lean 18 declarations
- FieldChain.lean 34 declarations
- FiniteGaussianVariation.lean 51 declarations
- FullPerturbation.lean 52 declarations
- FullReplicaIBP.lean 51 declarations
- GaussianFamilyGenerator.lean 54 declarations
- GaussianGibbs.lean 45 declarations
- GaussianIntegration.lean 94 declarations
- GaussianMomentTest.lean 36 declarations
- GaussianVariance.lean 65 declarations
- JointGGClosure.lean 34 declarations
- JointShapes.lean 54 declarations
- LabeledSampling.lean 47 declarations
- LintegralGammaKernel.lean 42 declarations
- MapWithDensityEquiv.lean 44 declarations
- MarkedPartitionNumerator.lean 53 declarations
- MemLpOfAbsBound.lean 43 declarations
- MomentLogLimit.lean 25 declarations
- MonomialGgAtMinimum.lean 41 declarations
- NamespaceSplit.lean 48 declarations
- NextRowJoin.lean 32 declarations
- NodalGaussianLipschitz.lean 26 declarations
- NoiseGibbsRegular.lean 32 declarations
- NoiseTreeKeep.lean 45 declarations
- NormalizedRestrictionPi.lean 35 declarations
- OrderedQuantile.lean 48 declarations
- PartitionPowLe.lean 26 declarations
- PoissonCloud.lean 53 declarations
- ReplicaEnergyCovarianceBound.lean 61 declarations
- RetainedDisplacement.lean 39 declarations
- SamplingIndependent.lean 62 declarations
- TiltedLabelLaw.lean 49 declarations
- TimeIncrement.lean 36 declarations
- VarianceDerivative.lean 41 declarations
- VarianceOfConditionalCenterBound.lean 44 declarations
- VariationalDefs.lean 50 declarations
- VariationalFiniteness.lean 18 declarations
- WeightedPartitionNumeratorIncrement.lean 32 declarations