Sophie Szeto's picture

2 3

Sophie Szeto

slszeto

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 2 months ago

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

updated a Space 2 months ago

uw-math-ai/theorem-search

authored a paper 3 months ago

Semantic Search over 9 Million Mathematical Theorems

View all activity

Organizations

upvoted a paper about 2 months ago

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

Paper • 2603.15929 • Published Mar 16 • 15

updated a Space 2 months ago

Theorem Search

Find math theorems faster.

authored a paper 3 months ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published Feb 5 • 22

upvoted a paper 3 months ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published Feb 5 • 22

liked 2 datasets 3 months ago

uw-math-ai/APRIL

Preview • Updated Feb 27 • 185 • 10

uw-math-ai/theorem-search-dataset

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

liked a Space 3 months ago

Theorem Search

Find math theorems faster.

published a Space 6 months ago

Theorem Search

Find math theorems faster.

updated 2 Spaces 6 months ago

Theorem Search

Find math theorems faster.

Theorem Search

Find math theorems faster.