OAI/Probability/Perceptron/Cavity/CountableFreshMoment.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.truncatedFreshKernel line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.countableFreshKernel line 39
3. theorem OAI.SphericalPerceptronFreeEnergy.countableFresh_moment line 58
4. def OAI.SphericalPerceptronFreeEnergy.labelProfileRow line 86
5. def OAI.SphericalPerceptronFreeEnergy.labelProfileField line 92
6. lemma OAI.SphericalPerceptronFreeEnergy.labelProfile_covariance line 95
7. theorem OAI.SphericalPerceptronFreeEnergy.labelProfile_fresh_moment line 104
8. lemma OAI.SphericalPerceptronFreeEnergy.labelProfileField_marked_state line 115