Sophie Szeto
slszeto
AI & ML interests
None yet
Recent Activity
updated
a Space 18 days ago
uw-math-ai/theorem-search authored
a paper
28 days ago
Semantic Search over 9 Million Mathematical Theorems upvoted a paper about 1 month ago
Semantic Search over 9 Million Mathematical Theorems Organizations
