OAI/Probability/Perceptron/Variational/MarkedBlockParameter.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SphericalPerceptronFreeEnergy.markedBlockProbability_parameter_measurable line 11
  2. def OAI.SphericalPerceptronFreeEnergy.DecoratedVisitShape line 42
  3. def OAI.SphericalPerceptronFreeEnergy.DecoratedVisitShape.bare line 46
  4. def OAI.SphericalPerceptronFreeEnergy.DecoratedVisitShape.Valid line 50
  5. lemma OAI.SphericalPerceptronFreeEnergy.DecoratedVisitShape.bare_valid line 55
  6. def OAI.SphericalPerceptronFreeEnergy.decoratedCenteredRoot line 66
  7. lemma OAI.SphericalPerceptronFreeEnergy.decoratedCenteredRoot_measurable line 72
  8. def OAI.SphericalPerceptronFreeEnergy.decoratedShapeProbability line 87
  9. lemma OAI.SphericalPerceptronFreeEnergy.decoratedShapeProbability_measurable line 98
  10. def OAI.SphericalPerceptronFreeEnergy.decoratedShapeMarkValue line 126
  11. lemma OAI.SphericalPerceptronFreeEnergy.decoratedShapeMarkValue_measurable line 136