OAI/Probability/Perceptron/Variational/DecoratedTiltTotal.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.decoratedWeightedTotal_measurable line 14
2. def OAI.SphericalPerceptronFreeEnergy.decoratedBiasedLaw line 23
3. lemma OAI.SphericalPerceptronFreeEnergy.decoratedWeightedTotal_pos line 29
4. lemma OAI.SphericalPerceptronFreeEnergy.decoratedLogTotalMoment_integrable line 40
5. lemma OAI.SphericalPerceptronFreeEnergy.decoratedLogTotalMoment_eq line 53
6. lemma OAI.SphericalPerceptronFreeEnergy.decoratedBiasedLaw_eq_exponentialTilt line 65
7. lemma OAI.SphericalPerceptronFreeEnergy.decoratedBiasedLaw_probability line 80
8. def OAI.SphericalPerceptronFreeEnergy.decoratedRootPotential line 92
9. lemma OAI.SphericalPerceptronFreeEnergy.decoratedRootPotential_measurable line 98
10. lemma OAI.SphericalPerceptronFreeEnergy.decoratedRootPotential_integrable line 105
11. lemma OAI.SphericalPerceptronFreeEnergy.decoratedWeightedTotal_succ_eq line 137
12. lemma OAI.SphericalPerceptronFreeEnergy.decoratedBiasedLaw_succ_eq_weighted line 183