{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:BK4QI3ZEEXYRC2MZPSWVVE4SMR","short_pith_number":"pith:BK4QI3ZE","schema_version":"1.0","canonical_sha256":"0ab9046f2425f11169997cad5a9392645465befcbd6fb430bcc59c3e770afdb6","source":{"kind":"arxiv","id":"2506.02690","version":1},"attestation_state":"computed","paper":{"title":"Towards Geometry Problem Solving in the Large Model Era: A Survey","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GT"],"primary_cat":"cs.CV","authors_text":"Irwin King, Jiahong Liu, Xiang Wang, Yurui Zhao, Zhitao Huang","submitted_at":"2025-06-03T09:42:49Z","abstract_excerpt":"Geometry problem solving (GPS) represents a critical frontier in artificial intelligence, with profound applications in education, computer-aided design, and computational graphics. Despite its significance, automating GPS remains challenging due to the dual demands of spatial understanding and rigorous logical reasoning. Recent advances in large models have enabled notable breakthroughs, particularly for SAT-level problems, yet the field remains fragmented across methodologies, benchmarks, and evaluation frameworks. This survey systematically synthesizes GPS advancements through three core di"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2506.02690","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2025-06-03T09:42:49Z","cross_cats_sorted":["math.GT"],"title_canon_sha256":"6141d222f7ce32dedebed1b8d072c934e9a88eca685065d4630f983a0cdb74ea","abstract_canon_sha256":"769cbb9bb8fc284212d7f825c587be440b462ae198fe0ff8843c69d21bc7e0bd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:15:06.554701Z","signature_b64":"elhxKwBU6rRau5W9ajEMIK/O7dIFTRfwYWgI+hO0uoptqOA1DUQLG8Pke1zT8+F/1vEkLl9SGVOjbfXS+BTPCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0ab9046f2425f11169997cad5a9392645465befcbd6fb430bcc59c3e770afdb6","last_reissued_at":"2026-07-05T11:15:06.554161Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:15:06.554161Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Towards Geometry Problem Solving in the Large Model Era: A Survey","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GT"],"primary_cat":"cs.CV","authors_text":"Irwin King, Jiahong Liu, Xiang Wang, Yurui Zhao, Zhitao Huang","submitted_at":"2025-06-03T09:42:49Z","abstract_excerpt":"Geometry problem solving (GPS) represents a critical frontier in artificial intelligence, with profound applications in education, computer-aided design, and computational graphics. Despite its significance, automating GPS remains challenging due to the dual demands of spatial understanding and rigorous logical reasoning. Recent advances in large models have enabled notable breakthroughs, particularly for SAT-level problems, yet the field remains fragmented across methodologies, benchmarks, and evaluation frameworks. This survey systematically synthesizes GPS advancements through three core di"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.02690","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.02690/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2506.02690","created_at":"2026-07-05T11:15:06.554219+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.02690v1","created_at":"2026-07-05T11:15:06.554219+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.02690","created_at":"2026-07-05T11:15:06.554219+00:00"},{"alias_kind":"pith_short_12","alias_value":"BK4QI3ZEEXYR","created_at":"2026-07-05T11:15:06.554219+00:00"},{"alias_kind":"pith_short_16","alias_value":"BK4QI3ZEEXYRC2MZ","created_at":"2026-07-05T11:15:06.554219+00:00"},{"alias_kind":"pith_short_8","alias_value":"BK4QI3ZE","created_at":"2026-07-05T11:15:06.554219+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.20743","citing_title":"Draw2Think: Harnessing Geometry Reasoning through Constraint Engine Interaction","ref_index":69,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR","json":"https://pith.science/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR.json","graph_json":"https://pith.science/api/pith-number/BK4QI3ZEEXYRC2MZPSWVVE4SMR/graph.json","events_json":"https://pith.science/api/pith-number/BK4QI3ZEEXYRC2MZPSWVVE4SMR/events.json","paper":"https://pith.science/paper/BK4QI3ZE"},"agent_actions":{"view_html":"https://pith.science/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR","download_json":"https://pith.science/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR.json","view_paper":"https://pith.science/paper/BK4QI3ZE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.02690&json=true","fetch_graph":"https://pith.science/api/pith-number/BK4QI3ZEEXYRC2MZPSWVVE4SMR/graph.json","fetch_events":"https://pith.science/api/pith-number/BK4QI3ZEEXYRC2MZPSWVVE4SMR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR/action/storage_attestation","attest_author":"https://pith.science/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR/action/author_attestation","sign_citation":"https://pith.science/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR/action/citation_signature","submit_replication":"https://pith.science/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR/action/replication_record"}},"created_at":"2026-07-05T11:15:06.554219+00:00","updated_at":"2026-07-05T11:15:06.554219+00:00"}