Simon Kurgan

simku22

1 1

·

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

upvoted a paper 1 day ago

TheoremGraph: Bridging Formal and Informal Mathematics

Paper • 2606.25363 • Published 8 days ago • 6