Attention-Graph Curvature for the Verification of Mathematical Reasoning
Language models have recently solved open Erd\H{o}s problems and achieved gold-medal level performance on International Mathematical Olympiad problems. But their solutions, written in natural language, cannot yet be verified by proof assistants. An erroneous reasoning step can invalidate every step that comes after, so...