Simon Kurgan

simku22

1 1

·

AI & ML interests

None yet

Recent Activity

authored a paper 23 days ago

TheoremGraph: Bridging Formal and Informal Mathematics

liked a dataset 24 days ago

uw-math-ai/math-graph

upvoted a paper 24 days ago

TheoremGraph: Bridging Formal and Informal Mathematics

View all activity

Organizations

upvoted a paper 24 days ago

TheoremGraph: Bridging Formal and Informal Mathematics

Paper • 2606.25363 • Published about 1 month ago • 12