{"url":"/dataset/geos","name":"GeoS","full_name":null,"description_markdown":"**GeoS** is a dataset for automatic math problem solving. It is a dataset of SAT plane geometry questions where every question has a textual description in English accompanied by a diagram and multiple choices. Questions and answers are compiled from previous official SAT exams and practice exams offered by the College Board. We annotate ground-truth logical forms for all questions in the dataset.","description_withheld":null,"homepage":"http://geometry.allenai.org/","introduced_date":"2015-09-01","introduced_date_note":null,"introduced_by":{"paper":"/paper/solving-geometry-problems-combining-text-and","title":"Solving Geometry Problems: Combining Text and Diagram Interpretation","first_author":"Minjoon Seo","url":null},"license":{"name":"Unknown","url":null},"modalities":[{"name":"Texts","url":"/datasets/modality/texts"}],"tasks":[{"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"}],"languages":[{"name":"English","url":"/datasets/language/english"}],"variants":["GeoS"],"data_loaders":[],"num_papers_in_archive":24,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[{"leaderboard":"/sota/mathematical-question-answering-on-geos","task":"Mathematical Question Answering","dataset_variant":"GeoS","rows":2,"metrics":["Accuracy (%)"],"first_row_in_archive_order":{"model":"Inter-GPS","paper":"/paper/inter-gps-interpretable-geometry-problem","metrics":{"Accuracy (%)":"67"},"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/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-24T18:15:14+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."}},{"paper":"/paper/solving-geometry-problems-combining-text-and","title":"Solving Geometry Problems: Combining Text and Diagram Interpretation","date":"2015-09-01","rows_on_this_dataset":1,"code_links":1,"syntology":null}],"syntology_totals":{"read_at":"2026-09-24T18:15:14+00:00","papers_with_samples":1,"samples_harvested":2,"samples_ran":1,"samples_unverified":1,"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."}