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 about 19 hours ago
TheoremGraph: Bridging Formal and Informal Mathematics
upvoted a paper about 24 hours ago
TheoremGraph: Bridging Formal and Informal Mathematics
liked a dataset 3 days ago
uw-math-ai/math-graph
View all activity

Organizations

University of Washington Math AI Lab's profile picture