Theorem Search
📚
10
Find math theorems faster.
Sophie Szeto
slszeto
AI & ML interests
None yet
Recent Activity
updated
a Space 14 days ago
uw-math-ai/theorem-search authored
a paper
24 days ago
Semantic Search over 9 Million Mathematical Theorems upvoted a paper 30 days ago
Semantic Search over 9 Million Mathematical Theorems Organizations
updated a Space 14 days ago
authored a paper 24 days ago
upvoted a paper 30 days ago
liked 2 datasets 30 days ago
liked a Space about 1 month ago
published a Space 4 months ago
updated a Space 4 months ago
updated a Space 5 months ago