OAI/Probability/Perceptron/Variational/LabelProfileReference.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SphericalPerceptronFreeEnergy.CompactLabelNodes line 13
  2. lemma OAI.SphericalPerceptronFreeEnergy.compactLabelNodes_closed line 16
  3. lemma OAI.SphericalPerceptronFreeEnergy.sourceGibbsArray_limit_label_nodes line 22
  4. def OAI.SphericalPerceptronFreeEnergy.timeSpin line 36
  5. lemma OAI.SphericalPerceptronFreeEnergy.timeSpin_continuous line 37
  6. def OAI.SphericalPerceptronFreeEnergy.labelProfileSpin line 39
  7. lemma OAI.SphericalPerceptronFreeEnergy.labelProfileSpin_continuous line 42
  8. lemma OAI.SphericalPerceptronFreeEnergy.labelProfileSpin_node line 45
  9. def OAI.SphericalPerceptronFreeEnergy.labelProfileMap line 51
  10. lemma OAI.SphericalPerceptronFreeEnergy.labelProfileMap_continuous line 53
  11. lemma OAI.SphericalPerceptronFreeEnergy.sourceLabelLevel_le line 56
  12. lemma OAI.SphericalPerceptronFreeEnergy.labelProfileMap_geometry line 62
  13. lemma OAI.SphericalPerceptronFreeEnergy.labelProfileMap_kernel line 100
  14. lemma OAI.SphericalPerceptronFreeEnergy.compactSpinGeometry_closed line 121
  15. theorem OAI.SphericalPerceptronFreeEnergy.labelProfile_reference_exists line 129