OAI/Probability/SphericalField/Entropy/StepStationary.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptron.stepLogRatios line 13
2. lemma OAI.SphericalPerceptron.quadraticCascadePrecision_stationary line 18
3. lemma OAI.SphericalPerceptron.quadraticCascadeReciprocalSlope_stationary line 43
4. lemma OAI.SphericalPerceptron.quadraticCascadeOffset_stationary line 71
5. lemma OAI.SphericalPerceptron.canonicalGaussianFreeValue_stationary line 95
6. lemma OAI.SphericalPerceptron.canonicalGaussianFreeValue_stationarity line 106
7. theorem OAI.SphericalPerceptron.expectedCoordinateSphereLog_stationary_data line 120