Hugging Face's logo
Simon Kurgan's picture

Simon Kurgan

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

AI & ML interests

None yet

Recent Activity

commentedon a paper 1 day ago
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
upvoted a paper 1 day ago
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
authored a paper 3 months ago
TheoremGraph: Bridging Formal and Informal Mathematics
View all activity

Organizations

University of Washington Math AI Lab's profile picture