OAI/Probability/ThreeStateClauses/PoissonReconstruction.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Poisson Reconstruction.

  1. def OAI.ThreeState.TreeClauses.Tree.orderedStatistic line 19
  2. def OAI.ThreeState.TreeClauses.Tree.observedStatistic line 23
  3. lemma OAI.ThreeState.TreeClauses.Tree.observedStatistic_forget line 27
  4. lemma OAI.ThreeState.TreeClauses.Tree.poissonStatistic_square_integrable line 37
  5. lemma OAI.ThreeState.TreeClauses.Tree.poissonStatistic_mean line 62
  6. def OAI.ThreeState.TreeClauses.Tree.poissonKSConstant line 101
  7. lemma OAI.ThreeState.TreeClauses.Tree.poissonKSConstant_pos line 103
  8. lemma OAI.ThreeState.TreeClauses.Tree.poissonKSConstant_ge_four line 106
  9. lemma OAI.ThreeState.TreeClauses.Tree.poissonKSConstant_identity line 110
  10. lemma OAI.ThreeState.TreeClauses.Tree.poissonStatistic_second line 114
  11. lemma OAI.ThreeState.TreeClauses.Tree.poisson_estimator_advantage line 162
  12. theorem OAI.ThreeState.TreeClauses.Tree.poisson_reconstructs_above_KS line 192

    Distinct definitions of this name: ComparatorChallenges/ThreeStateTreeClauses.lean:96 (same statement text; different proof or body). Qualify references as OAI.ThreeState.TreeClauses.Tree.poisson_reconstructs_above_KS@path.