OAI/Probability/PosteriorReplicas/Learners/JointKernelExperiment.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.PosteriorRegression.JointKernelExperiment.law_probability line 14
2. lemma OAI.PosteriorRegression.JointKernelExperiment.uniformSuccess_eq_average line 20
3. lemma OAI.PosteriorRegression.JointKernelExperiment.exists_seed_ge_success line 37
4. lemma OAI.PosteriorRegression.JointKernelExperiment.fixed_quadratic_memory line 46
5. theorem OAI.PosteriorRegression.kernel_subquadratic_memory line 57