square: verified Hessian, compiled SGD updates, feasibility, descent and branch budget
logistic: verified Hessian, compiled SGD updates, feasibility, descent and branch budget
softmax: verified Hessian, compiled SGD updates, feasibility, descent and branch budget
