1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
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…