Simon Kurgan

simku22

1 1

·

AI & ML interests

None yet

Recent Activity

authored a paper 21 days ago

TheoremGraph: Bridging Formal and Informal Mathematics

liked a dataset 22 days ago

uw-math-ai/math-graph

upvoted a paper 22 days ago

TheoremGraph: Bridging Formal and Informal Mathematics

View all activity

Organizations

upvoted a paper 22 days ago

TheoremGraph: Bridging Formal and Informal Mathematics

Paper • 2606.25363 • Published 29 days ago • 12