Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
qiujiang
Jayon02
Follow
0 followers
·
1 following
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
28 days ago
MMFormalizer: Multimodal Autoformalization in the Wild
View all activity
Organizations
Jayon02
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
upvoted
a
paper
28 days ago
MMFormalizer: Multimodal Autoformalization in the Wild
Paper
•
2601.03017
•
Published
Jan 6
•
105
Load more