Hugging Face's logo
Sophie Szeto's picture

Sophie Szeto

slszeto
3 4
Vilin97's profile picture simku22's profile picture
ยท

AI & ML interests

None yet

Recent Activity

authored a paper 2 days ago
TheoremGraph: Bridging Formal and Informal Mathematics
upvoted a paper 3 days ago
TheoremGraph: Bridging Formal and Informal Mathematics
liked a dataset 5 days ago
uw-math-ai/math-graph
View all activity

Organizations

University of Washington Math AI Lab's profile picture