Sophie Szeto's picture

2 3

Sophie Szeto

slszeto

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 5 days ago

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium

updated a Space 30 days ago

uw-math-ai/theorem-search

authored a paper about 1 month ago

Semantic Search over 9 Million Mathematical Theorems

View all activity

Organizations

liked 2 datasets about 2 months ago

uw-math-ai/APRIL

Preview • Updated 24 days ago • 124 • 8

uw-math-ai/theorem-search-dataset

Viewer • Updated Feb 20 • 2.89M • 236 • 23

liked a Space 2 months ago

Theorem Search

Find math theorems faster.