OAI/Probability/Perceptron/Variational/LabelRestorationSingle.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.labelRestorationSingle_eq_terminal line 13
2. def OAI.SphericalPerceptronFreeEnergy.sourceLabelSingleRatio line 73
3. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelSingleRatio_eq_triple line 84
4. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelSingleRatio_eq_triple_ae line 106
5. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelSingleRatio_value line 122