{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/a-multi-modal-neural-geometric-solver-with","title":"A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram","arxiv_id":"2302.11097","date":"2023-02-22","proceeding":null,"authors":["Ming-Liang Zhang","Fei Yin","Cheng-Lin Liu"],"abstract":"Geometry problem solving (GPS) is a high-level mathematical reasoning requiring the capacities of multi-modal fusion and geometric knowledge application. Recently, neural solvers have shown great potential in GPS but still be short in diagram presentation and modal fusion. In this work, we convert diagrams into basic textual clauses to describe diagram features effectively, and propose a new neural solver called PGPSNet to fuse multi-modal information efficiently. Combining structural and semantic pre-training, data augmentation and self-limited decoding, PGPSNet is endowed with rich knowledge of geometry theorems and geometric representation, and therefore promotes geometric understanding and reasoning. In addition, to facilitate the research of GPS, we build a new large-scale and fine-annotated GPS dataset named PGPS9K, labeled with both fine-grained diagram annotation and interpretable solution program. Experiments on PGPS9K and an existing dataset Geometry3K validate the superiority of our method over the state-of-the-art neural solvers. Our code, dataset and appendix material are available at \\url{https://github.com/mingliangzhang2018/PGPS}.","url_abs":"https://arxiv.org/abs/2302.11097v2","url_pdf":"https://arxiv.org/pdf/2302.11097v2.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"a-multi-modal-neural-geometric-solver-with","repo_url":"https://github.com/mingliangzhang2018/pgps","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"pytorch","reach":{"status":"ok","spdx":"MIT"}}],"tasks":[{"task_slug":"geometry-problem-solving","task_name":"Geometry Problem Solving"},{"task_slug":"mathematical-reasoning","task_name":"Mathematical Reasoning"}],"methods":[],"datasets_introduced":[{"slug":"pgps9k","name":"PGPS9K","full_name":""}],"methods_introduced":[],"results":[{"leaderboard":"/sota/mathematical-reasoning-on-pgps9k","task":"Mathematical Reasoning","dataset":"PGPS9K","model":"PGPSNet","rank_in_archive_order":2,"of":6,"metrics":{"Completion accuracy":"62.7"},"uses_additional_data":false}],"syntology":{"syntology_url":null,"atlas_url":"https://app.syntology.ai/?focus=2302.11097","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2302.11097"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-24T18:15:14+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/mingliangzhang2018/pgps","reach":{"status":"ok","spdx":"MIT"}},{"provenance":"deterministic:regex_extraction","url":"https://github.com/mingliangzhang2018/PGPS","reach":{"status":"ok","spdx":"MIT"}}],"summary":{"ran":4,"unverified":3},"by_repo_kind":{"official":{"samples":7,"ran":4,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":0,"samples":[{"code_sha256_prefix":"d36e8b1433fbe304","entry":"GenerateNode","repo":"mingliangzhang2018/PGPS","repo_kind":"official","path":"model/decoder/tree_decoder.py","file_url":"https://github.com/mingliangzhang2018/PGPS/blob/HEAD/model/decoder/tree_decoder.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"d36e8b1433fbe304"}},{"code_sha256_prefix":"8de4ad59f328030a","entry":"TreeBeam","repo":"mingliangzhang2018/PGPS","repo_kind":"official","path":"model/decoder/tree_decoder.py","file_url":"https://github.com/mingliangzhang2018/PGPS/blob/HEAD/model/decoder/tree_decoder.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"8de4ad59f328030a"}},{"code_sha256_prefix":"21ef793e8c9fb8d9","entry":"TreeEmbedding","repo":"mingliangzhang2018/PGPS","repo_kind":"official","path":"model/decoder/tree_decoder.py","file_url":"https://github.com/mingliangzhang2018/PGPS/blob/HEAD/model/decoder/tree_decoder.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"21ef793e8c9fb8d9"}},{"code_sha256_prefix":"e92507afe88c64d6","entry":"TreeNode","repo":"mingliangzhang2018/PGPS","repo_kind":"official","path":"model/decoder/tree_decoder.py","file_url":"https://github.com/mingliangzhang2018/PGPS/blob/HEAD/model/decoder/tree_decoder.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"e92507afe88c64d6"}},{"code_sha256_prefix":"0abe15ffd3f49b12","entry":"Merge","repo":"mingliangzhang2018/PGPS","repo_kind":"official","path":"model/decoder/tree_decoder.py","file_url":"https://github.com/mingliangzhang2018/PGPS/blob/HEAD/model/decoder/tree_decoder.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"0abe15ffd3f49b12"}},{"code_sha256_prefix":"9a80ad593d14f57d","entry":"Prediction","repo":"mingliangzhang2018/PGPS","repo_kind":"official","path":"model/decoder/tree_decoder.py","file_url":"https://github.com/mingliangzhang2018/PGPS/blob/HEAD/model/decoder/tree_decoder.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"9a80ad593d14f57d"}},{"code_sha256_prefix":"399d5e1571bafac5","entry":"TreeDecoder","repo":"mingliangzhang2018/PGPS","repo_kind":"official","path":"model/decoder/tree_decoder.py","file_url":"https://github.com/mingliangzhang2018/PGPS/blob/HEAD/model/decoder/tree_decoder.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"MIT","inline_ok":true,"mcp_get_code":{"code_sha256":"399d5e1571bafac5"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}