OAI/Probability/Perceptron/Cascade/IndexedTiltedWeights.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SphericalPerceptronFreeEnergy.indexedTiltedWeight line 15
  2. def OAI.SphericalPerceptronFreeEnergy.indexedTiltedTotal line 20
  3. def OAI.SphericalPerceptronFreeEnergy.indexedTiltedProbability line 24
  4. lemma OAI.SphericalPerceptronFreeEnergy.indexedTiltedWeight_measurable line 28
  5. lemma OAI.SphericalPerceptronFreeEnergy.indexedTiltedTotal_measurable line 38
  6. lemma OAI.SphericalPerceptronFreeEnergy.indexedTiltedProbability_measurable line 44
  7. lemma OAI.SphericalPerceptronFreeEnergy.indexedTiltedTotal_eq line 50
  8. lemma OAI.SphericalPerceptronFreeEnergy.indexedTiltedProbability_mass line 60
  9. lemma OAI.SphericalPerceptronFreeEnergy.indexedTiltedProbability_lintegral line 69
  10. lemma OAI.SphericalPerceptronFreeEnergy.indexedTiltedWeight_succ line 86
  11. lemma OAI.SphericalPerceptronFreeEnergy.indexedTiltedWeight_tsum_succ line 101
  12. lemma OAI.SphericalPerceptronFreeEnergy.indexedTiltedTotal_succ line 136
  13. def OAI.SphericalPerceptronFreeEnergy.indexedChildPoint line 148
  14. def OAI.SphericalPerceptronFreeEnergy.indexedRootPoint line 153
  15. def OAI.SphericalPerceptronFreeEnergy.indexedBranchWeight line 161
  16. def OAI.SphericalPerceptronFreeEnergy.indexedBranchProbability line 167
  17. lemma OAI.SphericalPerceptronFreeEnergy.indexedBranchWeight_tsum line 173
  18. lemma OAI.SphericalPerceptronFreeEnergy.indexedRootPoint_weight line 180
  19. lemma OAI.SphericalPerceptronFreeEnergy.indexedRootPoint_probability line 213