Rao

Samarth265

2 1

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 1 month ago

uw-math-ai/Math2Vec-embedding-dataset

liked a dataset 2 months ago

saharshb/mathlib-informal-split

upvoted a paper 4 months ago

Semantic Search over 9 Million Mathematical Theorems

View all activity

Organizations

upvoted a paper 4 months ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published Feb 5 • 22

upvoted a paper 5 months ago

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published Feb 3 • 29