End-to-end Differentiable Proving
TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems