Hugging Face's logo
Sophie Szeto's picture

Sophie Szeto

slszeto
1 3 4
simku22's profile picture Vilin97's profile picture
·

AI & ML interests

None yet

Recent Activity

updated a dataset 23 days ago
uw-math-ai/theorem-search-dataset-permissive
updated a dataset 23 days ago
uw-math-ai/theorem-search-dataset
updated a Space 23 days ago
uw-math-ai/theorem-search
View all activity

Organizations

University of Washington Math AI Lab's profile picture SpecDecode-DLM's profile picture