OAI/Probability/Perceptron/Cavity/CavityDiagonalKernel.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.cavityDiagonalAverage line 15
2. def OAI.SphericalPerceptronFreeEnergy.cavityNoiseRows line 37
3. lemma OAI.SphericalPerceptronFreeEnergy.cavityNoiseRows_gram line 41
4. lemma OAI.SphericalPerceptronFreeEnergy.cavityNoiseRows_apply line 55
5. theorem OAI.SphericalPerceptronFreeEnergy.cavityMatrixKernel_diagonal_noise line 66
6. theorem OAI.SphericalPerceptronFreeEnergy.cavity_countable_kernel_diagonal_noise line 94
7. def OAI.SphericalPerceptronFreeEnergy.cavityReplicaSplit line 120
8. lemma OAI.SphericalPerceptronFreeEnergy.cavityReplicaSplit_preserving line 124
9. lemma OAI.SphericalPerceptronFreeEnergy.cavityDiagonalAverage_replica line 150
10. theorem OAI.SphericalPerceptronFreeEnergy.cavity_countable_residual_moment line 168