OAI/Probability/Perceptron/Pressure/PatternFree.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.enrichedSpinProjection line 13
2. lemma OAI.SphericalPerceptronFreeEnergy.enrichedSpinProjection_apply line 18
3. lemma OAI.SphericalPerceptronFreeEnergy.enrichedSpinProjection_preserving line 21
4. lemma OAI.SphericalPerceptronFreeEnergy.gaussianLinearBackward_projection line 43
5. lemma OAI.SphericalPerceptronFreeEnergy.enrichedSpinProjection_increment line 69
6. lemma OAI.SphericalPerceptronFreeEnergy.enrichedSpinProjection_root line 86
7. lemma OAI.SphericalPerceptronFreeEnergy.enrichedTerminal_patternFree line 91
8. lemma OAI.SphericalPerceptronFreeEnergy.enrichedExpectedLog_patternFree line 111
9. lemma OAI.SphericalPerceptronFreeEnergy.sourceCountExpectedLog_patternFree line 176
10. lemma OAI.SphericalPerceptronFreeEnergy.sourceExpectedPressure_patternFree line 203