Hugging Face's logo
Simon Kurgan's picture

Simon Kurgan

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

AI & ML interests

None yet

Recent Activity

authored a paper 2 days ago
TheoremGraph: Bridging Formal and Informal Mathematics
liked a dataset 3 days ago
uw-math-ai/math-graph
upvoted a paper 3 days ago
TheoremGraph: Bridging Formal and Informal Mathematics
View all activity

Organizations

University of Washington Math AI Lab's profile picture