Towards Neural Theorem Proving at Scale Anonymous
Product Quantization for Nearest Neighbor Search