OAI/Probability/Perceptron/Variational/IndexedGaussianCovariance.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.indexedGaussianRow_mask line 16
2. lemma OAI.SphericalPerceptronFreeEnergy.indexedGaussianRowKey_eq line 25
3. lemma OAI.SphericalPerceptronFreeEnergy.indexedGaussianRow_cross_value line 37
4. lemma OAI.SphericalPerceptronFreeEnergy.indexedGaussianRow_covariance line 54
5. lemma OAI.SphericalPerceptronFreeEnergy.finite_profile_prefix line 78
6. lemma OAI.SphericalPerceptronFreeEnergy.profileGaussian_coefficient_prefix line 92
7. lemma OAI.SphericalPerceptronFreeEnergy.profileGaussianRow_covariance line 103
8. lemma OAI.SphericalPerceptronFreeEnergy.enrichedFeature_profile_cross line 115
9. lemma OAI.SphericalPerceptronFreeEnergy.sourceGaussianRow_covariance line 145
10. def OAI.SphericalPerceptronFreeEnergy.sourceGaussianTestFeature line 169
11. def OAI.SphericalPerceptronFreeEnergy.sourceGaussianTestRow line 172
12. lemma OAI.SphericalPerceptronFreeEnergy.sourceGaussianRow_test_covariance line 178