OAI/Probability/Perceptron/Variational/DepthBlock.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.indexedDepthLaw_block_mass line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.indexedDepthLaw_focused_mass line 25
3. theorem OAI.SphericalPerceptronFreeEnergy.indexedDepthLaw_focused_formula line 53
4. lemma OAI.SphericalPerceptronFreeEnergy.indexedDepthLaw_one_block_ae line 64
5. lemma OAI.SphericalPerceptronFreeEnergy.indexedDepthLaw_pair_tail line 73
6. lemma OAI.SphericalPerceptronFreeEnergy.measureReal_fin_atom_from_tails line 97
7. theorem OAI.SphericalPerceptronFreeEnergy.finiteGG_of_depth_thresholds line 122