OAI/Probability/Perceptron/Variational/UniformGrid.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SphericalPerceptronFreeEnergy.uniformWeights line 11
  2. def OAI.SphericalPerceptronFreeEnergy.uniformExponents line 12
  3. lemma OAI.SphericalPerceptronFreeEnergy.uniformWeights_pos line 14
  4. lemma OAI.SphericalPerceptronFreeEnergy.uniformWeights_sum line 18
  5. lemma OAI.SphericalPerceptronFreeEnergy.uniformExponents_nonneg line 22
  6. lemma OAI.SphericalPerceptronFreeEnergy.uniformExponents_last line 26
  7. lemma OAI.SphericalPerceptronFreeEnergy.stepCumulative_uniformWeights line 30
  8. lemma OAI.SphericalPerceptronFreeEnergy.uniformExponents_castSucc line 41
  9. def OAI.SphericalPerceptronFreeEnergy.sphericalGridValue line 47
  10. def OAI.SphericalPerceptronFreeEnergy.sphericalGridDual line 50
  11. lemma OAI.SphericalPerceptronFreeEnergy.sphericalGridValue_eq line 54
  12. lemma OAI.SphericalPerceptronFreeEnergy.varianceLevels_continuous line 82
  13. lemma OAI.SphericalPerceptronFreeEnergy.sphericalGridValue_compact_uniform line 91
  14. lemma OAI.SphericalPerceptronFreeEnergy.gridVariance_weighted_sum line 109
  15. lemma OAI.SphericalPerceptronFreeEnergy.gridVariance_sum line 119
  16. lemma OAI.SphericalPerceptronFreeEnergy.sphericalGridValue_compress line 123