OAI/Probability/Perceptron/Cavity/BulkTimeLaw.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.markedTimeLaw_geometry line 11
2. theorem OAI.SphericalPerceptronFreeEnergy.bulk_marked_time_inputs line 42
3. lemma OAI.SphericalPerceptronFreeEnergy.bulkB_diagonal_nonneg line 73
4. lemma OAI.SphericalPerceptronFreeEnergy.bulkB_add_diagonal_bound line 78
5. lemma OAI.SphericalPerceptronFreeEnergy.bulkMarkedArray_closed_full line 91
6. theorem OAI.SphericalPerceptronFreeEnergy.bulkMarkedArray_limit_mark_geometry line 107