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 about 2 months ago
Reliable Fine-Grained Evaluation of Natural Language Math Proofs
updated a dataset about 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 • 1
upvoted a paper about 2 months ago

Reliable Fine-Grained Evaluation of Natural Language Math Proofs

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

wenjiema02/ProofBench

Viewer • Updated Oct 14 • 899 • 144 • 3
published a dataset about 2 months ago

wenjiema02/ProofBench

Viewer • Updated Oct 14 • 899 • 144 • 3
upvoted a paper 2 months ago

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

Paper • 2509.25454 • Published Sep 29 • 139
upvoted a paper 6 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