Smoothed Proximal Lagrangian Method for Nonlinear Constrained Programs | Synapse