ImagesTexts

Geometry3K

Introduced in Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning2021

About this Dataset

A new large-scale geometry problem-solving dataset

3,002 multi-choice geometry problems
dense annotations in formal language for the diagrams and text
27,213 annotated diagram logic forms (literals)
6,293 annotated text logic forms (literals)

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

Dataset Variants

Geometry3K

Papers1

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

This work constructs a new largescale benchmark, Geometry3K, consisting of 3,002 geometry problems with dense annotation in formal language, and proposes a novel geometry solving approach with formal language and symbolic reasoning, called Interpretable Geometry Problem Solver (InterGPS).

Dataset Loaders

EDIT

🔥

lupantech/InterGPS

pytorch

Tasks

EDIT

Question Answering Semantic Parsing Mathematical Question Answering Math Word Problem Solving Automated Theorem Proving

Similar Datasets