Simon Kurgan

simku22's activity

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

commented a paper 2 days ago

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Paper • 2609.25199 • Published 4 days ago • 14 •

3

upvoted a paper 2 days ago

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Paper • 2609.25199 • Published 4 days ago • 14

authored a paper 3 months ago

TheoremGraph: Bridging Formal and Informal Mathematics

Paper • 2606.25363 • Published Jun 24 • 12

liked a dataset 3 months ago

uw-math-ai/math-graph

Viewer • Updated Jun 28 • 16.1M • 325 • 10

upvoted a paper 3 months ago

TheoremGraph: Bridging Formal and Informal Mathematics

Paper • 2606.25363 • Published Jun 24 • 12

updated a dataset 3 months ago

uw-math-ai/theorem-matching

Viewer • Updated Jun 26 • 101k • 105 • 2

published a dataset 3 months ago

uw-math-ai/theorem-matching

Viewer • Updated Jun 26 • 101k • 105 • 2