{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:E3G6SXQM4ZWCI6LEXDEDW62ZKA","short_pith_number":"pith:E3G6SXQM","canonical_record":{"source":{"id":"2505.14419","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-20T14:31:15Z","cross_cats_sorted":[],"title_canon_sha256":"afca5cca36cd06b6862504d868cc060134417bed334be6fe7e5948fd3758b5d4","abstract_canon_sha256":"ce78eddf43a80e932dfd85a0c7e8b31d399bc59834c270dafd2b57f1ea0db870"},"schema_version":"1.0"},"canonical_sha256":"26cde95e0ce66c247964b8c83b7b59501a4aff98ceef6172d93654e93b45fdf5","source":{"kind":"arxiv","id":"2505.14419","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.14419","created_at":"2026-07-05T11:06:01Z"},{"alias_kind":"arxiv_version","alias_value":"2505.14419v1","created_at":"2026-07-05T11:06:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.14419","created_at":"2026-07-05T11:06:01Z"},{"alias_kind":"pith_short_12","alias_value":"E3G6SXQM4ZWC","created_at":"2026-07-05T11:06:01Z"},{"alias_kind":"pith_short_16","alias_value":"E3G6SXQM4ZWCI6LE","created_at":"2026-07-05T11:06:01Z"},{"alias_kind":"pith_short_8","alias_value":"E3G6SXQM","created_at":"2026-07-05T11:06:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:E3G6SXQM4ZWCI6LEXDEDW62ZKA","target":"record","payload":{"canonical_record":{"source":{"id":"2505.14419","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-20T14:31:15Z","cross_cats_sorted":[],"title_canon_sha256":"afca5cca36cd06b6862504d868cc060134417bed334be6fe7e5948fd3758b5d4","abstract_canon_sha256":"ce78eddf43a80e932dfd85a0c7e8b31d399bc59834c270dafd2b57f1ea0db870"},"schema_version":"1.0"},"canonical_sha256":"26cde95e0ce66c247964b8c83b7b59501a4aff98ceef6172d93654e93b45fdf5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:06:01.074993Z","signature_b64":"EQ/2wk9+UYMlGn9gKDSepkDv4U9Zz5TaffeMBhC0K9Clv65PRyNQda39KHaOj8kIwxECQIYvFXuAq8ItWBMRDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26cde95e0ce66c247964b8c83b7b59501a4aff98ceef6172d93654e93b45fdf5","last_reissued_at":"2026-07-05T11:06:01.074557Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:06:01.074557Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.14419","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:06:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y83k3ch1T8XwR9gmbziHJ94B8tVdxCVnq2sKQaOtKip2OK5ZUqTMTxJZ5GUhiYc7iB+eqHskEr7VUh0iyuVsDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T22:06:37.829672Z"},"content_sha256":"b2d042f3b650d41c2f77ce3d741c4ac3bbcdc6448765f04b4ba99632734ea5de","schema_version":"1.0","event_id":"sha256:b2d042f3b650d41c2f77ce3d741c4ac3bbcdc6448765f04b4ba99632734ea5de"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:E3G6SXQM4ZWCI6LEXDEDW62ZKA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Anh Tuan Luu, Feng-Lin Li, Huimin Xu, Wang Chen, Wei Zhang, Xiaobao Wu, Xin Mao","submitted_at":"2025-05-20T14:31:15Z","abstract_excerpt":"Process Reward Models (PRMs) have demonstrated promising results in mathematical reasoning, but existing process annotation approaches, whether through human annotations or Monte Carlo simulations, remain computationally expensive. In this paper, we introduce Step COmpression for Process Estimation (SCOPE), a novel compression-based approach that significantly reduces annotation costs. We first translate natural language reasoning steps into code and normalize them through Abstract Syntax Tree, then merge equivalent steps to construct a prefix tree. Unlike simulation-based methods that waste n"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.14419","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/2505.14419/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:06:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e2SsruqSVm49ccz8E81a+3CETcYEFr27h/7WYHidDCLLFZc7j7PiyRtoE8SAFvkASyZpzWKzUcTTxTRF8JwwCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T22:06:37.830194Z"},"content_sha256":"a07af9405c4181f0fd59f768f224f8410a2ee7af838b0cfdd53e33fc692bfaa1","schema_version":"1.0","event_id":"sha256:a07af9405c4181f0fd59f768f224f8410a2ee7af838b0cfdd53e33fc692bfaa1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E3G6SXQM4ZWCI6LEXDEDW62ZKA/bundle.json","state_url":"https://pith.science/pith/E3G6SXQM4ZWCI6LEXDEDW62ZKA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E3G6SXQM4ZWCI6LEXDEDW62ZKA/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-08T22:06:37Z","links":{"resolver":"https://pith.science/pith/E3G6SXQM4ZWCI6LEXDEDW62ZKA","bundle":"https://pith.science/pith/E3G6SXQM4ZWCI6LEXDEDW62ZKA/bundle.json","state":"https://pith.science/pith/E3G6SXQM4ZWCI6LEXDEDW62ZKA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E3G6SXQM4ZWCI6LEXDEDW62ZKA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:E3G6SXQM4ZWCI6LEXDEDW62ZKA","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":"ce78eddf43a80e932dfd85a0c7e8b31d399bc59834c270dafd2b57f1ea0db870","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-20T14:31:15Z","title_canon_sha256":"afca5cca36cd06b6862504d868cc060134417bed334be6fe7e5948fd3758b5d4"},"schema_version":"1.0","source":{"id":"2505.14419","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.14419","created_at":"2026-07-05T11:06:01Z"},{"alias_kind":"arxiv_version","alias_value":"2505.14419v1","created_at":"2026-07-05T11:06:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.14419","created_at":"2026-07-05T11:06:01Z"},{"alias_kind":"pith_short_12","alias_value":"E3G6SXQM4ZWC","created_at":"2026-07-05T11:06:01Z"},{"alias_kind":"pith_short_16","alias_value":"E3G6SXQM4ZWCI6LE","created_at":"2026-07-05T11:06:01Z"},{"alias_kind":"pith_short_8","alias_value":"E3G6SXQM","created_at":"2026-07-05T11:06:01Z"}],"graph_snapshots":[{"event_id":"sha256:a07af9405c4181f0fd59f768f224f8410a2ee7af838b0cfdd53e33fc692bfaa1","target":"graph","created_at":"2026-07-05T11:06:01Z","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.14419/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Process Reward Models (PRMs) have demonstrated promising results in mathematical reasoning, but existing process annotation approaches, whether through human annotations or Monte Carlo simulations, remain computationally expensive. In this paper, we introduce Step COmpression for Process Estimation (SCOPE), a novel compression-based approach that significantly reduces annotation costs. We first translate natural language reasoning steps into code and normalize them through Abstract Syntax Tree, then merge equivalent steps to construct a prefix tree. Unlike simulation-based methods that waste n","authors_text":"Anh Tuan Luu, Feng-Lin Li, Huimin Xu, Wang Chen, Wei Zhang, Xiaobao Wu, Xin Mao","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-20T14:31:15Z","title":"SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.14419","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:b2d042f3b650d41c2f77ce3d741c4ac3bbcdc6448765f04b4ba99632734ea5de","target":"record","created_at":"2026-07-05T11:06:01Z","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":"ce78eddf43a80e932dfd85a0c7e8b31d399bc59834c270dafd2b57f1ea0db870","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-20T14:31:15Z","title_canon_sha256":"afca5cca36cd06b6862504d868cc060134417bed334be6fe7e5948fd3758b5d4"},"schema_version":"1.0","source":{"id":"2505.14419","kind":"arxiv","version":1}},"canonical_sha256":"26cde95e0ce66c247964b8c83b7b59501a4aff98ceef6172d93654e93b45fdf5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"26cde95e0ce66c247964b8c83b7b59501a4aff98ceef6172d93654e93b45fdf5","first_computed_at":"2026-07-05T11:06:01.074557Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:06:01.074557Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EQ/2wk9+UYMlGn9gKDSepkDv4U9Zz5TaffeMBhC0K9Clv65PRyNQda39KHaOj8kIwxECQIYvFXuAq8ItWBMRDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:06:01.074993Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.14419","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b2d042f3b650d41c2f77ce3d741c4ac3bbcdc6448765f04b4ba99632734ea5de","sha256:a07af9405c4181f0fd59f768f224f8410a2ee7af838b0cfdd53e33fc692bfaa1"],"state_sha256":"1bf0088b3903d9e5034b3e63a52e1bbb5c565d2af9dab6fd135ab9a205364730"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NSn3ACmveJO5DvhR/AhyxY4M8fYeAxl5fo1qwKMnuRgpDAJfj4T+NcI1svuEvCbZaYAz7urjV8y7WHjjxMg1DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T22:06:37.839886Z","bundle_sha256":"4e585fbedc985ec91591c3e23854fe37799d9be1ded3c6f88723bf4898a654d4"}}