Towards graph neural networks for provably solving convex optimization problems