circuits-learn

Reference oracles for Adam and exponentially-weighted moving average (EWMA) optimisers expressed as Process coalgebras. Non-zero exit on mismatch with hand recurrences.