Rao

Samarth265's activity

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

updated a dataset 6 days ago

uw-math-ai/Math2Vec-embedding-dataset

Preview • Updated 3 days ago • 84

liked a dataset 6 days ago

ACDRepo/math_embedder_training

Viewer • Updated 21 days ago • 169k • 96 • 1

liked a dataset about 1 month ago

saharshb/mathlib-informal-split

Viewer • Updated Apr 2 • 211k • 24 • 1

upvoted a paper 3 months ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published Feb 5 • 22

upvoted a paper 4 months ago

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published Feb 3 • 29