Semantic Search over 9 Million Mathematical Theorems · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2602.05216/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTSemantic Search over 9 Million Mathematical Theorems — mentioned by kurgsim22https://news.ycombinator.com/item?id=48825013urn:hackerpapers:mention:2602.05216:48825013Tue, 07 Jul 2026 22:41:26 GMT<p>theoremgraph/theoremsearch, which comes from the two papers published by the math ai lab at the university of washington. search tool links: https://www.theoremsearch.com/ (https://arxiv.org/abs/2602.05216) + tagline (Describe a result in natural language, and TheoremSearch finds it across arXiv, the Stacks Project, and more. 70% more accurate than LLM search.) https://www.theoremsearch.com/theorem-graph (https://arxiv.org/abs/2606.25363) + tagline (A unified statement-level dependency graph spanning both informal and formal mathematics, including 11.7 million arXiv statements linked to…</p><p><a href="https://hackerpaper.kaipfister.de/p/2602.05216/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.IR