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
Recent Activity
authored
a paper
21 days ago
DiagramIR: An Automatic Pipeline for Educational Math Diagram Evaluation
authored
a paper
21 days ago
A Matter of Interest: Understanding Interestingness of Math Problems in Humans and Language Models
authored
a paper
21 days ago
From Next-Token to Mathematics: The Learning Dynamics of Mathematical Reasoning in Language Models
View all activity
Organizations
shubhramishra
's datasets
2
Sort: Recently updated
shubhramishra/cs329h
Viewer
•
Updated
Dec 4, 2024
•
460
•
14
shubhramishra/autoformalization-benchmark-lean4
Updated
Jun 1, 2024
•
11