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

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

Organizations

University of Washington Math AI Lab's profile picture