Datasets › PGPS9K

PGPS9K

Introduced by Ming-Liang Zhang et al. in A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram22 Feb 2023 archive 2025-07-28

A new large scale plane geometry problem solving dataset called PGPS9K, labeled both fine-grained diagram annotation and interpretable solution program.

Benchmarks archive 2025-07-28

All 1 leaderboard whose dataset resolves to this page shown (sort by any header). "First row" is the archive's own first row at snapshot, in the archive's row order; nothing here re-ranks and metric direction is not asserted.

First row (archive order)PaperCode
Mathematical Reasoning PGPS9K GOLD Completion accuracy 65.8 GOLD: Geometry Problem Solver with Natural Language Description neurasearch/geometry-diagram-description 6 Compare

Papers archive 2025-07-28

6 shown of 6 papers with a leaderboard row on this dataset's benchmarks, newest first. The archive's own "papers using this dataset" list was never published, so this is the benchmark-backed subset; the archive's count for this dataset is 14. The Syntology column is from Syntology's graph (read 2026-09-24), stated per sample; it is not part of any archive number.

DateSamples run Syntology
GOLD: Geometry Problem Solver with Natural Language Description 1 1 1 May 2024 not harvested
GAPS: Geometry-Aware Problem Solver 0 1 29 Jan 2024 not harvested
A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram 1 1 22 Feb 2023 ran 4 of 7 samples (3 unverified)
UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression 2 1 6 Dec 2022 ran 2 of 4 samples (2 unverified; 4 pointer-only for licence)
GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning 1 1 30 May 2021 ran 0 of 5 samples (5 unverified; 5 pointer-only for licence)
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning 1 1 10 May 2021 ran 1 of 2 samples (1 unverified)

Dataset loaders archive 2025-07-28

1 loader as listed in the archive; links are outbound and not re-checked here.

Tasks archive 2025-07-28

License archive 2025-07-28

No licence recorded in the archive. Absence here is not a statement about the dataset's terms.

Modalities archive 2025-07-28

Languages archive 2025-07-28

Variants archive 2025-07-28

  • PGPS9K

1 variant name, as the archive lists them.

Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections