OAI/Probability/Perceptron/Pressure/EnrichedPatternMean.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.enrichedTerminal_parameters_measurable line 14
2. lemma OAI.SphericalPerceptronFreeEnergy.enrichedCascadeLog_parameters_measurable line 27
3. def OAI.SphericalPerceptronFreeEnergy.enrichedExpectedLog line 39
4. lemma OAI.SphericalPerceptronFreeEnergy.enrichedExpectedLog_measurable line 44
5. lemma OAI.SphericalPerceptronFreeEnergy.enrichedTerminal_pattern_change line 49
6. lemma OAI.SphericalPerceptronFreeEnergy.enrichedExpectedLog_pattern_change line 67
7. lemma OAI.SphericalPerceptronFreeEnergy.normalizedPatternEnergy_update line 78
8. lemma OAI.SphericalPerceptronFreeEnergy.enrichedExpectedLog_update line 98
9. lemma OAI.SphericalPerceptronFreeEnergy.enrichedExpectedLog_bounded line 107