OAI/Probability/Perceptron/Variational/LabelRestorationKernel.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SphericalPerceptronFreeEnergy.labelRestorationWeight_joint line 12
  2. lemma OAI.SphericalPerceptronFreeEnergy.labelRestorationWeight_exp line 23
  3. def OAI.SphericalPerceptronFreeEnergy.labelKernelDenominator line 37
  4. def OAI.SphericalPerceptronFreeEnergy.labelKernelNumerator line 40
  5. lemma OAI.SphericalPerceptronFreeEnergy.labelKernelDenominator_measurable line 43
  6. lemma OAI.SphericalPerceptronFreeEnergy.labelKernelNumerator_measurable line 52
  7. lemma OAI.SphericalPerceptronFreeEnergy.labelKernelNumerator_bound line 62
  8. lemma OAI.SphericalPerceptronFreeEnergy.labelKernelDenominator_bounds line 73
  9. def OAI.SphericalPerceptronFreeEnergy.labelKernelRestoredRatio line 90
  10. lemma OAI.SphericalPerceptronFreeEnergy.labelKernelRestoredRatio_measurable line 93
  11. lemma OAI.SphericalPerceptronFreeEnergy.labelKernelRestoredRatio_bound line 98
  12. lemma OAI.SphericalPerceptronFreeEnergy.labelKernelRestoredRatio_integrable line 113
  13. abbrev OAI.SphericalPerceptronFreeEnergy.RestorationRange line 126
  14. def OAI.SphericalPerceptronFreeEnergy.restorationClip line 128
  15. lemma OAI.SphericalPerceptronFreeEnergy.restorationClip_measurable line 131
  16. lemma OAI.SphericalPerceptronFreeEnergy.restorationClip_eq line 133
  17. def OAI.SphericalPerceptronFreeEnergy.restorationReciprocal line 138
  18. lemma OAI.SphericalPerceptronFreeEnergy.gaussianAverageBCF_norm_le line 142
  19. def OAI.SphericalPerceptronFreeEnergy.labelKernelCompactDenominator line 146
  20. lemma OAI.SphericalPerceptronFreeEnergy.labelKernelCompactDenominator_measurable line 149
  21. lemma OAI.SphericalPerceptronFreeEnergy.labelKernelCompactDenominator_eq line 153
  22. lemma OAI.SphericalPerceptronFreeEnergy.labelKernelNumerator_uniform_bound line 158
  23. lemma OAI.SphericalPerceptronFreeEnergy.labelKernel_weighted_integrable line 170
  24. lemma OAI.SphericalPerceptronFreeEnergy.labelKernel_weighted_eq line 179