Simon Kurgan

simku22

1 1

·

AI & ML interests

None yet

Recent Activity

authored a paper 17 days ago

TheoremGraph: Bridging Formal and Informal Mathematics

liked a dataset 18 days ago

uw-math-ai/math-graph

upvoted a paper 18 days ago

TheoremGraph: Bridging Formal and Informal Mathematics

View all activity

Organizations

upvoted a paper 18 days ago

TheoremGraph: Bridging Formal and Informal Mathematics

Paper • 2606.25363 • Published 25 days ago • 12