Shubhra Mishra's picture

2

Shubhra Mishra

shubhramishra

·

https://shubhramishra07.github.io

AI & ML interests

None yet

Organizations

Papers 6

arxiv:2511.08548

arxiv:2511.08283

arxiv:2510.13008

arxiv:2407.00900

models 1

shubhramishra/ppo-LunarLander-v2

Reinforcement Learning • Updated Nov 19, 2023

datasets 2

shubhramishra/cs329h

Viewer • Updated Dec 4, 2024 • 460 • 1

shubhramishra/autoformalization-benchmark-lean4

Updated Jun 1, 2024 • 7