OAI/Probability/Perceptron/Control/LabelProfileControl.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.oneDim_inner line 12
2. lemma OAI.SphericalPerceptronFreeEnergy.oneDim_gaussian_average line 16
3. lemma OAI.SphericalPerceptronFreeEnergy.oneDim_gaussian_entropic line 28
4. lemma OAI.SphericalPerceptronFreeEnergy.linearCascadeWord_congr line 47
5. lemma OAI.SphericalPerceptronFreeEnergy.profileGaussianStep_first line 56
6. lemma OAI.SphericalPerceptronFreeEnergy.profileGaussianStep_tail line 70
7. lemma OAI.SphericalPerceptronFreeEnergy.oneDim_profile_backward line 81
8. lemma OAI.SphericalPerceptronFreeEnergy.HeatChain.prepend line 101
9. lemma OAI.SphericalPerceptronFreeEnergy.weightedStepTrial_controlValue_core line 108
10. theorem OAI.SphericalPerceptronFreeEnergy.labelProfileValue_control line 149