OAI/Probability/Perceptron/Cavity/CavityLabelMoment.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.cavityLabelBasis line 15
2. def OAI.SphericalPerceptronFreeEnergy.cavityLabelRow line 18
3. def OAI.SphericalPerceptronFreeEnergy.cavityLabelLength line 22
4. lemma OAI.SphericalPerceptronFreeEnergy.cavityLabelRow_measurable line 25
5. lemma OAI.SphericalPerceptronFreeEnergy.cavityLabelLength_measurable line 31
6. lemma OAI.SphericalPerceptronFreeEnergy.cavityLabel_covariance line 36
7. theorem OAI.SphericalPerceptronFreeEnergy.cavity_label_moment line 51
8. lemma OAI.SphericalPerceptronFreeEnergy.cavity_label_completed_covariance line 65
9. theorem OAI.SphericalPerceptronFreeEnergy.cavity_label_true_diagonal_moment line 81
10. lemma OAI.SphericalPerceptronFreeEnergy.cavityLabelBasis_inner line 100
11. lemma OAI.SphericalPerceptronFreeEnergy.cavity_label_field_state line 105