OAI/Probability/Perceptron/Cavity/CavityFiniteIncrement.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SphericalPerceptronFreeEnergy.cavity_finite_increment_lower line 11
2. def OAI.SphericalPerceptronFreeEnergy.cavityUniformError line 28
3. lemma OAI.SphericalPerceptronFreeEnergy.cavityUniformError_tendsto line 39
4. lemma OAI.SphericalPerceptronFreeEnergy.cavity_finite_increment_uniform line 56
5. lemma OAI.SphericalPerceptronFreeEnergy.cavitySplitPartition_lower line 83
6. lemma OAI.SphericalPerceptronFreeEnergy.cavitySplitLog_lower line 117
7. lemma OAI.SphericalPerceptronFreeEnergy.cavityBulkFullLog_lower line 124