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