Kick off your book project in 2 hours, get started with GhostAI in 2 hours, or do both! Free live workshops, on Zoom. You’ll leave with a real book project and a clear plan to keep going. Saturday, June 27, 2026.

Leanpub Header

Skip to main content

Filters

Category: "Formal Methods"

Books

  1. Notes on Dynamical Systems for Actor-Critic Learning
    A Dynamical Systems Approach to Reinforcement Learning Mean Dynamics
    Vladyslav Prytula

    An introduction to actor-critic algorithms as dynamical systems: featuring hand-computable examples, fast-slow reductions, and machine-checked Lean 4 proofs