Memory-efficient model-based deep learning with convergence and robustness guarantees