DiffVersify: a Scalable Approach to Differentiable Pattern Mining with Coverage Regularization | AMiner