Simon Kurgan

simku22's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

commented a paper about 1 month ago

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Paper • 2609.25199 • Published Sep 21 • 16 •

3

upvoted a paper about 1 month ago

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Paper • 2609.25199 • Published Sep 21 • 16

authored a paper 4 months ago

TheoremGraph: Bridging Formal and Informal Mathematics

Paper • 2606.25363 • Published Jun 24 • 12

liked a dataset 4 months ago

uw-math-ai/math-graph

Viewer • Updated Jun 28 • 16.1M • 308 • 11

upvoted a paper 4 months ago

TheoremGraph: Bridging Formal and Informal Mathematics

Paper • 2606.25363 • Published Jun 24 • 12

updated a dataset 4 months ago

uw-math-ai/theorem-matching

Viewer • Updated Jun 26 • 101k • 219 • 3

published a dataset 5 months ago

uw-math-ai/theorem-matching

Viewer • Updated Jun 26 • 101k • 219 • 3