U ni G eo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression (2022)

Abstract: Geometry problem solving is a well-recognized testbed for evaluating the high-level multi-modal reasoning capability of deep models. In most existing works, two main geometry problems: calculation and proving, are usually treated as two specific tasks, hindering a deep model to unify its reasoning capability on multiple math tasks. However, in essence, these two tasks have similar problem representations and overlapped math knowledge which can improve the understanding and reasoning ability of a deep model on both two tasks. Therefore, we construct a large-scale Unified Geometry problem benchmark, UniGeo, which contains 4,998 calculation problems and 9,543 proving problems. Each proving problem is annotated with a multi-step proof with reasons and mathematical expressions. The proof can be easily reformulated as a proving sequence that shares the same formats with the annotated program sequence for calculation problems. Naturally, we also present a unified multi-task Geometric Transformer framework, Geoformer, to tackle calculation and proving problems simultaneously in the form of sequence generation, which finally shows the reasoning ability can be improved on both two tasks by unifying formulation. Furthermore, we propose a Mathematical Expression Pretraining (MEP) method that aims to predict the mathematical expressions in the problem solution, thus improving the Geoformer model. Experiments on the UniGeo demonstrate that our proposed Geoformer obtains state-of-the-art performance by outperforming task-specific model NGS with over 5.6% and 3.2% accuracies on calculation and proving problems, respectively.

## introduction equal | n0 | double | v0 program sequence ab is the diameter of circle o and point c is on the circle. if @xmath0, then @xmath1. calculation unified geometric transformer @xmath2. u is the midpoint of tv. complete the proof that @xmath3. midpoint | tu | = | uv | sss | tuw | | uvx | cpctc | t | = | vux proving sequence pretraining unified training ## unifying geometry reasoning in this work, we aim to unify geometry logical reasoning for both calculation and proving problems. to this end, we first construct a geometry proving dataset that requires multiple reasoning abilities while solving the problems. furthermore, we reformulate the proof as sequence form which is consistent with the program sequence in the calculation problems of the current geoqa @xcite . ## conclusion recently, geometry problem solving has attracted much attention in ai research while previous works mainly focus on geometry calculation problems. it is significant to explore the unified reasoning abilities of neural models on multiple math tasks. therefore, we integrate geometry calculation and proving problems, and construct a unified geometry benchmark, unigeo, containing 9,543 proving problems with proof reasons and mathematical expressions that can be reformulated as proving sequence to unify with the program sequence of calculation problems. we also propose a unified geoformer that can address calculation and proving problems simultaneously. besides, a mathematical expression pretraining way is proposed to promote the performance of the unified geoformer. experiments show that our geoformer can well address two challenging geometry tasks with a single set of model weights, outperforming task-specialized models and obtaining state-of-the-art performance.