OAI/Probability/Perceptron/Variational/TensorFeatures.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.SphericalPerceptronFreeEnergy.NormalizedSpin line 11
  2. abbrev OAI.SphericalPerceptronFreeEnergy.SpinTensorIndex line 12
  3. def OAI.SphericalPerceptronFreeEnergy.spinTensorFeature line 14
  4. def OAI.SphericalPerceptronFreeEnergy.spinOverlap line 18
  5. lemma OAI.SphericalPerceptronFreeEnergy.spinTensorFeature_continuous line 20
  6. lemma OAI.SphericalPerceptronFreeEnergy.spinTensorFeature_inner line 27
  7. lemma OAI.SphericalPerceptronFreeEnergy.spinTensorFeature_norm line 36
  8. lemma OAI.SphericalPerceptronFreeEnergy.spinTensorFeature_coordinate_bound line 44
  9. lemma OAI.SphericalPerceptronFreeEnergy.spinOverlap_abs_le line 51
  10. abbrev OAI.SphericalPerceptronFreeEnergy.EnrichedIndex line 56
  11. abbrev OAI.SphericalPerceptronFreeEnergy.EnrichedMark line 58
  12. def OAI.SphericalPerceptronFreeEnergy.enrichedFeature line 60
  13. lemma OAI.SphericalPerceptronFreeEnergy.enrichedFeature_continuous line 66
  14. lemma OAI.SphericalPerceptronFreeEnergy.enrichedFeature_inner line 76
  15. lemma OAI.SphericalPerceptronFreeEnergy.enrichedFeature_norm_sq line 102
  16. lemma OAI.SphericalPerceptronFreeEnergy.enrichedFeature_norm line 111
  17. def OAI.SphericalPerceptronFreeEnergy.perturbationScale line 116
  18. def OAI.SphericalPerceptronFreeEnergy.perturbationAmplitude line 118
  19. def OAI.SphericalPerceptronFreeEnergy.sourceEnrichedFeature line 121
  20. def OAI.SphericalPerceptronFreeEnergy.diagonalMarkLinear line 127
  21. def OAI.SphericalPerceptronFreeEnergy.diagonalMark line 132
  22. lemma OAI.SphericalPerceptronFreeEnergy.diagonalMark_apply line 135
  23. lemma OAI.SphericalPerceptronFreeEnergy.diagonalMark_self_adjoint line 138