{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ADGWT56JN7H72PXRYIXNX7CENC","short_pith_number":"pith:ADGWT56J","canonical_record":{"source":{"id":"2505.16312","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-22T07:07:43Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"2cb819b7ff1768c126113e8c8b8f62be51c476ebef39810093b80ea93f125232","abstract_canon_sha256":"d8cccf78c97ca87ae119757282e0245c9bd90f7a32e1b4bbc4f9aeccb2ca6c29"},"schema_version":"1.0"},"canonical_sha256":"00cd69f7c96fcffd3ef1c22edbfc44689eaba6cf2e4419ac8d77364f74d566af","source":{"kind":"arxiv","id":"2505.16312","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.16312","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"arxiv_version","alias_value":"2505.16312v2","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.16312","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_12","alias_value":"ADGWT56JN7H7","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_16","alias_value":"ADGWT56JN7H72PXR","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_8","alias_value":"ADGWT56J","created_at":"2026-06-23T03:13:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ADGWT56JN7H72PXRYIXNX7CENC","target":"record","payload":{"canonical_record":{"source":{"id":"2505.16312","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-22T07:07:43Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"2cb819b7ff1768c126113e8c8b8f62be51c476ebef39810093b80ea93f125232","abstract_canon_sha256":"d8cccf78c97ca87ae119757282e0245c9bd90f7a32e1b4bbc4f9aeccb2ca6c29"},"schema_version":"1.0"},"canonical_sha256":"00cd69f7c96fcffd3ef1c22edbfc44689eaba6cf2e4419ac8d77364f74d566af","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T03:13:45.570785Z","signature_b64":"TDvAoKZDNVg9yCdO7Yk/eXfo1v0MWg1aSO5AU/kt0BZagUy+QgOWIUXlrrEewBe2iKidyVdGmbFN+GvjzrHxBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"00cd69f7c96fcffd3ef1c22edbfc44689eaba6cf2e4419ac8d77364f74d566af","last_reissued_at":"2026-06-23T03:13:45.570299Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T03:13:45.570299Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.16312","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-06-23T03:13:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b4TjNEFf2rOzV6Mmi2cBir38nCdChSTFN2vxvDACHlOlynST+zHVYMYuBq/i9HwjQoof39yZKRFm5aaCGWYICw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T22:12:25.746196Z"},"content_sha256":"7495326871ed70d39295e316b31ef768f0e3613b1b7e4f3c33c35237f828665d","schema_version":"1.0","event_id":"sha256:7495326871ed70d39295e316b31ef768f0e3613b1b7e4f3c33c35237f828665d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ADGWT56JN7H72PXRYIXNX7CENC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"EquivPruner: Boosting Efficiency and Quality in LLM-Based Search via Action Pruning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Defu Lian, Jianshu Zhang, Jiawei Liu, Qisi Chen, Quan Liu","submitted_at":"2025-05-22T07:07:43Z","abstract_excerpt":"Large Language Models (LLMs) excel at complex reasoning through search algorithms, yet current strategies often suffer from massive token consumption due to redundant exploration of semantically equivalent steps. Existing semantic similarity methods struggle to accurately identify such equivalence in domain-specific contexts like mathematical reasoning. To address this, we propose EquivPruner, a simple yet effective approach that identifies and prunes semantically equivalent actions during LLM reasoning search. We also introduce MathEquiv, the first dataset we created for mathematical statemen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.16312","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/2505.16312/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-06-23T03:13:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A7ZbpnV5CUHheR/h+eGelwsVLlvoWYIyR2oqF0P6xKme+vLAHRs8LEz820B/JqvW117IDqbaD8bhMy1LtHQ3Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T22:12:25.746673Z"},"content_sha256":"ca951880054c8d929429feb3d47336fb9044d89cf412ca9c5e85eba21d493c66","schema_version":"1.0","event_id":"sha256:ca951880054c8d929429feb3d47336fb9044d89cf412ca9c5e85eba21d493c66"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ADGWT56JN7H72PXRYIXNX7CENC/bundle.json","state_url":"https://pith.science/pith/ADGWT56JN7H72PXRYIXNX7CENC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ADGWT56JN7H72PXRYIXNX7CENC/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-07T22:12:25Z","links":{"resolver":"https://pith.science/pith/ADGWT56JN7H72PXRYIXNX7CENC","bundle":"https://pith.science/pith/ADGWT56JN7H72PXRYIXNX7CENC/bundle.json","state":"https://pith.science/pith/ADGWT56JN7H72PXRYIXNX7CENC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ADGWT56JN7H72PXRYIXNX7CENC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ADGWT56JN7H72PXRYIXNX7CENC","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":"d8cccf78c97ca87ae119757282e0245c9bd90f7a32e1b4bbc4f9aeccb2ca6c29","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-22T07:07:43Z","title_canon_sha256":"2cb819b7ff1768c126113e8c8b8f62be51c476ebef39810093b80ea93f125232"},"schema_version":"1.0","source":{"id":"2505.16312","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.16312","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"arxiv_version","alias_value":"2505.16312v2","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.16312","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_12","alias_value":"ADGWT56JN7H7","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_16","alias_value":"ADGWT56JN7H72PXR","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_8","alias_value":"ADGWT56J","created_at":"2026-06-23T03:13:45Z"}],"graph_snapshots":[{"event_id":"sha256:ca951880054c8d929429feb3d47336fb9044d89cf412ca9c5e85eba21d493c66","target":"graph","created_at":"2026-06-23T03:13: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/2505.16312/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) excel at complex reasoning through search algorithms, yet current strategies often suffer from massive token consumption due to redundant exploration of semantically equivalent steps. Existing semantic similarity methods struggle to accurately identify such equivalence in domain-specific contexts like mathematical reasoning. To address this, we propose EquivPruner, a simple yet effective approach that identifies and prunes semantically equivalent actions during LLM reasoning search. We also introduce MathEquiv, the first dataset we created for mathematical statemen","authors_text":"Defu Lian, Jianshu Zhang, Jiawei Liu, Qisi Chen, Quan Liu","cross_cats":["cs.CL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-22T07:07:43Z","title":"EquivPruner: Boosting Efficiency and Quality in LLM-Based Search via Action Pruning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.16312","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:7495326871ed70d39295e316b31ef768f0e3613b1b7e4f3c33c35237f828665d","target":"record","created_at":"2026-06-23T03:13: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":"d8cccf78c97ca87ae119757282e0245c9bd90f7a32e1b4bbc4f9aeccb2ca6c29","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-22T07:07:43Z","title_canon_sha256":"2cb819b7ff1768c126113e8c8b8f62be51c476ebef39810093b80ea93f125232"},"schema_version":"1.0","source":{"id":"2505.16312","kind":"arxiv","version":2}},"canonical_sha256":"00cd69f7c96fcffd3ef1c22edbfc44689eaba6cf2e4419ac8d77364f74d566af","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"00cd69f7c96fcffd3ef1c22edbfc44689eaba6cf2e4419ac8d77364f74d566af","first_computed_at":"2026-06-23T03:13:45.570299Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T03:13:45.570299Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TDvAoKZDNVg9yCdO7Yk/eXfo1v0MWg1aSO5AU/kt0BZagUy+QgOWIUXlrrEewBe2iKidyVdGmbFN+GvjzrHxBw==","signature_status":"signed_v1","signed_at":"2026-06-23T03:13:45.570785Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.16312","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7495326871ed70d39295e316b31ef768f0e3613b1b7e4f3c33c35237f828665d","sha256:ca951880054c8d929429feb3d47336fb9044d89cf412ca9c5e85eba21d493c66"],"state_sha256":"5ee465acdd45b4b63a93783ebc3dbc5670b9731d2928fbddc9fd7850dbeba5b9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yVMaHzc9Qvr219BGzoGZq8WEnyVEWcpZ1VopDFGfJAgCH1TVxUOcFBJpPDUB3CiSwKFj4Hp+x6Yfi+cW8EPjDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T22:12:25.750767Z","bundle_sha256":"52945175cb6590aa0422c2c1f990d09ced9b9fe76cbf1ee6a6f7c78b5b925fd4"}}