1 paper · 1 filter
Yushun Zhang, Weiping Fu, Zesheng Yang +6
Evaluating the symbolic reasoning of large language models (LLMs) calls for geometry benchmarks that require multi-step proofs grounded in both text and diagrams. However, existing…