@misc{indiciaefc0c91177afe,
  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},
  url = {https://arxiv.org/abs/2602.05216},
  note = {Source identifier: 2602.05216}
}