Towards Provable Guarantees for Learning-based Control Paradigms