“Operator Splitting with Hamilton-Jacobi-based Proximals” accepted by International Conference of Machine Learning