{"url":"/dataset/pgps9k","name":"PGPS9K","full_name":null,"description_markdown":"A new large scale plane geometry problem solving dataset called PGPS9K, labeled both fine-grained diagram annotation and interpretable solution program.","description_withheld":null,"homepage":"http://www.nlpr.ia.ac.cn/databases/CASIA-PGPS9K/index.html","introduced_date":"2023-02-22","introduced_date_note":null,"introduced_by":{"paper":"/paper/a-multi-modal-neural-geometric-solver-with","title":"A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram","first_author":"Ming-Liang Zhang","url":null},"license":null,"modalities":[{"name":"Images","url":"/datasets/modality/images"},{"name":"Texts","url":"/datasets/modality/texts"}],"tasks":[{"name":"Mathematical Reasoning","url":"/task/mathematical-reasoning","datasets_with_task":"/datasets/task/mathematical-reasoning"},{"name":"Math Word Problem Solving","url":"/task/math-word-problem-solving","datasets_with_task":"/datasets/task/math-word-problem-solving"}],"languages":[{"name":"English","url":"/datasets/language/english"}],"variants":["PGPS9K"],"data_loaders":[{"repo":"https://github.com/mingliangzhang2018/pgps","url":"https://github.com/mingliangzhang2018/pgps","frameworks":["pytorch"]}],"num_papers_in_archive":14,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[{"leaderboard":"/sota/mathematical-reasoning-on-pgps9k","task":"Mathematical Reasoning","dataset_variant":"PGPS9K","rows":6,"metrics":["Completion accuracy"],"first_row_in_archive_order":{"model":"GOLD","paper":"/paper/gold-geometry-problem-solver-with-natural","metrics":{"Completion accuracy":"65.8"},"code_links":[{"title":"neurasearch/geometry-diagram-description","url":"https://github.com/neurasearch/geometry-diagram-description"}]},"note":"rows are the archive's own order at snapshot; nothing here re-ranks them"}],"papers_with_a_benchmark_row":[{"paper":"/paper/gold-geometry-problem-solver-with-natural","title":"GOLD: Geometry Problem Solver with Natural Language Description","date":"2024-05-01","rows_on_this_dataset":1,"code_links":1,"syntology":null},{"paper":"/paper/gaps-geometry-aware-problem-solver","title":"GAPS: Geometry-Aware Problem Solver","date":"2024-01-29","rows_on_this_dataset":1,"code_links":0,"syntology":null},{"paper":"/paper/a-multi-modal-neural-geometric-solver-with","title":"A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram","date":"2023-02-22","rows_on_this_dataset":1,"code_links":1,"syntology":{"read_at":"2026-09-25T09:33:49+00:00","samples_harvested":7,"samples_ran":5,"samples_unverified":2,"pointer_only_for_licence":0,"claim":"Per-sample execution on synthesized fixtures; not a correctness claim."}},{"paper":"/paper/unigeo-unifying-geometry-logical-reasoning","title":"UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression","date":"2022-12-06","rows_on_this_dataset":1,"code_links":2,"syntology":{"read_at":"2026-09-25T09:33:49+00:00","samples_harvested":4,"samples_ran":2,"samples_unverified":2,"pointer_only_for_licence":4,"claim":"Per-sample execution on synthesized fixtures; not a correctness claim."}},{"paper":"/paper/geoqa-a-geometric-question-answering","title":"GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning","date":"2021-05-30","rows_on_this_dataset":1,"code_links":1,"syntology":{"read_at":"2026-09-25T09:33:49+00:00","samples_harvested":5,"samples_ran":0,"samples_unverified":5,"pointer_only_for_licence":5,"claim":"Per-sample execution on synthesized fixtures; not a correctness claim."}},{"paper":"/paper/inter-gps-interpretable-geometry-problem","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","date":"2021-05-10","rows_on_this_dataset":1,"code_links":1,"syntology":{"read_at":"2026-09-25T09:33:49+00:00","samples_harvested":2,"samples_ran":1,"samples_unverified":1,"pointer_only_for_licence":0,"claim":"Per-sample execution on synthesized fixtures; not a correctness claim."}}],"syntology_totals":{"read_at":"2026-09-25T09:33:49+00:00","papers_with_samples":4,"samples_harvested":18,"samples_ran":8,"samples_unverified":10,"pointer_only_for_licence":9,"papers_with_no_sample_that_ran":1,"note":"the per-paper counts above, summed; not a rate"},"papers_note":"The archive never published its papers-using-dataset list; these are papers with a leaderboard row on this dataset's benchmarks."}