OAI/Probability/Perceptron/Variational/UnboundedContact.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.quadratic_contact_thermal_disorder_separate line 12
2. lemma OAI.SphericalPerceptronFreeEnergy.kernelGaussian_coupling_joint_measurable line 69
3. lemma OAI.SphericalPerceptronFreeEnergy.kernelGaussian_coupling_exp_ae line 80
4. lemma OAI.SphericalPerceptronFreeEnergy.kernelGaussian_all_coupling_exp_ae line 93
5. lemma OAI.SphericalPerceptronFreeEnergy.kernel_tiltPartition_measurable line 116
6. lemma OAI.SphericalPerceptronFreeEnergy.kernel_tiltMean_measurable line 122
7. lemma OAI.SphericalPerceptronFreeEnergy.kernel_tiltCenteredVariance_measurable line 127
8. lemma OAI.SphericalPerceptronFreeEnergy.kernel_tiltCenteredAbs_measurable line 132