OAI/Probability/Perceptron/Pressure/GaussianPressureDerivative.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.abs_log_le_self_add_inv line 12
2. lemma OAI.SphericalPerceptronFreeEnergy.gaussianLogPartition_integrable line 28
3. lemma OAI.SphericalPerceptronFreeEnergy.gaussianCouplingLog_integrable line 41
4. lemma OAI.SphericalPerceptronFreeEnergy.gaussianCouplingMean_derivative line 55
5. lemma OAI.SphericalPerceptronFreeEnergy.annealedGaussianTiltMean_ibp line 73
6. lemma OAI.SphericalPerceptronFreeEnergy.gaussianCouplingMean_zero_derivative line 104
7. lemma OAI.SphericalPerceptronFreeEnergy.gaussianCouplingMean_derivative_covariance line 116
8. lemma OAI.SphericalPerceptronFreeEnergy.gaussianCouplingMean_difference_bound line 136