OAI/Probability/Perceptron/Control/StepControlTail.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SphericalPerceptronFreeEnergy.linearStepIntervals line 11
  2. def OAI.SphericalPerceptronFreeEnergy.stepBoundaryWeights line 20
  3. lemma OAI.SphericalPerceptronFreeEnergy.linearStepIntervals_start line 26
  4. lemma OAI.SphericalPerceptronFreeEnergy.linearStepIntervals_end line 37
  5. lemma OAI.SphericalPerceptronFreeEnergy.linearStepIntervals_boundary line 48
  6. lemma OAI.SphericalPerceptronFreeEnergy.linearStepIntervals_rate line 65
  7. lemma OAI.SphericalPerceptronFreeEnergy.linearStepIntervals_continuous line 76
  8. lemma OAI.SphericalPerceptronFreeEnergy.linearStepIntervals_deriv line 87
  9. lemma OAI.SphericalPerceptronFreeEnergy.finiteStepControlJet_tail_order_strict line 104
  10. def OAI.SphericalPerceptronFreeEnergy.uniformControlNodes line 125
  11. lemma OAI.SphericalPerceptronFreeEnergy.uniformControlNodes_strict line 129
  12. def OAI.SphericalPerceptronFreeEnergy.blendControlNodes line 134
  13. lemma OAI.SphericalPerceptronFreeEnergy.blendControlNodes_strict line 140
  14. lemma OAI.SphericalPerceptronFreeEnergy.linearStepIntervals_eval line 147
  15. lemma OAI.SphericalPerceptronFreeEnergy.stepBoundaryWeights_scale line 161
  16. lemma OAI.SphericalPerceptronFreeEnergy.stepBoundaryWeights_blend line 174
  17. theorem OAI.SphericalPerceptronFreeEnergy.finiteStepControlJet_tail_order line 183
  18. lemma OAI.SphericalPerceptronFreeEnergy.stepBoundaryWeights_ofFn line 223
  19. lemma OAI.SphericalPerceptronFreeEnergy.weightedControlCoefficient_gap line 232
  20. lemma OAI.SphericalPerceptronFreeEnergy.paddedControl_boundaryWeights line 255
  21. lemma OAI.SphericalPerceptronFreeEnergy.listOfFn_suffix_sum_nonneg line 267
  22. theorem OAI.SphericalPerceptronFreeEnergy.sourceWeightedTrial_control_tail_order line 292