Poster · Atlanta
Semantic Search over 9 Million Mathematical Theorems
- When
- Fri 11 Dec 2026, 16:30–19:30 EST
- Where
- Hall C1, Georgia World Congress Center
- Session
- Atlanta Poster Session 6
- Authors
- Luke Alexander, Eric Leonen, Sophie Szeto, Artemii Remizov, Ignacio Tejeda, Jarod Alper, Giovanni Inchiostro, Vasily Ilin
- Organisations
- University of Washington, Stanford University