Title: Learning-Based Model Predictive Control with Closed-loop Guarantees