A Formalization of Doob's Martingale Convergence Theorems in mathlib.
Kexing YingRémy DegennePublished in: CPP (2023)
Keyphrases
- convergence rate
- change detection
- convergence speed
- information systems
- formal model
- asymptotic convergence
- machine learning
- artificial intelligence
- real time
- sufficient conditions
- general regression neural networks
- digital topology
- convergence analysis
- formal analysis
- knowledge representation
- data structure
- multiscale
- decision making
- data mining
- neural network