OAI/Probability/Perceptron/Variational/LabelRestorationMoments.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SphericalPerceptronFreeEnergy.replicaFrontLift line 15
  2. lemma OAI.SphericalPerceptronFreeEnergy.replicaFrontLift_measurable line 19
  3. lemma OAI.SphericalPerceptronFreeEnergy.replicaFrontLift_bound line 26
  4. def OAI.SphericalPerceptronFreeEnergy.labelRestoredFunctions line 32
  5. def OAI.SphericalPerceptronFreeEnergy.labelRestorationWeight line 37
  6. def OAI.SphericalPerceptronFreeEnergy.labelRestorationTest line 42
  7. lemma OAI.SphericalPerceptronFreeEnergy.labelRestorationTest_replica line 49
  8. lemma OAI.SphericalPerceptronFreeEnergy.labelRestorationWeight_measurable line 65
  9. lemma OAI.SphericalPerceptronFreeEnergy.labelRestorationWeight_bound line 76
  10. lemma OAI.SphericalPerceptronFreeEnergy.labelRestorationTest_measurable line 83
  11. lemma OAI.SphericalPerceptronFreeEnergy.labelRestorationTest_bound line 89
  12. lemma OAI.SphericalPerceptronFreeEnergy.labelRestoration_moments line 99
  13. lemma OAI.SphericalPerceptronFreeEnergy.residual_replica_weight_cancel line 128
  14. lemma OAI.SphericalPerceptronFreeEnergy.residual_gibbs_restore line 146
  15. lemma OAI.SphericalPerceptronFreeEnergy.labelRestoration_ratio line 171