Randomized Automatic Differentiation. | AMiner