Hugging Face's logo
Simon Kurgan's picture

Simon Kurgan

simku22
1 1
Vilin97's profile picture sgvtc's profile picture
ยท

AI & ML interests

None yet

Recent Activity

authored a paper about 9 hours ago
TheoremGraph: Bridging Formal and Informal Mathematics
liked a dataset 1 day ago
uw-math-ai/math-graph
upvoted a paper 1 day ago
TheoremGraph: Bridging Formal and Informal Mathematics
View all activity

Organizations

University of Washington Math AI Lab's profile picture