A Differentiable Path-Following Method with a Compact Formulation to Compute Proper Equilibria - BizPub.ai