Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2410.09988
Cited By
HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics
13 October 2024
Jingxuan Fan
Sarah Martinson
Erik Y. Wang
Kaylie Hausknecht
Jonah Brenner
Danxian Liu
Nianli Peng
Corey Wang
Michael P. Brenner
Re-assign community
ArXiv
PDF
HTML
Papers citing
"HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics"
1 / 1 papers shown
Title
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
Zhouliang Yu
Ruotian Peng
Keyi Ding
Y. K. Li
Zhongyuan Peng
...
Huajian Xin
W. R. Huang
Yandong Wen
Ge Zhang
Weiyang Liu
LRM
35
0
0
05 May 2025
1
