{"url":"/task/geometry-problem-solving","name":"Geometry Problem Solving","slug":"geometry-problem-solving","description_markdown":"Geometry problem solving with geometry diagrams and (formal) problem descriptions.","categories":[{"name":"Reasoning","url":"/area/reasoning"}],"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","slug_source":"derived"},"counts":{"papers_tagged":27,"papers_with_code":12,"benchmarks":0,"benchmark_tables_in_archive":0,"benchmark_tables_shown":0,"benchmark_tables_withheld_as_spam":0,"benchmark_definition":"a leaderboard table with at least one row; benchmark_tables_shown also counts the zero-row tables; benchmark_tables_in_archive adds the tables withheld as spam","datasets":0,"subtasks":0,"parent_tasks":1},"benchmarks":[],"datasets":[],"subtasks":[],"parent_tasks":[{"url":"/task/mathematical-reasoning","name":"Mathematical Reasoning"}],"papers":{"order":"repositories listed in the archive (desc), then date (desc); the archive holds no stars","population":"papers tagged with this task that list at least one repository in the archive","shown":12,"of":12,"tagged_in_all":27,"items":[{"url":"/paper/geox-geometric-problem-solving-through","title":"GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training","date":"2024-12-16","arxiv_id":"2412.11863","repositories_listed":2,"syntology":{"n":7,"n_ran":2,"n_unverified":5,"n_pointer_only":7}},{"url":"/paper/formalgeo-the-first-step-toward-human-like","title":"FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving","date":"2023-10-27","arxiv_id":"2310.18021","repositories_listed":2,"syntology":null},{"url":"/paper/unigeo-unifying-geometry-logical-reasoning","title":"UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression","date":"2022-12-06","arxiv_id":"2212.02746","repositories_listed":2,"syntology":{"n":4,"n_ran":2,"n_unverified":2,"n_pointer_only":4}},{"url":"/paper/mathcoder-vl-bridging-vision-and-code-for","title":"MathCoder-VL: Bridging Vision and Code for Enhanced Multimodal Mathematical Reasoning","date":"2025-05-15","arxiv_id":"2505.10557","repositories_listed":1,"syntology":{"n":2,"n_ran":2,"n_unverified":0,"n_pointer_only":2}},{"url":"/paper/enhancing-the-geometric-problem-solving","title":"Enhancing the Geometric Problem-Solving Ability of Multimodal LLMs via Symbolic-Neural Integration","date":"2025-04-17","arxiv_id":"2504.12773","repositories_listed":1,"syntology":null},{"url":"/paper/diagram-formalization-enhanced-multi-modal","title":"Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver","date":"2024-09-06","arxiv_id":"2409.04214","repositories_listed":1,"syntology":null},{"url":"/paper/learning-to-solve-geometry-problems-via","title":"Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning Process","date":"2024-05-10","arxiv_id":"2405.06232","repositories_listed":1,"syntology":null},{"url":"/paper/geoeval-benchmark-for-evaluating-llms-and","title":"GeoEval: Benchmark for Evaluating LLMs and Multi-Modal Models on Geometry Problem-Solving","date":"2024-02-15","arxiv_id":"2402.10104","repositories_listed":1,"syntology":{"n":14,"n_ran":13,"n_unverified":1,"n_pointer_only":14}},{"url":"/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","arxiv_id":"2302.11097","repositories_listed":1,"syntology":{"n":7,"n_ran":4,"n_unverified":3,"n_pointer_only":0}},{"url":"/paper/pgdp5k-a-diagram-parsing-dataset-for-plane","title":"PGDP5K: A Diagram Parsing Dataset for Plane Geometry Problems","date":"2022-05-20","arxiv_id":"2205.09947","repositories_listed":1,"syntology":null},{"url":"/paper/plane-geometry-diagram-parsing","title":"Plane Geometry Diagram Parsing","date":"2022-05-19","arxiv_id":"2205.09363","repositories_listed":1,"syntology":{"n":3,"n_ran":1,"n_unverified":2,"n_pointer_only":0}},{"url":"/paper/inter-gps-interpretable-geometry-problem","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","date":"2021-05-10","arxiv_id":"2105.04165","repositories_listed":1,"syntology":{"n":2,"n_ran":1,"n_unverified":1,"n_pointer_only":0}}],"syntology_records":7,"syntology_note":"a paper without a record is not a recorded non-run: it may lack an arXiv id or simply be absent from the graph layer"},"description_links":{"kept":0,"unwrapped_to_text":0,"bare_urls_linked":0,"relative_images_dropped":0,"rule":"internal links are kept only when the target slug exists in the catalog"},"syntology":{"read_at":"2026-09-24T18:15:14+00:00","claim":"Per-sample execution status on synthesized fixtures ('ran N of M samples'); not a correctness claim and not a ranking signal.","status_vocabulary":{"ran_honours":"ran, honoured the contract we drafted","ran_violates":"ran, violated the contract we drafted","ran_draft_wrong":"ran; our contract draft was wrong, not the code","ran_fixture":"ran; our fixture could not drive it","ran":"ran on a synthesized input","unverified":"unverified (harvested, no recorded run)"}},"not_shown":{"libraries":"the archive has no per-task library table","trend_sparklines":"the Trend column of the benchmarks table was a rendered image; it is not in the archive","social_and_latest_sorts":"stars and social signals are not in the archive"}}