{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:BK4QI3ZEEXYRC2MZPSWVVE4SMR","short_pith_number":"pith:BK4QI3ZE","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"},"canonical_sha256":"0ab9046f2425f11169997cad5a9392645465befcbd6fb430bcc59c3e770afdb6","source":{"kind":"arxiv","id":"2506.02690","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.02690","created_at":"2026-07-05T11:15:06Z"},{"alias_kind":"arxiv_version","alias_value":"2506.02690v1","created_at":"2026-07-05T11:15:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.02690","created_at":"2026-07-05T11:15:06Z"},{"alias_kind":"pith_short_12","alias_value":"BK4QI3ZEEXYR","created_at":"2026-07-05T11:15:06Z"},{"alias_kind":"pith_short_16","alias_value":"BK4QI3ZEEXYRC2MZ","created_at":"2026-07-05T11:15:06Z"},{"alias_kind":"pith_short_8","alias_value":"BK4QI3ZE","created_at":"2026-07-05T11:15:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:BK4QI3ZEEXYRC2MZPSWVVE4SMR","target":"record","payload":{"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"},"canonical_sha256":"0ab9046f2425f11169997cad5a9392645465befcbd6fb430bcc59c3e770afdb6","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"},"source_kind":"arxiv","source_id":"2506.02690","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:15:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iqiU9/5RiFJI2erEK2J0l5o05b16/xKSyyWpQjmdF/c0C1/1BQonTCik2yrPDzMZHT3SmF11m9Sir9Ckl34BAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T09:35:52.790886Z"},"content_sha256":"da0eee442558e578ad05cb646bb63fd77de309bcc6452d672a3730bc54a19c51","schema_version":"1.0","event_id":"sha256:da0eee442558e578ad05cb646bb63fd77de309bcc6452d672a3730bc54a19c51"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:BK4QI3ZEEXYRC2MZPSWVVE4SMR","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:15:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AvAl+0xUiDorM61giihY3npZ0rcyYmpJNtVRe54nU5waYmbi3zEO6lq8RRA6le3o0FKM85L/ZE14QjRZQsWSCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T09:35:52.791387Z"},"content_sha256":"3247f6108fea4522c4709aab99993ef88d299b8144e706c9090b4d0f840940ec","schema_version":"1.0","event_id":"sha256:3247f6108fea4522c4709aab99993ef88d299b8144e706c9090b4d0f840940ec"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR/bundle.json","state_url":"https://pith.science/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-08T09:35:52Z","links":{"resolver":"https://pith.science/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR","bundle":"https://pith.science/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR/bundle.json","state":"https://pith.science/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BK4QI3ZEEXYRC2MZPSWVVE4SMR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:BK4QI3ZEEXYRC2MZPSWVVE4SMR","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"769cbb9bb8fc284212d7f825c587be440b462ae198fe0ff8843c69d21bc7e0bd","cross_cats_sorted":["math.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2025-06-03T09:42:49Z","title_canon_sha256":"6141d222f7ce32dedebed1b8d072c934e9a88eca685065d4630f983a0cdb74ea"},"schema_version":"1.0","source":{"id":"2506.02690","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.02690","created_at":"2026-07-05T11:15:06Z"},{"alias_kind":"arxiv_version","alias_value":"2506.02690v1","created_at":"2026-07-05T11:15:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.02690","created_at":"2026-07-05T11:15:06Z"},{"alias_kind":"pith_short_12","alias_value":"BK4QI3ZEEXYR","created_at":"2026-07-05T11:15:06Z"},{"alias_kind":"pith_short_16","alias_value":"BK4QI3ZEEXYRC2MZ","created_at":"2026-07-05T11:15:06Z"},{"alias_kind":"pith_short_8","alias_value":"BK4QI3ZE","created_at":"2026-07-05T11:15:06Z"}],"graph_snapshots":[{"event_id":"sha256:3247f6108fea4522c4709aab99993ef88d299b8144e706c9090b4d0f840940ec","target":"graph","created_at":"2026-07-05T11:15:06Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2506.02690/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Irwin King, Jiahong Liu, Xiang Wang, Yurui Zhao, Zhitao Huang","cross_cats":["math.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2025-06-03T09:42:49Z","title":"Towards Geometry Problem Solving in the Large Model Era: A Survey"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.02690","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:da0eee442558e578ad05cb646bb63fd77de309bcc6452d672a3730bc54a19c51","target":"record","created_at":"2026-07-05T11:15:06Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"769cbb9bb8fc284212d7f825c587be440b462ae198fe0ff8843c69d21bc7e0bd","cross_cats_sorted":["math.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2025-06-03T09:42:49Z","title_canon_sha256":"6141d222f7ce32dedebed1b8d072c934e9a88eca685065d4630f983a0cdb74ea"},"schema_version":"1.0","source":{"id":"2506.02690","kind":"arxiv","version":1}},"canonical_sha256":"0ab9046f2425f11169997cad5a9392645465befcbd6fb430bcc59c3e770afdb6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0ab9046f2425f11169997cad5a9392645465befcbd6fb430bcc59c3e770afdb6","first_computed_at":"2026-07-05T11:15:06.554161Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:15:06.554161Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"elhxKwBU6rRau5W9ajEMIK/O7dIFTRfwYWgI+hO0uoptqOA1DUQLG8Pke1zT8+F/1vEkLl9SGVOjbfXS+BTPCg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:15:06.554701Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.02690","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:da0eee442558e578ad05cb646bb63fd77de309bcc6452d672a3730bc54a19c51","sha256:3247f6108fea4522c4709aab99993ef88d299b8144e706c9090b4d0f840940ec"],"state_sha256":"03993d588d009da3cb121b51a53f61ed02f05f41867b36e62ec729cdbc44b816"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nWOdxWwk0KvlWd+LV70ye+Ocvw2KjviZUJlkjO+yl7s9eg0k7AdTzrAANAUIRBeo/2FKlplO5L870ozr8SQHCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T09:35:52.795319Z","bundle_sha256":"0343eec2569497c729a4880b598eab07c89801acd5228b13bf23fcca504202fe"}}