OAI/Probability/Perceptron/Control/StepControl.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SphericalPerceptronFreeEnergy.Jet3.eq_of_f_eq line 12
  2. lemma OAI.SphericalPerceptronFreeEnergy.Jet3.heatLog_zero_time line 26
  3. def OAI.SphericalPerceptronFreeEnergy.finiteStepControlJet line 31
  4. lemma OAI.SphericalPerceptronFreeEnergy.finiteStepControlJet_chain line 36
  5. lemma OAI.SphericalPerceptronFreeEnergy.finiteStepControlJet_value line 52
  6. def OAI.SphericalPerceptronFreeEnergy.leftWeightedStepTrial line 62
  7. lemma OAI.SphericalPerceptronFreeEnergy.leftWeightedStepTrial_ae line 89
  8. def OAI.SphericalPerceptronFreeEnergy.weightedControlCoefficient line 104
  9. lemma OAI.SphericalPerceptronFreeEnergy.leftWeightedStepTrial_interval line 109
  10. theorem OAI.SphericalPerceptronFreeEnergy.weightedStepTrial_controlValue line 128
  11. def OAI.SphericalPerceptronFreeEnergy.paddedControlNodes line 147
  12. def OAI.SphericalPerceptronFreeEnergy.paddedControlWeights line 150
  13. lemma OAI.SphericalPerceptronFreeEnergy.paddedControlWeights_nonneg line 153
  14. lemma OAI.SphericalPerceptronFreeEnergy.paddedControlWeights_sum line 161
  15. lemma OAI.SphericalPerceptronFreeEnergy.paddedControlNodes_mono line 169
  16. lemma OAI.SphericalPerceptronFreeEnergy.paddedControlTrial_eq line 176
  17. theorem OAI.SphericalPerceptronFreeEnergy.sourceWeightedTrial_controlValue line 191