{"url":"/dataset/geometry3k","name":"Geometry3K","full_name":null,"description_markdown":"A new large-scale geometry problem-solving dataset\r\n- 3,002 multi-choice geometry problems \r\n- dense annotations in formal language for the diagrams and text\r\n- 27,213 annotated diagram logic forms (literals)\r\n- 6,293 annotated text logic forms (literals)","description_withheld":null,"homepage":"https://lupantech.github.io/inter-gps/","introduced_date":"2021-05-10","introduced_date_note":null,"introduced_by":{"paper":"/paper/inter-gps-interpretable-geometry-problem","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","first_author":"Pan Lu","url":null},"license":{"name":"MIT License","url":"https://github.com/lupantech/InterGPS/blob/main/LICENSE"},"modalities":[{"name":"Images","url":"/datasets/modality/images"},{"name":"Texts","url":"/datasets/modality/texts"}],"tasks":[{"name":"Question Answering","url":"/task/question-answering","datasets_with_task":"/datasets/task/question-answering"},{"name":"Semantic Parsing","url":"/task/semantic-parsing","datasets_with_task":"/datasets/task/semantic-parsing"},{"name":"Mathematical Question Answering","url":"/task/mathematical-question-answering","datasets_with_task":"/datasets/task/mathematical-question-answering"},{"name":"Math Word Problem Solving","url":"/task/math-word-problem-solving","datasets_with_task":"/datasets/task/math-word-problem-solving"},{"name":"Automated Theorem Proving","url":"/task/automated-theorem-proving","datasets_with_task":"/datasets/task/automated-theorem-proving"}],"languages":[{"name":"English","url":"/datasets/language/english"}],"variants":["Geometry3K"],"data_loaders":[{"repo":"https://github.com/lupantech/InterGPS","url":"https://github.com/lupantech/InterGPS/tree/main/data/geometry3k","frameworks":["pytorch"]}],"num_papers_in_archive":45,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[{"leaderboard":"/sota/mathematical-question-answering-on-geometry3k","task":"Mathematical Question Answering","dataset_variant":"Geometry3K","rows":8,"metrics":["Accuracy (%)"],"first_row_in_archive_order":{"model":"Human Expert","paper":"/paper/inter-gps-interpretable-geometry-problem","metrics":{"Accuracy (%)":"90.9"},"code_links":[{"title":"lupantech/InterGPS","url":"https://github.com/lupantech/InterGPS"}]},"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/plane-geometry-diagram-parsing","title":"Plane Geometry Diagram Parsing","date":"2022-05-19","rows_on_this_dataset":1,"code_links":1,"syntology":{"read_at":"2026-09-25T09:33:49+00:00","samples_harvested":3,"samples_ran":1,"samples_unverified":2,"pointer_only_for_licence":0,"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":5,"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":2,"samples_harvested":5,"samples_ran":2,"samples_unverified":3,"pointer_only_for_licence":0,"papers_with_no_sample_that_ran":0,"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."}