OAI/Probability/Perceptron/Cavity/LabelFreshKernel.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelLevel_val_injective line 13
2. def OAI.SphericalPerceptronFreeEnergy.labelProfileInterpolant line 22
3. lemma OAI.SphericalPerceptronFreeEnergy.labelProfileInterpolant_node line 27
4. def OAI.SphericalPerceptronFreeEnergy.labelFreshBlockKernel line 31
5. def OAI.SphericalPerceptronFreeEnergy.labelFreshArrayKernel line 47
6. lemma OAI.SphericalPerceptronFreeEnergy.labelFreshBlockKernel_source line 51
7. lemma OAI.SphericalPerceptronFreeEnergy.labelProfile_gibbs_moment line 63
8. def OAI.SphericalPerceptronFreeEnergy.sourceLabelFreshMoment line 78
9. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelFreshMoment_array line 87
10. theorem OAI.SphericalPerceptronFreeEnergy.sourceLabelFreshMoment_tendsto line 106