@article{semanticsearchover9millionmathematicalth,
  title = {Semantic Search over 9 Million Mathematical Theorems},
  author = {Luke Alexander and Eric Leonen and Sophie Szeto and Artemii Remizov and Ignacio Tejeda and Jarod Alper and Giovanni Inchiostro and Vasily Ilin},
  year = {2026},
  eprint = {2602.05216},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2602.05216},
}