Differentiable Predictive Control with Safety Guarantees: A Control Barrier Function Approach | Read Paper on Bytez