{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FO4EHHORA7XIQPTN5JJO6QSFG6","short_pith_number":"pith:FO4EHHOR","canonical_record":{"source":{"id":"2511.19078","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-11-24T13:18:21Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c505be0d8d8f96dcd609025019ea55ac09aba4417cee2fa089961530a0a17c63","abstract_canon_sha256":"2a2be4086f32f8d39caa95d1e021ab35b96cba4f433706c25197345f0b0e123f"},"schema_version":"1.0"},"canonical_sha256":"2bb8439dd107ee883e6dea52ef424537a18b8b5e289ce2c6a27c31b0ae883767","source":{"kind":"arxiv","id":"2511.19078","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.19078","created_at":"2026-05-20T00:02:59Z"},{"alias_kind":"arxiv_version","alias_value":"2511.19078v2","created_at":"2026-05-20T00:02:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.19078","created_at":"2026-05-20T00:02:59Z"},{"alias_kind":"pith_short_12","alias_value":"FO4EHHORA7XI","created_at":"2026-05-20T00:02:59Z"},{"alias_kind":"pith_short_16","alias_value":"FO4EHHORA7XIQPTN","created_at":"2026-05-20T00:02:59Z"},{"alias_kind":"pith_short_8","alias_value":"FO4EHHOR","created_at":"2026-05-20T00:02:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FO4EHHORA7XIQPTN5JJO6QSFG6","target":"record","payload":{"canonical_record":{"source":{"id":"2511.19078","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-11-24T13:18:21Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c505be0d8d8f96dcd609025019ea55ac09aba4417cee2fa089961530a0a17c63","abstract_canon_sha256":"2a2be4086f32f8d39caa95d1e021ab35b96cba4f433706c25197345f0b0e123f"},"schema_version":"1.0"},"canonical_sha256":"2bb8439dd107ee883e6dea52ef424537a18b8b5e289ce2c6a27c31b0ae883767","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:02:59.338579Z","signature_b64":"L8K7cqxd6M41gHh4gUWsF5H3bskDgnOvk0l/u6TCTeloarcVHk9pVEvKKEkXK767TJ35R7wBVZgEJ/LVe+s1Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2bb8439dd107ee883e6dea52ef424537a18b8b5e289ce2c6a27c31b0ae883767","last_reissued_at":"2026-05-20T00:02:59.337517Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:02:59.337517Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2511.19078","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-05-20T00:02:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AGjXpM39NEejdoxIBEsNQHvzbKpkhq+vFyBi3GDevf9DhsqUwLGaLsxJOISWe34fskJ/uGfP/90P8qRpZGJqBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T01:58:35.106937Z"},"content_sha256":"b7d95da6a2effd10bed0a5ad8ea9f0e5337e3f108402691f7250279f065fdf90","schema_version":"1.0","event_id":"sha256:b7d95da6a2effd10bed0a5ad8ea9f0e5337e3f108402691f7250279f065fdf90"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FO4EHHORA7XIQPTN5JJO6QSFG6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Caiyan Qin, GuoChen, Xudong Wang, Yitian Zhou, Yutong Li","submitted_at":"2025-11-24T13:18:21Z","abstract_excerpt":"Large language models (LLMs) have demonstrated impressive capabilities in natural language understanding and generation, including multi-step reasoning such as mathematical proving. However, existing approaches often lack an explicit and dynamic mechanism to structurally represent and evolve intermediate reasoning states, which limits their ability to perform context-aware theorem selection and iterative conclusion generation. To address these challenges, we propose GraphMind, a novel dynamic graph-based framework that integrates the graph neural network (GNN) with LLMs to iteratively select t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.19078","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/2511.19078/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-05-20T00:02:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WJHeyGLzwlK5M+E3gxA7JnO+igys3CVJ8TwQqtE7Gxj8KLeNu+E4JQ3YBFNMRWW5dTD4aHBA/cuCkN5Kd9OmAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T01:58:35.107335Z"},"content_sha256":"4845c967912d1c331c78ea0f3085758408e44346c61e325414f271d92cef7109","schema_version":"1.0","event_id":"sha256:4845c967912d1c331c78ea0f3085758408e44346c61e325414f271d92cef7109"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FO4EHHORA7XIQPTN5JJO6QSFG6/bundle.json","state_url":"https://pith.science/pith/FO4EHHORA7XIQPTN5JJO6QSFG6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FO4EHHORA7XIQPTN5JJO6QSFG6/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-05-27T01:58:35Z","links":{"resolver":"https://pith.science/pith/FO4EHHORA7XIQPTN5JJO6QSFG6","bundle":"https://pith.science/pith/FO4EHHORA7XIQPTN5JJO6QSFG6/bundle.json","state":"https://pith.science/pith/FO4EHHORA7XIQPTN5JJO6QSFG6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FO4EHHORA7XIQPTN5JJO6QSFG6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FO4EHHORA7XIQPTN5JJO6QSFG6","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":"2a2be4086f32f8d39caa95d1e021ab35b96cba4f433706c25197345f0b0e123f","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-11-24T13:18:21Z","title_canon_sha256":"c505be0d8d8f96dcd609025019ea55ac09aba4417cee2fa089961530a0a17c63"},"schema_version":"1.0","source":{"id":"2511.19078","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.19078","created_at":"2026-05-20T00:02:59Z"},{"alias_kind":"arxiv_version","alias_value":"2511.19078v2","created_at":"2026-05-20T00:02:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.19078","created_at":"2026-05-20T00:02:59Z"},{"alias_kind":"pith_short_12","alias_value":"FO4EHHORA7XI","created_at":"2026-05-20T00:02:59Z"},{"alias_kind":"pith_short_16","alias_value":"FO4EHHORA7XIQPTN","created_at":"2026-05-20T00:02:59Z"},{"alias_kind":"pith_short_8","alias_value":"FO4EHHOR","created_at":"2026-05-20T00:02:59Z"}],"graph_snapshots":[{"event_id":"sha256:4845c967912d1c331c78ea0f3085758408e44346c61e325414f271d92cef7109","target":"graph","created_at":"2026-05-20T00:02:59Z","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/2511.19078/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) have demonstrated impressive capabilities in natural language understanding and generation, including multi-step reasoning such as mathematical proving. However, existing approaches often lack an explicit and dynamic mechanism to structurally represent and evolve intermediate reasoning states, which limits their ability to perform context-aware theorem selection and iterative conclusion generation. To address these challenges, we propose GraphMind, a novel dynamic graph-based framework that integrates the graph neural network (GNN) with LLMs to iteratively select t","authors_text":"Caiyan Qin, GuoChen, Xudong Wang, Yitian Zhou, Yutong Li","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-11-24T13:18:21Z","title":"GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.19078","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:b7d95da6a2effd10bed0a5ad8ea9f0e5337e3f108402691f7250279f065fdf90","target":"record","created_at":"2026-05-20T00:02:59Z","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":"2a2be4086f32f8d39caa95d1e021ab35b96cba4f433706c25197345f0b0e123f","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-11-24T13:18:21Z","title_canon_sha256":"c505be0d8d8f96dcd609025019ea55ac09aba4417cee2fa089961530a0a17c63"},"schema_version":"1.0","source":{"id":"2511.19078","kind":"arxiv","version":2}},"canonical_sha256":"2bb8439dd107ee883e6dea52ef424537a18b8b5e289ce2c6a27c31b0ae883767","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2bb8439dd107ee883e6dea52ef424537a18b8b5e289ce2c6a27c31b0ae883767","first_computed_at":"2026-05-20T00:02:59.337517Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:02:59.337517Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"L8K7cqxd6M41gHh4gUWsF5H3bskDgnOvk0l/u6TCTeloarcVHk9pVEvKKEkXK767TJ35R7wBVZgEJ/LVe+s1Dg==","signature_status":"signed_v1","signed_at":"2026-05-20T00:02:59.338579Z","signed_message":"canonical_sha256_bytes"},"source_id":"2511.19078","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b7d95da6a2effd10bed0a5ad8ea9f0e5337e3f108402691f7250279f065fdf90","sha256:4845c967912d1c331c78ea0f3085758408e44346c61e325414f271d92cef7109"],"state_sha256":"d565867cbdf3bba44a2394de01337705855fc639ab15238c135840f9c690d44b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D56NAfMoCE7O87apb2ENinsbKWTf+oW1EYJ2+mjqPeMlJjUNMJaKC7H/s7N9leygHl1w/ITCIJwPUSpjNMtfBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T01:58:35.109801Z","bundle_sha256":"a029f0645c7f65e602d814d1e9ce2c9b26882c61b977b86abb4554fabe8a1460"}}