Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Wenjie Ma's picture
4

Wenjie Ma

wenjiema02
ZHH2001's profile picture
·
  • WenjieMa2002
  • euclidgame

AI & ML interests

None yet

Recent Activity

authored a paper about 2 months ago
Reliable Fine-Grained Evaluation of Natural Language Math Proofs
upvoted a paper 2 months ago
Reliable Fine-Grained Evaluation of Natural Language Math Proofs
updated a dataset 2 months ago
wenjiema02/ProofBench
View all activity

Organizations

UC Berkeley's profile picture

authored a paper about 2 months ago

Reliable Fine-Grained Evaluation of Natural Language Math Proofs

Paper • 2510.13888 • Published Oct 14 • 2
upvoted a paper 2 months ago

Reliable Fine-Grained Evaluation of Natural Language Math Proofs

Paper • 2510.13888 • Published Oct 14 • 2
updated a dataset 2 months ago

wenjiema02/ProofBench

Viewer • Updated Oct 14 • 899 • 221 • 4
published a dataset 2 months ago

wenjiema02/ProofBench

Viewer • Updated Oct 14 • 899 • 221 • 4
upvoted a paper 3 months ago

DeepSearch: Overcome the Bottleneck of Reinforcement Learning with Verifiable Rewards via Monte Carlo Tree Search

Paper • 2509.25454 • Published Sep 29 • 140
upvoted a paper 7 months ago

Sparse VideoGen2: Accelerate Video Generation with Sparse Attention via Semantic-Aware Permutation

Paper • 2505.18875 • Published May 24 • 42
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs