title	Theorem Search
emoji	📚
colorFrom	purple
colorTo	indigo
sdk	docker
app_port	8501
tags	streamlit
pinned	false
short_description	Search moved to https://theoremsearch.com
license	mit
arxiv	2602.05216
datasets	uw-math-ai/theorem-search-dataset

Moved to theoremsearch.com

The details of the original demo are described in the paper, "Semantic Search over 9 Million Mathematical Theorems".

@inproceedings{alexander2026semantic,
  author        = {Alexander, Luke and Leonen, Eric and Szeto, Sophie and Remizov, Artemii and Tejeda, Ignacio and Alper, Jarod and Inchiostro, Giovanni and Ilin, Vasily},
  title         = {Semantic Search over 9 Million Mathematical Theorems},
  booktitle     = {Advances in Neural Information Processing Systems},
  volume        = {39},
  year          = {2026},
  note          = {Evaluations and Datasets Track},
  archivePrefix = {arXiv},
  eprint        = {2602.05216},
  primaryClass  = {cs.IR},
  url           = {https://arxiv.org/abs/2602.05216}
}