Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
2
Shubhra Mishra
shubhramishra
Follow
0 followers
·
3 following
https://shubhramishra07.github.io
shubhramishra_
shubhra-mishra
AI & ML interests
None yet
Organizations
shubhramishra
's datasets
2
Sort: Recently updated
shubhramishra/cs329h
Viewer
•
Updated
Dec 4, 2024
•
460
•
1
shubhramishra/autoformalization-benchmark-lean4
Updated
Jun 1, 2024
•
2
