OAI/Probability/Perceptron/Brownian/CavityGaussianFields.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.gaussian_inner_preserving line 12
2. lemma OAI.SphericalPerceptronFreeEnergy.gaussian_cavity_projection line 22
3. def OAI.SphericalPerceptronFreeEnergy.cavityQuadraticField line 29
4. lemma OAI.SphericalPerceptronFreeEnergy.cavityQuadraticField_memLp line 32
5. lemma OAI.SphericalPerceptronFreeEnergy.cavityQuadraticField_second_moment line 39
6. lemma OAI.SphericalPerceptronFreeEnergy.cavityQuadraticField_second_bound line 52
7. def OAI.SphericalPerceptronFreeEnergy.cavityLinearField line 70
8. lemma OAI.SphericalPerceptronFreeEnergy.cavityLinearField_exp_moment line 73