Joint Parameter and Parameterization Inference with Uncertainty Quantification through Differentiable Programming