Leanpub Header

Skip to main content

Filters

Category: "Formal Methods"

Books

  1. The Hyper-Drive Algorithms ​From Raw Python Formulas to High-Performance GPU & Machine Code
    From Raw Python Formulas to High-Performance GPU & Machine Code
    Anas AhmedAdawy

    Make your Python AI code up to 100× faster using NumPy vectorization, Numba, parallel execution, and GPU acceleration. Learn through practical benchmarks and real-world optimization examples.

  2. 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