{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:PJ7KVVZ2NERH5NYOKMFGFHMGXC","short_pith_number":"pith:PJ7KVVZ2","canonical_record":{"source":{"id":"2402.00157","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-01-31T20:26:32Z","cross_cats_sorted":[],"title_canon_sha256":"5a19becaacac49ad000ad4775e5fc527546493792cbdfd5409439d4c47ee009e","abstract_canon_sha256":"f64ed7e8cf513f2763bac31989667cbf9528fb571826975f52b25c639e379ea8"},"schema_version":"1.0"},"canonical_sha256":"7a7eaad73a69227eb70e530a629d86b89506a6a184645a39f4630a8dc0d2a54e","source":{"kind":"arxiv","id":"2402.00157","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.00157","created_at":"2026-07-05T09:07:45Z"},{"alias_kind":"arxiv_version","alias_value":"2402.00157v4","created_at":"2026-07-05T09:07:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.00157","created_at":"2026-07-05T09:07:45Z"},{"alias_kind":"pith_short_12","alias_value":"PJ7KVVZ2NERH","created_at":"2026-07-05T09:07:45Z"},{"alias_kind":"pith_short_16","alias_value":"PJ7KVVZ2NERH5NYO","created_at":"2026-07-05T09:07:45Z"},{"alias_kind":"pith_short_8","alias_value":"PJ7KVVZ2","created_at":"2026-07-05T09:07:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:PJ7KVVZ2NERH5NYOKMFGFHMGXC","target":"record","payload":{"canonical_record":{"source":{"id":"2402.00157","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-01-31T20:26:32Z","cross_cats_sorted":[],"title_canon_sha256":"5a19becaacac49ad000ad4775e5fc527546493792cbdfd5409439d4c47ee009e","abstract_canon_sha256":"f64ed7e8cf513f2763bac31989667cbf9528fb571826975f52b25c639e379ea8"},"schema_version":"1.0"},"canonical_sha256":"7a7eaad73a69227eb70e530a629d86b89506a6a184645a39f4630a8dc0d2a54e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:07:45.934118Z","signature_b64":"m0GqMnWemFAmTyW+erW7BfZ8OksD6rJQbiyUWMwBswv/u268ktoCoFzGFgtplItu5IeAFdOxCUmZZ8gqOdEuBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7a7eaad73a69227eb70e530a629d86b89506a6a184645a39f4630a8dc0d2a54e","last_reissued_at":"2026-07-05T09:07:45.933619Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:07:45.933619Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.00157","source_version":4,"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:07:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2Veq8LCbFMn5YfKdEBcx8HFryvtnnuIyWLE4Q8TmnTIOstuQXtlksOmz98UwHaZZYPyF7921QNsw2SaIDd9yDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T04:56:37.325676Z"},"content_sha256":"90099e0ae8ab064b673d3d7d543e59f394c69b6dc7f37c40a52c84409c43e815","schema_version":"1.0","event_id":"sha256:90099e0ae8ab064b673d3d7d543e59f394c69b6dc7f37c40a52c84409c43e815"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:PJ7KVVZ2NERH5NYOKMFGFHMGXC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Di Liu, Janice Ahn, Renze Lou, Rishu Verma, Rui Zhang, Wenpeng Yin","submitted_at":"2024-01-31T20:26:32Z","abstract_excerpt":"Mathematical reasoning serves as a cornerstone for assessing the fundamental cognitive capabilities of human intelligence. In recent times, there has been a notable surge in the development of Large Language Models (LLMs) geared towards the automated resolution of mathematical problems. However, the landscape of mathematical problem types is vast and varied, with LLM-oriented techniques undergoing evaluation across diverse datasets and settings. This diversity makes it challenging to discern the true advancements and obstacles within this burgeoning field. This survey endeavors to address four"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.00157","kind":"arxiv","version":4},"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/2402.00157/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:07:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"knz4cVAojdqI/4bxLTsMGMZlexWZdfkrIX6VhE8/5UWz+fKo/tGifpTz9Ji4sT7RCP+qspitAGuuHhwpn8vMAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T04:56:37.326175Z"},"content_sha256":"deb99978a216f44e558adfc1f8d2f085f845b559eeb0f2a5c8937323b1dacc49","schema_version":"1.0","event_id":"sha256:deb99978a216f44e558adfc1f8d2f085f845b559eeb0f2a5c8937323b1dacc49"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PJ7KVVZ2NERH5NYOKMFGFHMGXC/bundle.json","state_url":"https://pith.science/pith/PJ7KVVZ2NERH5NYOKMFGFHMGXC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PJ7KVVZ2NERH5NYOKMFGFHMGXC/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-09T04:56:37Z","links":{"resolver":"https://pith.science/pith/PJ7KVVZ2NERH5NYOKMFGFHMGXC","bundle":"https://pith.science/pith/PJ7KVVZ2NERH5NYOKMFGFHMGXC/bundle.json","state":"https://pith.science/pith/PJ7KVVZ2NERH5NYOKMFGFHMGXC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PJ7KVVZ2NERH5NYOKMFGFHMGXC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:PJ7KVVZ2NERH5NYOKMFGFHMGXC","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":"f64ed7e8cf513f2763bac31989667cbf9528fb571826975f52b25c639e379ea8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-01-31T20:26:32Z","title_canon_sha256":"5a19becaacac49ad000ad4775e5fc527546493792cbdfd5409439d4c47ee009e"},"schema_version":"1.0","source":{"id":"2402.00157","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.00157","created_at":"2026-07-05T09:07:45Z"},{"alias_kind":"arxiv_version","alias_value":"2402.00157v4","created_at":"2026-07-05T09:07:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.00157","created_at":"2026-07-05T09:07:45Z"},{"alias_kind":"pith_short_12","alias_value":"PJ7KVVZ2NERH","created_at":"2026-07-05T09:07:45Z"},{"alias_kind":"pith_short_16","alias_value":"PJ7KVVZ2NERH5NYO","created_at":"2026-07-05T09:07:45Z"},{"alias_kind":"pith_short_8","alias_value":"PJ7KVVZ2","created_at":"2026-07-05T09:07:45Z"}],"graph_snapshots":[{"event_id":"sha256:deb99978a216f44e558adfc1f8d2f085f845b559eeb0f2a5c8937323b1dacc49","target":"graph","created_at":"2026-07-05T09:07:45Z","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/2402.00157/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mathematical reasoning serves as a cornerstone for assessing the fundamental cognitive capabilities of human intelligence. In recent times, there has been a notable surge in the development of Large Language Models (LLMs) geared towards the automated resolution of mathematical problems. However, the landscape of mathematical problem types is vast and varied, with LLM-oriented techniques undergoing evaluation across diverse datasets and settings. This diversity makes it challenging to discern the true advancements and obstacles within this burgeoning field. This survey endeavors to address four","authors_text":"Di Liu, Janice Ahn, Renze Lou, Rishu Verma, Rui Zhang, Wenpeng Yin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-01-31T20:26:32Z","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.00157","kind":"arxiv","version":4},"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:90099e0ae8ab064b673d3d7d543e59f394c69b6dc7f37c40a52c84409c43e815","target":"record","created_at":"2026-07-05T09:07:45Z","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":"f64ed7e8cf513f2763bac31989667cbf9528fb571826975f52b25c639e379ea8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-01-31T20:26:32Z","title_canon_sha256":"5a19becaacac49ad000ad4775e5fc527546493792cbdfd5409439d4c47ee009e"},"schema_version":"1.0","source":{"id":"2402.00157","kind":"arxiv","version":4}},"canonical_sha256":"7a7eaad73a69227eb70e530a629d86b89506a6a184645a39f4630a8dc0d2a54e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7a7eaad73a69227eb70e530a629d86b89506a6a184645a39f4630a8dc0d2a54e","first_computed_at":"2026-07-05T09:07:45.933619Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:07:45.933619Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"m0GqMnWemFAmTyW+erW7BfZ8OksD6rJQbiyUWMwBswv/u268ktoCoFzGFgtplItu5IeAFdOxCUmZZ8gqOdEuBw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:07:45.934118Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.00157","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90099e0ae8ab064b673d3d7d543e59f394c69b6dc7f37c40a52c84409c43e815","sha256:deb99978a216f44e558adfc1f8d2f085f845b559eeb0f2a5c8937323b1dacc49"],"state_sha256":"817ce533c48d956fb5287a68a0e245ee7e2ef067ccef388eeee7b8911491ae3a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P55+prR39+xGiyGqCHJFSDw6fJYdFwDk+5OqWbZMDnE9UBIGucWjtchLCZUQfEUpNNWdj8/+DdrAl05yltVfAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T04:56:37.332301Z","bundle_sha256":"5c9020aa5804f0685393b8b8995cd7c39d2081a86a4c1257aff1a9916c19b1d6"}}