OAI/Probability/Perceptron/Variational/TiltMeanCenteredAbsSq.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.tilt_mean_centered_abs_sq_le line 18
2. lemma OAI.SphericalPerceptronFreeEnergy.tiltMean_nonneg line 36
3. lemma OAI.SphericalPerceptronFreeEnergy.annealed_thermal_abs_sq_le line 42
4. lemma OAI.SphericalPerceptronFreeEnergy.affineLogRoot_memLp line 89
5. lemma OAI.SphericalPerceptronFreeEnergy.tilt_mean_center_triangle line 103
6. lemma OAI.SphericalPerceptronFreeEnergy.contact_energy_L1_bound line 122