{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:5Z62ZUJ5GYATCBVKHIJAHSZUUO","short_pith_number":"pith:5Z62ZUJ5","canonical_record":{"source":{"id":"2508.03173","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-05T07:29:58Z","cross_cats_sorted":[],"title_canon_sha256":"f92f07cac25886b62d4436b16e18bfb3d95f70a3b3bf73e111de5aac21c514d9","abstract_canon_sha256":"50ae97fe8e70d26710fb1946e555cbc4638553125644ccd94a5dfe281b620232"},"schema_version":"1.0"},"canonical_sha256":"ee7dacd13d36013106aa3a1203cb34a3b4f5a60a8ce16ea9a490b934d6841ed7","source":{"kind":"arxiv","id":"2508.03173","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.03173","created_at":"2026-07-05T11:48:37Z"},{"alias_kind":"arxiv_version","alias_value":"2508.03173v1","created_at":"2026-07-05T11:48:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.03173","created_at":"2026-07-05T11:48:37Z"},{"alias_kind":"pith_short_12","alias_value":"5Z62ZUJ5GYAT","created_at":"2026-07-05T11:48:37Z"},{"alias_kind":"pith_short_16","alias_value":"5Z62ZUJ5GYATCBVK","created_at":"2026-07-05T11:48:37Z"},{"alias_kind":"pith_short_8","alias_value":"5Z62ZUJ5","created_at":"2026-07-05T11:48:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:5Z62ZUJ5GYATCBVKHIJAHSZUUO","target":"record","payload":{"canonical_record":{"source":{"id":"2508.03173","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-05T07:29:58Z","cross_cats_sorted":[],"title_canon_sha256":"f92f07cac25886b62d4436b16e18bfb3d95f70a3b3bf73e111de5aac21c514d9","abstract_canon_sha256":"50ae97fe8e70d26710fb1946e555cbc4638553125644ccd94a5dfe281b620232"},"schema_version":"1.0"},"canonical_sha256":"ee7dacd13d36013106aa3a1203cb34a3b4f5a60a8ce16ea9a490b934d6841ed7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:48:37.922566Z","signature_b64":"sb6KUlX12yKDaTGi0zkxV5GZmE0cythmTmqzFY+IQtPVRktsR1ZJ1eT2Xw57XQ+ApQ+WSI0th/ZSqsbdwBaHBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ee7dacd13d36013106aa3a1203cb34a3b4f5a60a8ce16ea9a490b934d6841ed7","last_reissued_at":"2026-07-05T11:48:37.920607Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:48:37.920607Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.03173","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:48:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7RMIN5RCEYCcFLwP2E/XM7CxNXjDWKVJCQmqQAMNNHM/CttcbvS89qb1kRmQtXEzXFEjENxeVnFtU5WyyNCvCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T11:45:22.589227Z"},"content_sha256":"ba76ac1f2cc6351ebb5ce39eaa48ac9d02c1fecbf6c0398b6fffa0019f932853","schema_version":"1.0","event_id":"sha256:ba76ac1f2cc6351ebb5ce39eaa48ac9d02c1fecbf6c0398b6fffa0019f932853"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:5Z62ZUJ5GYATCBVKHIJAHSZUUO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Geoint-R1: Formalizing Multimodal Geometric Reasoning with Dynamic Auxiliary Constructions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Bihui Yu, Caijun Jia, Cheng Tan, Conghui He, Honghao He, Jingxuan Wei, Lijun Wu, Linzhuang Sun, Qi Chen","submitted_at":"2025-08-05T07:29:58Z","abstract_excerpt":"Mathematical geometric reasoning is essential for scientific discovery and educational development, requiring precise logic and rigorous formal verification. While recent advances in Multimodal Large Language Models (MLLMs) have improved reasoning tasks, existing models typically struggle with formal geometric reasoning, particularly when dynamically constructing and verifying auxiliary geometric elements. To address these challenges, we introduce Geoint-R1, a multimodal reasoning framework designed to generate formally verifiable geometric solutions from textual descriptions and visual diagra"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.03173","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/2508.03173/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:48:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zgplQrAGYD+aBsBvrB7mCm/80o2GgCObdaf1H0a8izWvhe6TKnJuPp3kr0v1Ndmvcp722ivsJhkvJWnCigzaDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T11:45:22.589730Z"},"content_sha256":"7dd75019e8c4c748b9b00d57a6abe13da5933b069f66bf511b0c6030a047c198","schema_version":"1.0","event_id":"sha256:7dd75019e8c4c748b9b00d57a6abe13da5933b069f66bf511b0c6030a047c198"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5Z62ZUJ5GYATCBVKHIJAHSZUUO/bundle.json","state_url":"https://pith.science/pith/5Z62ZUJ5GYATCBVKHIJAHSZUUO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5Z62ZUJ5GYATCBVKHIJAHSZUUO/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-20T11:45:22Z","links":{"resolver":"https://pith.science/pith/5Z62ZUJ5GYATCBVKHIJAHSZUUO","bundle":"https://pith.science/pith/5Z62ZUJ5GYATCBVKHIJAHSZUUO/bundle.json","state":"https://pith.science/pith/5Z62ZUJ5GYATCBVKHIJAHSZUUO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5Z62ZUJ5GYATCBVKHIJAHSZUUO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:5Z62ZUJ5GYATCBVKHIJAHSZUUO","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":"50ae97fe8e70d26710fb1946e555cbc4638553125644ccd94a5dfe281b620232","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-05T07:29:58Z","title_canon_sha256":"f92f07cac25886b62d4436b16e18bfb3d95f70a3b3bf73e111de5aac21c514d9"},"schema_version":"1.0","source":{"id":"2508.03173","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.03173","created_at":"2026-07-05T11:48:37Z"},{"alias_kind":"arxiv_version","alias_value":"2508.03173v1","created_at":"2026-07-05T11:48:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.03173","created_at":"2026-07-05T11:48:37Z"},{"alias_kind":"pith_short_12","alias_value":"5Z62ZUJ5GYAT","created_at":"2026-07-05T11:48:37Z"},{"alias_kind":"pith_short_16","alias_value":"5Z62ZUJ5GYATCBVK","created_at":"2026-07-05T11:48:37Z"},{"alias_kind":"pith_short_8","alias_value":"5Z62ZUJ5","created_at":"2026-07-05T11:48:37Z"}],"graph_snapshots":[{"event_id":"sha256:7dd75019e8c4c748b9b00d57a6abe13da5933b069f66bf511b0c6030a047c198","target":"graph","created_at":"2026-07-05T11:48:37Z","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/2508.03173/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mathematical geometric reasoning is essential for scientific discovery and educational development, requiring precise logic and rigorous formal verification. While recent advances in Multimodal Large Language Models (MLLMs) have improved reasoning tasks, existing models typically struggle with formal geometric reasoning, particularly when dynamically constructing and verifying auxiliary geometric elements. To address these challenges, we introduce Geoint-R1, a multimodal reasoning framework designed to generate formally verifiable geometric solutions from textual descriptions and visual diagra","authors_text":"Bihui Yu, Caijun Jia, Cheng Tan, Conghui He, Honghao He, Jingxuan Wei, Lijun Wu, Linzhuang Sun, Qi Chen","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-05T07:29:58Z","title":"Geoint-R1: Formalizing Multimodal Geometric Reasoning with Dynamic Auxiliary Constructions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.03173","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:ba76ac1f2cc6351ebb5ce39eaa48ac9d02c1fecbf6c0398b6fffa0019f932853","target":"record","created_at":"2026-07-05T11:48:37Z","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":"50ae97fe8e70d26710fb1946e555cbc4638553125644ccd94a5dfe281b620232","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-05T07:29:58Z","title_canon_sha256":"f92f07cac25886b62d4436b16e18bfb3d95f70a3b3bf73e111de5aac21c514d9"},"schema_version":"1.0","source":{"id":"2508.03173","kind":"arxiv","version":1}},"canonical_sha256":"ee7dacd13d36013106aa3a1203cb34a3b4f5a60a8ce16ea9a490b934d6841ed7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ee7dacd13d36013106aa3a1203cb34a3b4f5a60a8ce16ea9a490b934d6841ed7","first_computed_at":"2026-07-05T11:48:37.920607Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:48:37.920607Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sb6KUlX12yKDaTGi0zkxV5GZmE0cythmTmqzFY+IQtPVRktsR1ZJ1eT2Xw57XQ+ApQ+WSI0th/ZSqsbdwBaHBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:48:37.922566Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.03173","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba76ac1f2cc6351ebb5ce39eaa48ac9d02c1fecbf6c0398b6fffa0019f932853","sha256:7dd75019e8c4c748b9b00d57a6abe13da5933b069f66bf511b0c6030a047c198"],"state_sha256":"d2dddffdc79c220e3bc1058662dc10a8d7d6b9fd6cfd49701e9e982a569b7eac"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ADoTu9MmRuDWk8H2FqUWOwFF+QIb4Wz5JYsdfwOHcAyGrqwpSmyqd2SczAIs8qjJoVSaU+mbSKogEj8myn+nBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T11:45:22.594703Z","bundle_sha256":"c538c4e38944f2609c250404672afb376e1724fcb6438136d16230b735c59421"}}