{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:VUOVRYXS7D225DW43XKRCFFUFY","short_pith_number":"pith:VUOVRYXS","canonical_record":{"source":{"id":"2506.08446","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-10T04:44:28Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"97d299373e89b42978a64dff8b88323f6aff07814b82dab460f7ee3f8fcff6af","abstract_canon_sha256":"7eed2d6a6a407fe28e5d2ac33e992d51a9f29b4bba3f8b9f2642813e41b8d2e0"},"schema_version":"1.0"},"canonical_sha256":"ad1d58e2f2f8f5ae8edcddd51114b42e2f8bffbbfb6a36e57744f2f865a07688","source":{"kind":"arxiv","id":"2506.08446","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.08446","created_at":"2026-07-05T11:18:49Z"},{"alias_kind":"arxiv_version","alias_value":"2506.08446v1","created_at":"2026-07-05T11:18:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08446","created_at":"2026-07-05T11:18:49Z"},{"alias_kind":"pith_short_12","alias_value":"VUOVRYXS7D22","created_at":"2026-07-05T11:18:49Z"},{"alias_kind":"pith_short_16","alias_value":"VUOVRYXS7D225DW4","created_at":"2026-07-05T11:18:49Z"},{"alias_kind":"pith_short_8","alias_value":"VUOVRYXS","created_at":"2026-07-05T11:18:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:VUOVRYXS7D225DW43XKRCFFUFY","target":"record","payload":{"canonical_record":{"source":{"id":"2506.08446","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-10T04:44:28Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"97d299373e89b42978a64dff8b88323f6aff07814b82dab460f7ee3f8fcff6af","abstract_canon_sha256":"7eed2d6a6a407fe28e5d2ac33e992d51a9f29b4bba3f8b9f2642813e41b8d2e0"},"schema_version":"1.0"},"canonical_sha256":"ad1d58e2f2f8f5ae8edcddd51114b42e2f8bffbbfb6a36e57744f2f865a07688","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:18:49.650517Z","signature_b64":"wl4jX4pRrpGfMPmTTSIL97cJ+prP36m/H2XP3snROeNwoTU3h2EHFn/vUd8nMq5f4h3B/7f3zvmx44YZicEUAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad1d58e2f2f8f5ae8edcddd51114b42e2f8bffbbfb6a36e57744f2f865a07688","last_reissued_at":"2026-07-05T11:18:49.650041Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:18:49.650041Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.08446","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:18:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Rm8CtpPFXSgkG/HOHGjWFsK5rJn2NoNWzRxWmLOKQ6wkCIJXwh+hoBH5WZB22LPKau0keKYqSORnfI9tEBg+Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T13:26:45.906085Z"},"content_sha256":"c8e8d52a43f5916471135629dc96df939f4610224098e83bcdf480b498feb256","schema_version":"1.0","event_id":"sha256:c8e8d52a43f5916471135629dc96df939f4610224098e83bcdf480b498feb256"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:VUOVRYXS7D225DW43XKRCFFUFY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Survey on Large Language Models for Mathematical Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Cheng-Xing Jia, Chenyang Wang, Jia-Cheng Xu, Peng-Yuan Wang, Shu Yan, Tian-Shuo Liu, Xin-Wei Chen, Xu-Hui Liu, Yang Yu, Yi-Di Wang, Ziniu Li","submitted_at":"2025-06-10T04:44:28Z","abstract_excerpt":"Mathematical reasoning has long represented one of the most fundamental and challenging frontiers in artificial intelligence research. In recent years, large language models (LLMs) have achieved significant advances in this area. This survey examines the development of mathematical reasoning abilities in LLMs through two high-level cognitive phases: comprehension, where models gain mathematical understanding via diverse pretraining strategies, and answer generation, which has progressed from direct prediction to step-by-step Chain-of-Thought (CoT) reasoning. We review methods for enhancing mat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.08446","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.08446/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:18:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h2OsoFg6PaC0sdgqi+MkbGH2eND/7QrXEkwqMVIwksXXjc4JoUsCdgX6S2KDzATTCZ1Oc5y+T7LKGbu4idf9AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T13:26:45.908131Z"},"content_sha256":"9209ebb597333748d7171f8ef679a21edf78932c72c0eb206c0aa0cde62546e6","schema_version":"1.0","event_id":"sha256:9209ebb597333748d7171f8ef679a21edf78932c72c0eb206c0aa0cde62546e6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VUOVRYXS7D225DW43XKRCFFUFY/bundle.json","state_url":"https://pith.science/pith/VUOVRYXS7D225DW43XKRCFFUFY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VUOVRYXS7D225DW43XKRCFFUFY/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-05T13:26:45Z","links":{"resolver":"https://pith.science/pith/VUOVRYXS7D225DW43XKRCFFUFY","bundle":"https://pith.science/pith/VUOVRYXS7D225DW43XKRCFFUFY/bundle.json","state":"https://pith.science/pith/VUOVRYXS7D225DW43XKRCFFUFY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VUOVRYXS7D225DW43XKRCFFUFY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VUOVRYXS7D225DW43XKRCFFUFY","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":"7eed2d6a6a407fe28e5d2ac33e992d51a9f29b4bba3f8b9f2642813e41b8d2e0","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-10T04:44:28Z","title_canon_sha256":"97d299373e89b42978a64dff8b88323f6aff07814b82dab460f7ee3f8fcff6af"},"schema_version":"1.0","source":{"id":"2506.08446","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.08446","created_at":"2026-07-05T11:18:49Z"},{"alias_kind":"arxiv_version","alias_value":"2506.08446v1","created_at":"2026-07-05T11:18:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08446","created_at":"2026-07-05T11:18:49Z"},{"alias_kind":"pith_short_12","alias_value":"VUOVRYXS7D22","created_at":"2026-07-05T11:18:49Z"},{"alias_kind":"pith_short_16","alias_value":"VUOVRYXS7D225DW4","created_at":"2026-07-05T11:18:49Z"},{"alias_kind":"pith_short_8","alias_value":"VUOVRYXS","created_at":"2026-07-05T11:18:49Z"}],"graph_snapshots":[{"event_id":"sha256:9209ebb597333748d7171f8ef679a21edf78932c72c0eb206c0aa0cde62546e6","target":"graph","created_at":"2026-07-05T11:18:49Z","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.08446/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mathematical reasoning has long represented one of the most fundamental and challenging frontiers in artificial intelligence research. In recent years, large language models (LLMs) have achieved significant advances in this area. This survey examines the development of mathematical reasoning abilities in LLMs through two high-level cognitive phases: comprehension, where models gain mathematical understanding via diverse pretraining strategies, and answer generation, which has progressed from direct prediction to step-by-step Chain-of-Thought (CoT) reasoning. We review methods for enhancing mat","authors_text":"Cheng-Xing Jia, Chenyang Wang, Jia-Cheng Xu, Peng-Yuan Wang, Shu Yan, Tian-Shuo Liu, Xin-Wei Chen, Xu-Hui Liu, Yang Yu, Yi-Di Wang, Ziniu Li","cross_cats":["cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-10T04:44:28Z","title":"A Survey on Large Language Models for Mathematical Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.08446","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:c8e8d52a43f5916471135629dc96df939f4610224098e83bcdf480b498feb256","target":"record","created_at":"2026-07-05T11:18:49Z","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":"7eed2d6a6a407fe28e5d2ac33e992d51a9f29b4bba3f8b9f2642813e41b8d2e0","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-10T04:44:28Z","title_canon_sha256":"97d299373e89b42978a64dff8b88323f6aff07814b82dab460f7ee3f8fcff6af"},"schema_version":"1.0","source":{"id":"2506.08446","kind":"arxiv","version":1}},"canonical_sha256":"ad1d58e2f2f8f5ae8edcddd51114b42e2f8bffbbfb6a36e57744f2f865a07688","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad1d58e2f2f8f5ae8edcddd51114b42e2f8bffbbfb6a36e57744f2f865a07688","first_computed_at":"2026-07-05T11:18:49.650041Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:18:49.650041Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wl4jX4pRrpGfMPmTTSIL97cJ+prP36m/H2XP3snROeNwoTU3h2EHFn/vUd8nMq5f4h3B/7f3zvmx44YZicEUAg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:18:49.650517Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.08446","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c8e8d52a43f5916471135629dc96df939f4610224098e83bcdf480b498feb256","sha256:9209ebb597333748d7171f8ef679a21edf78932c72c0eb206c0aa0cde62546e6"],"state_sha256":"1a596fd35aeffc183135d0d1ab49b83a72f765560032c67de32a12caec19de1c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Yw2hejDDPF2I+NxrhyTmOreJlOScUC9LAA0ftlVfREdcRcP4GiaL6BQjkL6DJ5Y+YZBlVAcxg++VKts5CQ66BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T13:26:45.921184Z","bundle_sha256":"842c733f0dce6aabff42a1d9d5176d232bdf5c98a8969a9ee63726b14f292502"}}