OAI/Probability/GaussianRegression/Model.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Finite-state Gaussian regression with noiseless labels and angular accuracy.

  1. def OAI.NoiselessRegression.Learner.success line 20

    Also declared: ComparatorChallenges/NoiselessRegression.lean:86 (same declaration text).

  2. def OAI.NoiselessRegression.SubquadraticMemory line 27

    Also declared: ComparatorChallenges/NoiselessRegression.lean:98 (same declaration text).

  3. def OAI.NoiselessRegression.FixedQuadraticMemory line 38

    Also declared: ComparatorChallenges/NoiselessRegression.lean:109 (same declaration text).