OAI/Probability/Perceptron/Variational/StepStationary.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.stepLogRatios line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.quadraticCascadePrecision_stationary line 16
3. lemma OAI.SphericalPerceptronFreeEnergy.quadraticCascadeReciprocalSlope_stationary line 41
4. lemma OAI.SphericalPerceptronFreeEnergy.quadraticCascadeOffset_stationary line 69
5. lemma OAI.SphericalPerceptronFreeEnergy.canonicalGaussianFreeValue_stationary line 93
6. lemma OAI.SphericalPerceptronFreeEnergy.canonicalGaussianFreeValue_stationarity line 104
7. theorem OAI.SphericalPerceptronFreeEnergy.expectedCoordinateSphereLog_stationary_data line 118