Mathesis
Dhruv GuptaDhruv GuptaZetetic-Dhruvperson2026-09-24T00:00:00Z

Online learning is strictly stronger than PAC learning.

Declonline_strictly_stronger_pac
(∀ (X : Type) [inst : MeasurableSpace X] (C : ConceptClass X Bool) [MeasurableConceptClass X C],
    OnlineLearnable X Bool C → PACLearnable X C) ∧
  ∃ X x C, PACLearnable X C ∧ ¬OnlineLearnable X Bool C
TopicOnline learning

Arguments

DOIAuthorDate
MTH.R-2026-6028Dhruv GuptaDhruv Gupta2026-09-24T00:00:00Z
DOIMTH.C-2026-6028
Cite

Verification

Library
FLT_Proofs.Theorem.Separation
Statement digest
dd4da6136ff4
First verified
2026-09-24T00:00:00Z