{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:BV2FGR3YZPPVJYTC44LPTUO5OX","short_pith_number":"pith:BV2FGR3Y","canonical_record":{"source":{"id":"2409.04214","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2024-09-06T12:11:06Z","cross_cats_sorted":[],"title_canon_sha256":"8f5d78feaeb70ac65584a62590dadc60df11a676fee8834371c47455bc27a892","abstract_canon_sha256":"0d364c1f0960a1d7a7668113d8258b02b23d559cc2aaaee949eca317cd68971b"},"schema_version":"1.0"},"canonical_sha256":"0d74534778cbdf54e262e716f9d1dd75d7b769aca2a4406730f3157e727b5c19","source":{"kind":"arxiv","id":"2409.04214","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.04214","created_at":"2026-07-05T09:04:41Z"},{"alias_kind":"arxiv_version","alias_value":"2409.04214v2","created_at":"2026-07-05T09:04:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.04214","created_at":"2026-07-05T09:04:41Z"},{"alias_kind":"pith_short_12","alias_value":"BV2FGR3YZPPV","created_at":"2026-07-05T09:04:41Z"},{"alias_kind":"pith_short_16","alias_value":"BV2FGR3YZPPVJYTC","created_at":"2026-07-05T09:04:41Z"},{"alias_kind":"pith_short_8","alias_value":"BV2FGR3Y","created_at":"2026-07-05T09:04:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:BV2FGR3YZPPVJYTC44LPTUO5OX","target":"record","payload":{"canonical_record":{"source":{"id":"2409.04214","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2024-09-06T12:11:06Z","cross_cats_sorted":[],"title_canon_sha256":"8f5d78feaeb70ac65584a62590dadc60df11a676fee8834371c47455bc27a892","abstract_canon_sha256":"0d364c1f0960a1d7a7668113d8258b02b23d559cc2aaaee949eca317cd68971b"},"schema_version":"1.0"},"canonical_sha256":"0d74534778cbdf54e262e716f9d1dd75d7b769aca2a4406730f3157e727b5c19","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:04:41.378494Z","signature_b64":"8+e04I9JWsCdaX5inpwVUYQL3+cnFiGfofkqwKuk7xvhHLA5P2lvqd5ohXdsV0Q4oXj0P5ox+PYmSqPLYfGKCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0d74534778cbdf54e262e716f9d1dd75d7b769aca2a4406730f3157e727b5c19","last_reissued_at":"2026-07-05T09:04:41.378005Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:04:41.378005Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.04214","source_version":2,"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-05T09:04:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zKPq3+NxigirI/DL+fWauoLDZOQzkRm5PkkpD+nAjOYJEUbDY5gP+/iLqBuzCAAiWjJUW+U9HqdlPH1Ez3+LDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T18:14:18.805209Z"},"content_sha256":"ab368470e94cdba72482f8a81c58dcec253c86b83a6c888d37dd1ea7662a0d12","schema_version":"1.0","event_id":"sha256:ab368470e94cdba72482f8a81c58dcec253c86b83a6c888d37dd1ea7662a0d12"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:BV2FGR3YZPPVJYTC44LPTUO5OX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CV","authors_text":"Jingyang Deng, Jinwen Ma, Jo-Ku Cheng, Lu Tian, Na Zhu, Tuo Leng, Xiaokai Zhang, Zeren Zhang, Ziran Qin","submitted_at":"2024-09-06T12:11:06Z","abstract_excerpt":"Mathematical reasoning remains an ongoing challenge for AI models, especially for geometry problems that require both linguistic and visual signals. As the vision encoders of most MLLMs are trained on natural scenes, they often struggle to understand geometric diagrams, performing no better in geometry problem solving than LLMs that only process text. This limitation is amplified by the lack of effective methods for representing geometric relationships. To address these issues, we introduce the Diagram Formalization Enhanced Geometry Problem Solver (DFE-GPS), a new framework that integrates vi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.04214","kind":"arxiv","version":2},"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/2409.04214/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-05T09:04:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UvITMKUQX1GVGI9C7gu2Aq0/TxxidiLWDoD6+MFtrAeiep/s6iB2rNwE75ZjMaxVR2YjJ8mvUtSmOsoP9zNoCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T18:14:18.806169Z"},"content_sha256":"54663b0e70472ec1de25746c195f2cf88cb1eb42d026cc8094b5e8e13205162e","schema_version":"1.0","event_id":"sha256:54663b0e70472ec1de25746c195f2cf88cb1eb42d026cc8094b5e8e13205162e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BV2FGR3YZPPVJYTC44LPTUO5OX/bundle.json","state_url":"https://pith.science/pith/BV2FGR3YZPPVJYTC44LPTUO5OX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BV2FGR3YZPPVJYTC44LPTUO5OX/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-18T18:14:18Z","links":{"resolver":"https://pith.science/pith/BV2FGR3YZPPVJYTC44LPTUO5OX","bundle":"https://pith.science/pith/BV2FGR3YZPPVJYTC44LPTUO5OX/bundle.json","state":"https://pith.science/pith/BV2FGR3YZPPVJYTC44LPTUO5OX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BV2FGR3YZPPVJYTC44LPTUO5OX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:BV2FGR3YZPPVJYTC44LPTUO5OX","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":"0d364c1f0960a1d7a7668113d8258b02b23d559cc2aaaee949eca317cd68971b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2024-09-06T12:11:06Z","title_canon_sha256":"8f5d78feaeb70ac65584a62590dadc60df11a676fee8834371c47455bc27a892"},"schema_version":"1.0","source":{"id":"2409.04214","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.04214","created_at":"2026-07-05T09:04:41Z"},{"alias_kind":"arxiv_version","alias_value":"2409.04214v2","created_at":"2026-07-05T09:04:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.04214","created_at":"2026-07-05T09:04:41Z"},{"alias_kind":"pith_short_12","alias_value":"BV2FGR3YZPPV","created_at":"2026-07-05T09:04:41Z"},{"alias_kind":"pith_short_16","alias_value":"BV2FGR3YZPPVJYTC","created_at":"2026-07-05T09:04:41Z"},{"alias_kind":"pith_short_8","alias_value":"BV2FGR3Y","created_at":"2026-07-05T09:04:41Z"}],"graph_snapshots":[{"event_id":"sha256:54663b0e70472ec1de25746c195f2cf88cb1eb42d026cc8094b5e8e13205162e","target":"graph","created_at":"2026-07-05T09:04:41Z","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/2409.04214/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mathematical reasoning remains an ongoing challenge for AI models, especially for geometry problems that require both linguistic and visual signals. As the vision encoders of most MLLMs are trained on natural scenes, they often struggle to understand geometric diagrams, performing no better in geometry problem solving than LLMs that only process text. This limitation is amplified by the lack of effective methods for representing geometric relationships. To address these issues, we introduce the Diagram Formalization Enhanced Geometry Problem Solver (DFE-GPS), a new framework that integrates vi","authors_text":"Jingyang Deng, Jinwen Ma, Jo-Ku Cheng, Lu Tian, Na Zhu, Tuo Leng, Xiaokai Zhang, Zeren Zhang, Ziran Qin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2024-09-06T12:11:06Z","title":"Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.04214","kind":"arxiv","version":2},"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:ab368470e94cdba72482f8a81c58dcec253c86b83a6c888d37dd1ea7662a0d12","target":"record","created_at":"2026-07-05T09:04:41Z","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":"0d364c1f0960a1d7a7668113d8258b02b23d559cc2aaaee949eca317cd68971b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2024-09-06T12:11:06Z","title_canon_sha256":"8f5d78feaeb70ac65584a62590dadc60df11a676fee8834371c47455bc27a892"},"schema_version":"1.0","source":{"id":"2409.04214","kind":"arxiv","version":2}},"canonical_sha256":"0d74534778cbdf54e262e716f9d1dd75d7b769aca2a4406730f3157e727b5c19","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0d74534778cbdf54e262e716f9d1dd75d7b769aca2a4406730f3157e727b5c19","first_computed_at":"2026-07-05T09:04:41.378005Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:04:41.378005Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8+e04I9JWsCdaX5inpwVUYQL3+cnFiGfofkqwKuk7xvhHLA5P2lvqd5ohXdsV0Q4oXj0P5ox+PYmSqPLYfGKCg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:04:41.378494Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.04214","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ab368470e94cdba72482f8a81c58dcec253c86b83a6c888d37dd1ea7662a0d12","sha256:54663b0e70472ec1de25746c195f2cf88cb1eb42d026cc8094b5e8e13205162e"],"state_sha256":"f480011fee68779308f95592ee662c5f6844b87eb82ea1e3f7c0d4a602d6d3ed"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FLgbzMW4VL3ihRfZY7rYp1fufpp75hEzPQU6gZjQ9KwXrqJY8iR10s9KXU9c82j75E8z0WK29w2KRewQ10IrAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T18:14:18.814244Z","bundle_sha256":"0081c17e47dbaf4b8707abafda392d412a907d231be7934ae93b56d6942c7ebd"}}