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)
Variants: Geometry3K
This dataset is used in 1 benchmark:
| Task | Model | Paper | Date |
|---|---|---|---|
| Mathematical Question Answering | GOLD | GOLD: Geometry Problem Solver with … | 2024-05-01 |
| Mathematical Question Answering | GAPS | GAPS: Geometry-Aware Problem Solver | 2024-01-29 |
| Mathematical Question Answering | PGDPNet | Plane Geometry Diagram Parsing | 2022-05-19 |
| Mathematical Question Answering | Human | Inter-GPS: Interpretable Geometry Problem Solving … | 2021-05-10 |
| Mathematical Question Answering | Human Expert | Inter-GPS: Interpretable Geometry Problem Solving … | 2021-05-10 |
| Mathematical Question Answering | Random | Inter-GPS: Interpretable Geometry Problem Solving … | 2021-05-10 |
| Mathematical Question Answering | Inter-GPS (GT) | Inter-GPS: Interpretable Geometry Problem Solving … | 2021-05-10 |
| Mathematical Question Answering | Inter-GPS | Inter-GPS: Interpretable Geometry Problem Solving … | 2021-05-10 |
Recent papers with results on this dataset: