Semantic Search over 9 Million Mathematical Theorems. - Luke Alexander; Eric Leonen; Sophie Szeto; Artemii Remizov; Ignacio Tejeda; Giovanni Inchiostro; Vasily Ilin (CoRR, 2026)