OAI/Probability/Perceptron/Variational/PureLabel.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SphericalPerceptronFreeEnergy.inner_eraseMarkCoordinate line 12
  2. lemma OAI.SphericalPerceptronFreeEnergy.inner_eraseMarkCoordinate_right line 26
  3. def OAI.SphericalPerceptronFreeEnergy.pureLabelIndex line 31
  4. lemma OAI.SphericalPerceptronFreeEnergy.sourceFeature_pure_coordinate line 34
  5. lemma OAI.SphericalPerceptronFreeEnergy.sourceFeature_erase_pure line 44
  6. lemma OAI.SphericalPerceptronFreeEnergy.enrichedTerminal_free_pure line 69
  7. lemma OAI.SphericalPerceptronFreeEnergy.enrichedTerminal_affine_pure line 86
  8. def OAI.SphericalPerceptronFreeEnergy.diagonalCascadeWord line 126
  9. lemma OAI.SphericalPerceptronFreeEnergy.diagonalCascadeWord_exact line 130
  10. lemma OAI.SphericalPerceptronFreeEnergy.diagonalCascadeWord_nonneg line 137
  11. def OAI.SphericalPerceptronFreeEnergy.enrichedIncrementFactors line 149
  12. lemma OAI.SphericalPerceptronFreeEnergy.enrichedIncrementFactors_exact line 155
  13. def OAI.SphericalPerceptronFreeEnergy.pureLabelResponse line 165
  14. lemma OAI.SphericalPerceptronFreeEnergy.enrichedExpectedLog_pure_response line 170