OAI/Probability/Perceptron/Variational/IntegratedThermal.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.integral_sqrt_le_sqrt_integral_probability line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.annealed_centered_energy_bound line 25
3. lemma OAI.SphericalPerceptronFreeEnergy.bulkThermalSqrt_intervalIntegrable line 71
4. lemma OAI.SphericalPerceptronFreeEnergy.bulkThermalSqrt_integrated_bound line 82