Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
4
Wenjie Ma
wenjiema02
Follow
ZHH2001's profile picture
1 follower
·
1 following
WenjieMa2002
euclidgame
AI & ML interests
None yet
Recent Activity
authored
a paper
about 1 month ago
Reliable Fine-Grained Evaluation of Natural Language Math Proofs
upvoted
a
paper
about 1 month ago
Reliable Fine-Grained Evaluation of Natural Language Math Proofs
updated
a dataset
about 1 month ago
wenjiema02/ProofBench
View all activity
Organizations
wenjiema02
's datasets
1
Sort: Recently updated
wenjiema02/ProofBench
Viewer
•
Updated
Oct 14
•
899
•
88
•
3