OAI/Probability/Perceptron/Variational/FieldWord.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SphericalPerceptronFreeEnergy.cascadeHeatWord_eq_ofFn line 12
  2. def OAI.SphericalPerceptronFreeEnergy.fieldVariances line 25
  3. def OAI.SphericalPerceptronFreeEnergy.fieldExponents line 28
  4. lemma OAI.SphericalPerceptronFreeEnergy.fieldVariances_nonneg line 31
  5. lemma OAI.SphericalPerceptronFreeEnergy.fieldVariances_sum line 37
  6. lemma OAI.SphericalPerceptronFreeEnergy.fieldExponents_nonneg line 44
  7. lemma OAI.SphericalPerceptronFreeEnergy.fieldExponents_lt_one line 48
  8. lemma OAI.SphericalPerceptronFreeEnergy.fieldExponents_strictMono line 52
  9. lemma OAI.SphericalPerceptronFreeEnergy.stepFieldIncrement_reverse line 61
  10. lemma OAI.SphericalPerceptronFreeEnergy.fieldWord_eq line 70
  11. def OAI.SphericalPerceptronFreeEnergy.sphericalHeatValue line 76
  12. lemma OAI.SphericalPerceptronFreeEnergy.finiteSphericalFieldValue_eq_heat line 80
  13. def OAI.SphericalPerceptronFreeEnergy.varianceLevels line 99
  14. lemma OAI.SphericalPerceptronFreeEnergy.varianceLevels_zero line 102
  15. lemma OAI.SphericalPerceptronFreeEnergy.varianceLevels_last line 105
  16. lemma OAI.SphericalPerceptronFreeEnergy.varianceLevels_increment line 109
  17. lemma OAI.SphericalPerceptronFreeEnergy.fieldVariances_varianceLevels line 129
  18. lemma OAI.SphericalPerceptronFreeEnergy.varianceLevels_monotone line 136
  19. lemma OAI.SphericalPerceptronFreeEnergy.varianceLevels_nonneg line 143
  20. lemma OAI.SphericalPerceptronFreeEnergy.gaussianGrid_spherical_last line 150