OAI/Probability/GaussianRegression/Precision.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Real-valued success bounds and accuracy-uniform precision tradeoffs.

  1. lemma OAI.NoiselessRegression.Learner.streaming_success_bound_real line 22
  2. lemma OAI.NoiselessRegression.precision_from_stream_bound line 47