OAI/Probability/Perceptron/Variational/IndexedDiagonalField.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SphericalPerceptronFreeEnergy.hierarchyRowCoefficients line 16
  2. lemma OAI.SphericalPerceptronFreeEnergy.indexedGaussianRow_diagonal_identity line 20
  3. lemma OAI.SphericalPerceptronFreeEnergy.vectorLogPartition_lipschitz line 56
  4. def OAI.SphericalPerceptronFreeEnergy.normalizedPatternEnergy line 74
  5. lemma OAI.SphericalPerceptronFreeEnergy.normalizedPatternEnergy_continuous line 78
  6. lemma OAI.SphericalPerceptronFreeEnergy.normalizedPatternEnergy_bound line 84
  7. def OAI.SphericalPerceptronFreeEnergy.enrichedTerminal line 94
  8. def OAI.SphericalPerceptronFreeEnergy.enrichedFeatureBound line 100
  9. lemma OAI.SphericalPerceptronFreeEnergy.sourceEnrichedFeature_norm line 103
  10. lemma OAI.SphericalPerceptronFreeEnergy.enrichedTerminal_lipschitz line 108
  11. def OAI.SphericalPerceptronFreeEnergy.enrichedCoordinateLevel line 124
  12. def OAI.SphericalPerceptronFreeEnergy.enrichedRootMap line 130
  13. def OAI.SphericalPerceptronFreeEnergy.enrichedIncrementMap line 134
  14. def OAI.SphericalPerceptronFreeEnergy.enrichedCascadeLog line 140