Finite-state actor-critic mean dynamics possess compact global attractors for each positive separation parameter and converge to a reduced invariant-law system under exponential mixing and stability assumptions, with all theorems formally verified in Lean 4.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.DS 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Global attractors and fast-slow reduction for finite-state actor-critic mean dynamics
Finite-state actor-critic mean dynamics possess compact global attractors for each positive separation parameter and converge to a reduced invariant-law system under exponential mixing and stability assumptions, with all theorems formally verified in Lean 4.