OAI/Probability/Perceptron/Variational/LabelRestorationPair.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SphericalPerceptronFreeEnergy.labelGaussianStep line 14
2. abbrev OAI.SphericalPerceptronFreeEnergy.labelGaussianRoot line 16
3. def OAI.SphericalPerceptronFreeEnergy.labelEvaluation line 18
4. def OAI.SphericalPerceptronFreeEnergy.labelResidualObservable line 21
5. lemma OAI.SphericalPerceptronFreeEnergy.labelProfileField_leaf line 24
6. lemma OAI.SphericalPerceptronFreeEnergy.labelResidualObservable_measurable line 29
7. lemma OAI.SphericalPerceptronFreeEnergy.labelResidualObservable_bound line 33
8. lemma OAI.SphericalPerceptronFreeEnergy.labelRestorationPair_eq_terminal line 38
9. def OAI.SphericalPerceptronFreeEnergy.labelPairCoefficient line 100
10. def OAI.SphericalPerceptronFreeEnergy.sourceLabelPairRatio line 110
11. lemma OAI.SphericalPerceptronFreeEnergy.enrichedIndexedHamiltonian_joint_measurable line 121
12. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelPair_exp_ae line 129
13. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelPairRatio_eq_triple line 162
14. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelPairRatio_eq_triple_ae line 184
15. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelPairRatio_value line 200