OAI/Probability/Perceptron/Variational/BoundedGibbsDerivative.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.bounded_gibbs_integral_deriv line 13
2. lemma OAI.SphericalPerceptronFreeEnergy.bounded_gibbs_mean_deriv line 47
3. lemma OAI.SphericalPerceptronFreeEnergy.bounded_gaussian_gibbs_coordinate_ibp line 74
4. lemma OAI.SphericalPerceptronFreeEnergy.nonlinear_pattern_coordinate_ibp line 123