A Formalization of Doob's Martingale Convergence Theorems in mathlib.

Kexing Ying Rémy Degenne

Published in: CoRR (2022)

Keyphrases

knowledge representation
convergence rate
formal model
change detection
convergence speed
global convergence
artificial intelligence
evolutionary algorithm
iterative algorithms
stochastic approximation
data sets
knowledge base
database systems
objective function
learning environment
particle swarm optimization