OAI/Probability/Perceptron/Variational/LabelResponse.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.diagonalCascadeWord_response_sum line 13
2. lemma OAI.SphericalPerceptronFreeEnergy.pureLabelResponse_sum line 28
3. lemma OAI.SphericalPerceptronFreeEnergy.pureLabelResponse_weights line 46
4. lemma OAI.SphericalPerceptronFreeEnergy.sourceCountExpectedLog_pure_response line 68
5. lemma OAI.SphericalPerceptronFreeEnergy.sourceExpectedPressure_pure_response line 87
6. lemma OAI.SphericalPerceptronFreeEnergy.sourceExpectedPressure_pure_derivative line 107
7. lemma OAI.SphericalPerceptronFreeEnergy.source_label_moment line 136