OAI/Probability/Perceptron/Cavity/CavityFiniteEvaluation.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.cavity_vector_residual line 12
2. theorem OAI.SphericalPerceptronFreeEnergy.cavity_finiteRPC_value line 19
3. lemma OAI.SphericalPerceptronFreeEnergy.gaussianBlockJoin_preserving line 50
4. lemma OAI.SphericalPerceptronFreeEnergy.stdGaussian_ofLp_preserving line 60
5. lemma OAI.SphericalPerceptronFreeEnergy.cavityJoinedPatterns_preserving line 68
6. lemma OAI.SphericalPerceptronFreeEnergy.cavity_log_uniform_change line 88
7. lemma OAI.SphericalPerceptronFreeEnergy.cavityShellTaylorModel_measurable line 113
8. theorem OAI.SphericalPerceptronFreeEnergy.cavity_true_shell_log_expansion line 122