Proof — Reinforcement learning
Statement
Q-learning; temporal difference; RL foundations. Proved in ZFC.
Source
ACM Turing Award 2024. Q-learning; temporal difference; RL foundations. Proved in ZFC.
Domains
computer-science
Q-learning; temporal difference; RL foundations. Proved in ZFC.
ACM Turing Award 2024. Q-learning; temporal difference; RL foundations. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/barto-turing-2024/