“Number Search Engine via NN Embeddings”, Gwern2024-08-10 (, , ; backlinks; similar)⁠:

Proposal to create a ‘search engine’ like OEIS but for individual numbers, allowing fuzzy lookups, by training a neural net embedding on the scientific & mathematic literature’s corpus of co-occurring numbers, and by known special transformations.