OAI/Probability/Perceptron/Variational/CoupledDual.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.Trial.ext_fun line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.weightedStepTrial_coupling_fst line 17
3. lemma OAI.SphericalPerceptronFreeEnergy.weightedStepTrial_coupling_snd line 31
4. lemma OAI.SphericalPerceptronFreeEnergy.coupling_sum_fst line 45
5. lemma OAI.SphericalPerceptronFreeEnergy.coupling_sum_snd line 51
6. lemma OAI.SphericalPerceptronFreeEnergy.weightedStepTail_coupling_fst line 57
7. lemma OAI.SphericalPerceptronFreeEnergy.weightedStepA_coupling_fst line 63
8. lemma OAI.SphericalPerceptronFreeEnergy.entropy_coupled_stationary_comparison line 69
9. lemma OAI.SphericalPerceptronFreeEnergy.finiteSphericalDual_eq_stationary line 113
10. theorem OAI.SphericalPerceptronFreeEnergy.finiteSphericalDual_abs_sub_le line 123