OAI/Probability/Perceptron/Variational/Entropy.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.reciprocal_supporting_inequality line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.max_difference_support line 20
3. theorem OAI.SphericalPerceptronFreeEnergy.entropy_weightedStep_support line 28
4. theorem OAI.SphericalPerceptronFreeEnergy.stationary_finite_entropy_minimizes line 97