APA (7th ed.) Citation

Alexander, L., Leonen, E., Szeto, S., Remizov, A., Tejeda, I., Alper, J., . . . Ilin, V. (2026). Semantic Search over 9 Million Mathematical Theorems.

Chicago Style (17th ed.) Citation

Alexander, Luke, Eric Leonen, Sophie Szeto, Artemii Remizov, Ignacio Tejeda, Jarod Alper, Giovanni Inchiostro, and Vasily Ilin. Semantic Search over 9 Million Mathematical Theorems. 2026.

MLA (9th ed.) Citation

Alexander, Luke, et al. Semantic Search over 9 Million Mathematical Theorems. 2026.