Towards Neural Theorem Proving at Scale Anonymous
Fast Gaussian Process Regression using KD-Trees