Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

8057

Knowledge Triples

Source Entity	Relationship	Target Entity
Геометрия3K Material	usedFor	Геометриялық есептерді шешу Task
GEOS деректер жиынтығы Material	usedFor	Геометриялық есептерді шешу Task
Түсінікті геометриялық есептерді шешуші Method	addresses	Геометриялық есептерді шешу Task
Теоремаларды болжаушы Method	componentOf	Түсінікті геометриялық есептерді шешуші Method