Differentiable ranking and sorting

Date: