OAI/Probability/Perceptron/Variational/GaussianGibbsContinuity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.coupling_tiltIntegral_continuous line 14
2. lemma OAI.SphericalPerceptronFreeEnergy.coupling_tiltMean_continuous line 41
3. lemma OAI.SphericalPerceptronFreeEnergy.coupling_gibbsReplicaMean_continuous line 53
4. lemma OAI.SphericalPerceptronFreeEnergy.annealedCoupling_tiltMean_continuous line 72
5. lemma OAI.SphericalPerceptronFreeEnergy.annealedCoupling_replicaMean_continuous line 89
6. lemma OAI.SphericalPerceptronFreeEnergy.sqrt_coupling_derivative line 107
7. lemma OAI.SphericalPerceptronFreeEnergy.sqrt_coupling_right_derivative line 116