1 citations · 1 across the 13 of their papers we have counts for
1 paper · 2 filters
Yebo Peng, Yaoming Li, Zixiang Liu +6
Evaluating the mathematical capability of Large Language Models (LLMs) is a critical yet challenging frontier. Existing benchmarks fall short, particularly for proof-centric proble…