Estimating Koopman operators with sketching to provably learn large scale dynamical systems - Meanti, Giacomo; Chatalic, Antoine; Kostic, Vladimir; Novelli, Pietro; Pontil, Massimiliano; Rosasco, Lorenzo (Advances in Neural Information Processing Systems, 2023)