OAI/Probability/Perceptron/Cavity/FreshDiagonalNoise.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.freshNoiseRows line 15
2. lemma OAI.SphericalPerceptronFreeEnergy.freshNoiseRows_apply line 19
3. lemma OAI.SphericalPerceptronFreeEnergy.freshNoiseRows_gram line 32
4. theorem OAI.SphericalPerceptronFreeEnergy.freshReplicaMatrixKernel_diagonal_noise line 48
5. lemma OAI.SphericalPerceptronFreeEnergy.countableGaussianCovariance_finite_gram line 94
6. theorem OAI.SphericalPerceptronFreeEnergy.countableFresh_moment_diagonal_noise line 110
7. theorem OAI.SphericalPerceptronFreeEnergy.labelProfile_diagonal_one_moment line 131