Tools for Verifying Neural Models' Training Data.

Scalable Gradients and Variational Inference for Stochastic Differential Equations.