Towards Neural Theorem Proving at Scale Anonymous
Approximate nearest neighbor algorithm based on navigable small world graphs