OAI/Probability/Perceptron/Cavity/LeafFreshLog.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SphericalPerceptronFreeEnergy.source_leaf_independent_fresh_log line 11
2. theorem OAI.SphericalPerceptronFreeEnergy.source_leaf_independent_fresh_log_roots line 51
3. lemma OAI.SphericalPerceptronFreeEnergy.freshRoot_swap_nested line 79
4. lemma OAI.SphericalPerceptronFreeEnergy.freshRoot_four_shuffle line 90
5. lemma OAI.SphericalPerceptronFreeEnergy.freshRoot_five_regroup line 102
6. lemma OAI.SphericalPerceptronFreeEnergy.indexedGaussian_fresh_regroup_law line 113