Some software like GAMS and AMPL can expand the mathematical model and show the expanded form of the model in the log. So, we can check if we have coded our mathematical model correctly or not. Does CVX have the same property? if Not, can we use MATLAB’s toolboxes like Symbolic Math Toolbox to see the extended form of our model as the output?

I don’t think you can do what you want.

You can, however, use cvx_solver_settings to do a dumpfile which will show the raw input to the solver. See mcg’s answer in CVX/MOSEK problem format . That may not necessarily be very intelligible to you unless you are an expert with the solver, and I suspect it will not be a useful way for you to verify that you coded your model correctly.