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 16 days ago
Reliable Fine-Grained Evaluation of Natural Language Math Proofs
upvoted a paper 17 days ago
Reliable Fine-Grained Evaluation of Natural Language Math Proofs
updated a dataset 20 days ago
wenjiema02/ProofBench
View all activity

Organizations

UC Berkeley's profile picture

authored a paper 16 days ago

Reliable Fine-Grained Evaluation of Natural Language Math Proofs

Paper • 2510.13888 • Published 20 days ago • 1
upvoted a paper 17 days ago

Reliable Fine-Grained Evaluation of Natural Language Math Proofs

Paper • 2510.13888 • Published 20 days ago • 1
updated a dataset 20 days ago

wenjiema02/ProofBench

Viewer • Updated 20 days ago • 899 • 184 • 2
published a dataset 21 days ago

wenjiema02/ProofBench

Viewer • Updated 20 days ago • 899 • 184 • 2
upvoted a paper about 1 month ago

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

Paper • 2509.25454 • Published Sep 29 • 136
upvoted a paper 5 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 Jobs
Website
Models Datasets Spaces Pricing Docs