OAI/Probability/Perceptron/Variational/LabelRestorationMoments2.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SphericalPerceptronFreeEnergy.jointRestorationBlockTest line 11
  2. lemma OAI.SphericalPerceptronFreeEnergy.jointRestorationBlockTest_source line 17
  3. lemma OAI.SphericalPerceptronFreeEnergy.labelMarkedBlockKernel_source line 26
  4. def OAI.SphericalPerceptronFreeEnergy.labelRestorationBlockMoment line 37
  5. lemma OAI.SphericalPerceptronFreeEnergy.labelRestoration_to_block line 43
  6. def OAI.SphericalPerceptronFreeEnergy.sourceLabelRestorationMoment line 71
  7. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelRestorationMoment_array line 80
  8. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelRestorationMoment_tendsto line 97
  9. lemma OAI.SphericalPerceptronFreeEnergy.sourceReplicaBlock_measurable line 114
  10. def OAI.SphericalPerceptronFreeEnergy.sourceLabelRestorationNumerator line 127
  11. def OAI.SphericalPerceptronFreeEnergy.sourceLabelRestorationDenominator line 130
  12. def OAI.SphericalPerceptronFreeEnergy.sourceLabelRestorationRatio line 133
  13. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelRestorationNumerator_measurable line 138
  14. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelRestorationDenominator_measurable line 143
  15. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelRestorationNumerator_bound line 147
  16. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelRestorationPolynomial line 154
  17. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelRestorationRatio_eq line 182