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.
Temam,Infinite-Dimensional Dynamical Systems in Mechanics and Physics, 2nd ed., Springer, New York
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.