10 4

Hrushikesh Pawar

Hrushi

AI & ML interests

None yet

Recent Activity

updated a Space about 3 hours ago

Hrushi/lean-migrate

published a Space 7 days ago

Hrushi/lean-migrate

liked a dataset 29 days ago

neuralnets/multilingual-tinystories

View all activity

Organizations

Collections 4

View 4 collections

spaces 1

LeanMigrate OpenEnv Environment

🧠

Step through Lean migration actions with code and proof inputs

models 2

Hrushi/q-Taxi-v3

Reinforcement Learning • Updated Oct 21, 2024

Hrushi/ppo-LunarLander-v2

Reinforcement Learning • Updated Oct 18, 2024 • 3

datasets 0

None public yet

Hrushikesh Pawar

AI & ML interests

Recent Activity

Organizations

Collections 4

neuralnets/multilingual-tinystories

hackaprompt/Pliny_HackAPrompt_Dataset

neuralnets/multilingual-tinystories

hackaprompt/Pliny_HackAPrompt_Dataset

spaces 1

LeanMigrate OpenEnv Environment

models 2

Hrushi/q-Taxi-v3

Hrushi/ppo-LunarLander-v2

datasets 0

Hrushikesh Pawar

AI & ML interests

Recent Activity

Organizations

Collections 4

spaces 1

LeanMigrate OpenEnv Environment

models 2 Sort: Recently updated

datasets 0

models 2