Littlestone characterization: C is online-learnable iff LittlestoneDim(C) < ∞.
Decllittlestone_characterization
∀ (X : Type) (C : ConceptClass X Bool), OnlineLearnable X Bool C ↔ LittlestoneDim X C < ⊤
TopicOnline learning
Arguments
| DOI | Author | Date |
|---|---|---|
| MTH.R-2026-6010 | Dhruv Gupta | 2026-09-24T00:00:00Z |
DOIMTH.C-2026-6010
Cite
Verification
- Library
- FLT_Proofs.Theorem.Online
- Statement digest
- 5248b00c54c9
- First verified
- 2026-09-24T00:00:00Z