Sophie Szeto
slszeto
·
AI & ML interests
None yet
Recent Activity
updated
a Space 3 days ago
uw-math-ai/theorem-search authored
a paper
14 days ago
Semantic Search over 9 Million Mathematical Theorems upvoted a paper 19 days ago
Semantic Search over 9 Million Mathematical Theorems Organizations
