Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
1
Edward Zhang
EdwardLZhang
Follow
0 followers
ยท
1 following
EdwardLZhang
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
2 days ago
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
authored
a paper
2 days ago
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
View all activity
Organizations
Papers
1
arxiv:
2602.20629
models
0
None public yet
datasets
0
None public yet
