wenjiema02/ProofBench
Viewer
•
Updated
•
899
•
180
•
2
Wenjie Ma
wenjiema02
AI & ML interests
None yet
Recent Activity
authored
a paper
15 days ago
Reliable Fine-Grained Evaluation of Natural Language Math Proofs
upvoted
a
paper
15 days ago
Reliable Fine-Grained Evaluation of Natural Language Math Proofs
updated
a dataset
18 days ago
wenjiema02/ProofBench
Organizations
