OAI/Computability/PerfectCompleteness/Construction/HierarchicalAdviceFromBuckets.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PerfectCompleteness.HierarchicalAdviceFromBuckets.backgroundLaw line 39
2. def OAI.PerfectCompleteness.HierarchicalAdviceFromBuckets.pairedLaw line 44
3. def OAI.PerfectCompleteness.HierarchicalAdviceFromBuckets.usefulProbability line 50
4. def OAI.PerfectCompleteness.HierarchicalAdviceFromBuckets.adviceFactor line 58
5. theorem OAI.PerfectCompleteness.HierarchicalAdviceFromBuckets.mean_agreement_ge line 66
6. theorem OAI.PerfectCompleteness.HierarchicalAdviceFromBuckets.prediction_difference line 87
7. theorem OAI.PerfectCompleteness.HierarchicalAdviceFromBuckets.good_record_mass_ge line 111