Attention-Graph Curvature for the Verification of Mathematical Reasoning

Kanghyeon Kim, Johannes F. Lutzeyer, Yanzhu Guo

Language models have recently solved open Erdős problems and achieved gold-medal level performance on International Mathematical Olympiad problems. But their solutions, written in…