Effective geometry reasoning requires not just extracting geometric facts, but organizing them intelligently—and this organization can be learned and improved automatically rather than hand-crafted.
This paper tackles a key problem in geometry problem-solving: converting visual diagrams into text that AI models can reason about. Rather than using a fixed parser, the authors propose GeoReform, which treats formalization as a learnable process that improves through trial and error.