uw-math-ai/APRIL
Preview
• Updated
• 110 • 7
Sophie Szeto
slszeto
AI & ML interests
None yet
Recent Activity
updated
a Space 24 days ago
uw-math-ai/theorem-search authored
a paper
about 1 month ago
Semantic Search over 9 Million Mathematical Theorems upvoted a paper about 1 month ago
Semantic Search over 9 Million Mathematical Theorems Organizations
liked 2 datasets about 1 month ago
liked a Space about 2 months ago