Hrushikesh Pawar

Hrushi

10 4

AI & ML interests

None yet

Recent Activity

updated a model 1 day ago

Hrushi/sair-modmul-bitserial

published a model 3 days ago

Hrushi/sair-modmul-bitserial

updated a model 2 months ago

Hrushi/arc-neurosymbolic-mcts

View all activity

Organizations

updated a model 1 day ago

Hrushi/sair-modmul-bitserial

Updated 1 day ago

published a model 3 days ago

Hrushi/sair-modmul-bitserial

Updated 1 day ago

updated a model 2 months ago

Hrushi/arc-neurosymbolic-mcts

Updated May 3

published a model 2 months ago

Hrushi/arc-neurosymbolic-mcts

Updated May 3

updated a Space 3 months ago

LeanMigrate OpenEnv Environment

🧠

Step through Lean migration actions with code and proof inputs

published a Space 3 months ago

LeanMigrate OpenEnv Environment

🧠

Step through Lean migration actions with code and proof inputs

liked a dataset 4 months ago

neuralnets/multilingual-tinystories

Viewer • Updated Mar 15 • 133k • 279 • 6

upvoted a paper 5 months ago

Factorio Learning Environment

Paper • 2503.09617 • Published Mar 6, 2025 • 1

upvoted a collection 6 months ago

💧 LFM2.5

Collection

Collection of post-trained and base LFM2.5 models. • 14 items • Updated 8 days ago • 168

liked a dataset 12 months ago

hackaprompt/Pliny_HackAPrompt_Dataset

Viewer • Updated Jul 25, 2025 • 16.9k • 119 • 137

upvoted a collection about 1 year ago

Gemma 3n Preview

Collection

4 items • Updated Mar 12 • 209

liked a dataset about 1 year ago

maya-research/IndicVault

Viewer • Updated May 6, 2025 • 244k • 85 • 69

upvoted a collection about 1 year ago

Sanskrit

Collection

collection of all Sanskrit text, currently at 115K samples • 8 items • Updated May 24, 2025 • 11

reacted to onekq's post with 🔥 over 1 year ago

Post

3778

Folks, let's get ready.🥳 We will be busy soon. 😅🤗https://github.com/huggingface/transformers/pull/36878

upvoted a paper over 1 year ago

Sigmoid Loss for Language Image Pre-Training

Paper • 2303.15343 • Published Mar 27, 2023 • 12

updated a collection over 1 year ago

AIMO - Interesting Datasets

Collection

17 items • Updated Feb 10, 2025 • 1

upvoted a paper over 1 year ago

Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2

Paper • 2502.03544 • Published Feb 5, 2025 • 44

updated a collection over 1 year ago

AIMO - Interesting Datasets

Collection

17 items • Updated Feb 10, 2025 • 1

Hrushikesh Pawar

AI & ML interests

Recent Activity

Organizations

Hrushi's activity

LeanMigrate OpenEnv Environment

LeanMigrate OpenEnv Environment