Sophie Szeto
slszeto
AI & ML interests
None yet
Recent Activity
authored a paper about 3 hours ago
TheoremGraph: Bridging Formal and Informal Mathematics upvoted a paper about 7 hours ago
TheoremGraph: Bridging Formal and Informal Mathematics liked a dataset 2 days ago
uw-math-ai/math-graphOrganizations
