I detta dokument introduceras GEOS, det första automatiserade systemet för att lösa oföränderliga SAT-geometrifrågor genom att kombinera textförståelse och diagramtolkning. Vi modellerar problemet med att förstå geometriska frågor som submodulär optimering, och identifierar en formell problembeskrivning som sannolikt är kompatibel med både frågetext och diagram. GEOS matar sedan beskrivningen till en geometrisk lösare som försöker avgöra det rätta svaret. I våra experiment uppnår GEOS 49% poäng på officiella SAT-frågor och 61% poäng på övningsfrågor. 1 Slutligen visar vi att genom att integrera text- och visuell information ökar GEOS noggrannheten i beroendet och den semantiska tolkningen av frågetexten.
REF löser en uppsättning SAT-geometrifrågor med text och diagram.
Solving Geometry Problems: Combining Text and Diagram Interpretation
{'venue': 'EMNLP', 'journal': None, 'mag_field_of_study': ['Computer Science']}