OAI/Probability/Perceptron/Model.lean

GitHub source file

27 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SphericalPerceptronFreeEnergy.Time line 11

   Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:11 (same declaration text).

2. abbrev OAI.SphericalPerceptronFreeEnergy.BrownianPath line 12

   Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:12 (same declaration text).

3. instance OAI.SphericalPerceptronFreeEnergy.(instance at line 14) line 14
4. instance OAI.SphericalPerceptronFreeEnergy.(instance at line 15) line 15
5. abbrev OAI.SphericalPerceptronFreeEnergy.Spin line 17

   Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:17 (same declaration text).

6. def OAI.SphericalPerceptronFreeEnergy.patternCount line 19

   Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:19 (same declaration text).

7. abbrev OAI.SphericalPerceptronFreeEnergy.Patterns line 20

   Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:20 (same declaration text).

8. def OAI.SphericalPerceptronFreeEnergy.patternLaw line 22

   Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:22 (same declaration text).

9. def OAI.SphericalPerceptronFreeEnergy.unitSphereLaw line 25

   Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:25 (same declaration text).

10. def OAI.SphericalPerceptronFreeEnergy.sphereLaw line 29

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:29 (same declaration text).

11. def OAI.SphericalPerceptronFreeEnergy.patternField line 32

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:32 (same declaration text).

12. def OAI.SphericalPerceptronFreeEnergy.hamiltonian line 36

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:36 (same declaration text).

13. def OAI.SphericalPerceptronFreeEnergy.pressure line 40

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:40 (same declaration text).

14. def OAI.SphericalPerceptronFreeEnergy.expectedPressure line 43

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:43 (same declaration text).

15. structure OAI.SphericalPerceptronFreeEnergy.Trial line 46

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:46 (same declaration text).

16. instance OAI.SphericalPerceptronFreeEnergy.(instance at line 53) line 53
17. def OAI.SphericalPerceptronFreeEnergy.timeLaw line 55

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:55 (same declaration text).

18. def OAI.SphericalPerceptronFreeEnergy.tailIntegral line 57

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:57 (same declaration text).

19. def OAI.SphericalPerceptronFreeEnergy.entropy line 60

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:60 (same declaration text).

20. def OAI.SphericalPerceptronFreeEnergy.brownianEval line 64

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:64 (same declaration text).

21. def OAI.SphericalPerceptronFreeEnergy.nullSigma line 66

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:66 (same declaration text).

22. def OAI.SphericalPerceptronFreeEnergy.usualBrownianSigma line 69

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:69 (same declaration text).

23. def OAI.SphericalPerceptronFreeEnergy.Progressive line 75

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:75 (same declaration text).

24. def OAI.SphericalPerceptronFreeEnergy.controlCost line 81

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:81 (same declaration text).

25. def OAI.SphericalPerceptronFreeEnergy.controlPayoff line 85

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:85 (same declaration text).

26. def OAI.SphericalPerceptronFreeEnergy.controlValue line 90

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:90 (same declaration text).

27. def OAI.SphericalPerceptronFreeEnergy.variationalValue line 94

    Also declared: ComparatorChallenges/PerceptronFreeEnergy.lean:94 (same declaration text).