arxiv:2510.13888
Wenjie Ma
wenjiema02
AI & ML interests
None yet
Recent Activity
authored
a paper
13 days ago
Reliable Fine-Grained Evaluation of Natural Language Math Proofs
upvoted
a
paper
14 days ago
Reliable Fine-Grained Evaluation of Natural Language Math Proofs
updated
a dataset
17 days ago
wenjiema02/ProofBench
Organizations
