OAI/Probability/Perceptron/Variational/LabelPairTestValue.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SphericalPerceptronFreeEnergy.labelProfilePairTest line 15
  2. lemma OAI.SphericalPerceptronFreeEnergy.labelProfilePairTest_source line 20
  3. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelRestorationRatio_pair_value line 27
  4. def OAI.SphericalPerceptronFreeEnergy.scalarPairMatrixTest line 53
  5. def OAI.SphericalPerceptronFreeEnergy.scalarFrontMatrixTest line 57
  6. def OAI.SphericalPerceptronFreeEnergy.scalarRestorationPairMoment line 63
  7. lemma OAI.SphericalPerceptronFreeEnergy.restorationMarkTest_gaussianMixed line 69
  8. def OAI.SphericalPerceptronFreeEnergy.compactPairTest line 86
  9. lemma OAI.SphericalPerceptronFreeEnergy.scalarFrontMatrixTest_compact line 89
  10. lemma OAI.SphericalPerceptronFreeEnergy.scalarRestorationPairMoment_compact line 97
  11. def OAI.SphericalPerceptronFreeEnergy.labelProfileGram line 114
  12. lemma OAI.SphericalPerceptronFreeEnergy.scalarFrontMatrixTest_label line 117
  13. lemma OAI.SphericalPerceptronFreeEnergy.labelMarkedBlockKernel_profile line 133
  14. lemma OAI.SphericalPerceptronFreeEnergy.scalarRestorationPairMoment_label line 145
  15. lemma OAI.SphericalPerceptronFreeEnergy.scalarRestorationPairMoment_diagonalMap line 155