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 11 hours ago
TheoremGraph: Bridging Formal and Informal Mathematics
authored a paper 4 days ago
TheoremGraph: Bridging Formal and Informal Mathematics
liked a dataset 6 days ago
uw-math-ai/math-graph
View all activity

Organizations

University of Washington Math AI Lab's profile picture