Simon Kurgan
simku22
AI & ML interests
None yet
Recent Activity
liked a dataset about 15 hours ago
uw-math-ai/math-graph upvoted a paper about 15 hours ago
TheoremGraph: Bridging Formal and Informal Mathematics updated a dataset 6 days ago
uw-math-ai/theorem-matchingOrganizations
