{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:7WF6YZUQDW43ACUNRBUT3CMPTJ","short_pith_number":"pith:7WF6YZUQ","canonical_record":{"source":{"id":"2505.17155","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-05-22T12:23:30Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"1ffa30e56bc3b36ea6ef5925300a76821f13808e8f347aab82702b018806889d","abstract_canon_sha256":"424486a515ccc43f0cb18c27c56eaf42a66226f3bce4af718ea0d2c3c2aac8e8"},"schema_version":"1.0"},"canonical_sha256":"fd8bec66901db9b00a8d88693d898f9a7b6b076ea3d3ea4da10b0ade68cfa2fd","source":{"kind":"arxiv","id":"2505.17155","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.17155","created_at":"2026-07-05T11:13:26Z"},{"alias_kind":"arxiv_version","alias_value":"2505.17155v2","created_at":"2026-07-05T11:13:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.17155","created_at":"2026-07-05T11:13:26Z"},{"alias_kind":"pith_short_12","alias_value":"7WF6YZUQDW43","created_at":"2026-07-05T11:13:26Z"},{"alias_kind":"pith_short_16","alias_value":"7WF6YZUQDW43ACUN","created_at":"2026-07-05T11:13:26Z"},{"alias_kind":"pith_short_8","alias_value":"7WF6YZUQ","created_at":"2026-07-05T11:13:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:7WF6YZUQDW43ACUNRBUT3CMPTJ","target":"record","payload":{"canonical_record":{"source":{"id":"2505.17155","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-05-22T12:23:30Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"1ffa30e56bc3b36ea6ef5925300a76821f13808e8f347aab82702b018806889d","abstract_canon_sha256":"424486a515ccc43f0cb18c27c56eaf42a66226f3bce4af718ea0d2c3c2aac8e8"},"schema_version":"1.0"},"canonical_sha256":"fd8bec66901db9b00a8d88693d898f9a7b6b076ea3d3ea4da10b0ade68cfa2fd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:13:26.303950Z","signature_b64":"6a20yupChemS654QS15Mll4hsPHfGVKiqhpFKQnIYeKffEyOkfHr8KMEHxoEs+qA27fvbCaaTX340qFQw39/Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fd8bec66901db9b00a8d88693d898f9a7b6b076ea3d3ea4da10b0ade68cfa2fd","last_reissued_at":"2026-07-05T11:13:26.303528Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:13:26.303528Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.17155","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-07-05T11:13:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"far3hZ1Mqsv4Vl91uSWcCALxDQ3rdwDH/gp4yFmzX/p+J/9qPAboKz5WGEHrIOP5PWXdNQmHWA2vsClh7qs/Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T23:06:55.642974Z"},"content_sha256":"b8d349cd5537bf2ec67b6a8e56fffbe2d62af5bd692806d2efa467bb3251e741","schema_version":"1.0","event_id":"sha256:b8d349cd5537bf2ec67b6a8e56fffbe2d62af5bd692806d2efa467bb3251e741"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:7WF6YZUQDW43ACUNRBUT3CMPTJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"TrimR: Verifier-based Training-Free Thinking Compression for Efficient Test-Time Scaling","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.LG","authors_text":"Hui-Ling Zhen, Mingxuan Yuan, Weizhe Lin, Wulong Liu, Xianzhi Yu, Xiaojin Fu, Xiaosong Li, Xing Li, Yaoyuan Wang, Zhiyuan Yang","submitted_at":"2025-05-22T12:23:30Z","abstract_excerpt":"Large Reasoning Models (LRMs) demonstrate exceptional capability in tackling complex mathematical, logical, and coding tasks by leveraging extended Chain-of-Thought (CoT) reasoning. Test-time scaling methods, such as prolonging CoT with explicit token-level exploration, can push LRMs' accuracy boundaries, but they incur significant decoding overhead. A key inefficiency source is LRMs often generate redundant thinking CoTs, which demonstrate clear structured overthinking and underthinking patterns. Inspired by human cognitive reasoning processes and numerical optimization theories, we propose T"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.17155","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.17155/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:13:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SPYSQTknn9d5yS8jDKtXNQQRV3Kx9UamgQVnBgt7eQeA5u9T/AfpboclF8wjiJdO4EPHqkBaA8UwT5kj6uz3DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T23:06:55.643536Z"},"content_sha256":"24ad1dcbb3f687e01ade84f740ea7d9396f0018d42398edf45cdf85cf2c64051","schema_version":"1.0","event_id":"sha256:24ad1dcbb3f687e01ade84f740ea7d9396f0018d42398edf45cdf85cf2c64051"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7WF6YZUQDW43ACUNRBUT3CMPTJ/bundle.json","state_url":"https://pith.science/pith/7WF6YZUQDW43ACUNRBUT3CMPTJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7WF6YZUQDW43ACUNRBUT3CMPTJ/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-07T23:06:55Z","links":{"resolver":"https://pith.science/pith/7WF6YZUQDW43ACUNRBUT3CMPTJ","bundle":"https://pith.science/pith/7WF6YZUQDW43ACUNRBUT3CMPTJ/bundle.json","state":"https://pith.science/pith/7WF6YZUQDW43ACUNRBUT3CMPTJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7WF6YZUQDW43ACUNRBUT3CMPTJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:7WF6YZUQDW43ACUNRBUT3CMPTJ","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":"424486a515ccc43f0cb18c27c56eaf42a66226f3bce4af718ea0d2c3c2aac8e8","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-05-22T12:23:30Z","title_canon_sha256":"1ffa30e56bc3b36ea6ef5925300a76821f13808e8f347aab82702b018806889d"},"schema_version":"1.0","source":{"id":"2505.17155","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.17155","created_at":"2026-07-05T11:13:26Z"},{"alias_kind":"arxiv_version","alias_value":"2505.17155v2","created_at":"2026-07-05T11:13:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.17155","created_at":"2026-07-05T11:13:26Z"},{"alias_kind":"pith_short_12","alias_value":"7WF6YZUQDW43","created_at":"2026-07-05T11:13:26Z"},{"alias_kind":"pith_short_16","alias_value":"7WF6YZUQDW43ACUN","created_at":"2026-07-05T11:13:26Z"},{"alias_kind":"pith_short_8","alias_value":"7WF6YZUQ","created_at":"2026-07-05T11:13:26Z"}],"graph_snapshots":[{"event_id":"sha256:24ad1dcbb3f687e01ade84f740ea7d9396f0018d42398edf45cdf85cf2c64051","target":"graph","created_at":"2026-07-05T11:13:26Z","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.17155/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Reasoning Models (LRMs) demonstrate exceptional capability in tackling complex mathematical, logical, and coding tasks by leveraging extended Chain-of-Thought (CoT) reasoning. Test-time scaling methods, such as prolonging CoT with explicit token-level exploration, can push LRMs' accuracy boundaries, but they incur significant decoding overhead. A key inefficiency source is LRMs often generate redundant thinking CoTs, which demonstrate clear structured overthinking and underthinking patterns. Inspired by human cognitive reasoning processes and numerical optimization theories, we propose T","authors_text":"Hui-Ling Zhen, Mingxuan Yuan, Weizhe Lin, Wulong Liu, Xianzhi Yu, Xiaojin Fu, Xiaosong Li, Xing Li, Yaoyuan Wang, Zhiyuan Yang","cross_cats":["cs.AI","cs.CL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-05-22T12:23:30Z","title":"TrimR: Verifier-based Training-Free Thinking Compression for Efficient Test-Time Scaling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.17155","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:b8d349cd5537bf2ec67b6a8e56fffbe2d62af5bd692806d2efa467bb3251e741","target":"record","created_at":"2026-07-05T11:13:26Z","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":"424486a515ccc43f0cb18c27c56eaf42a66226f3bce4af718ea0d2c3c2aac8e8","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-05-22T12:23:30Z","title_canon_sha256":"1ffa30e56bc3b36ea6ef5925300a76821f13808e8f347aab82702b018806889d"},"schema_version":"1.0","source":{"id":"2505.17155","kind":"arxiv","version":2}},"canonical_sha256":"fd8bec66901db9b00a8d88693d898f9a7b6b076ea3d3ea4da10b0ade68cfa2fd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fd8bec66901db9b00a8d88693d898f9a7b6b076ea3d3ea4da10b0ade68cfa2fd","first_computed_at":"2026-07-05T11:13:26.303528Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:13:26.303528Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6a20yupChemS654QS15Mll4hsPHfGVKiqhpFKQnIYeKffEyOkfHr8KMEHxoEs+qA27fvbCaaTX340qFQw39/Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T11:13:26.303950Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.17155","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b8d349cd5537bf2ec67b6a8e56fffbe2d62af5bd692806d2efa467bb3251e741","sha256:24ad1dcbb3f687e01ade84f740ea7d9396f0018d42398edf45cdf85cf2c64051"],"state_sha256":"1b70104f1ff1864cc7562d93fc56ca5975a961db867fe081102d1b0c2b431adc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wjZO3HtlMNZTLGWd5Ur2XD5WQ3Dey1hiGZWKCrUh5Xv5TvZq3mg4oaXAQWpXUX6h18knfoVqfs2QgXKBqx82Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T23:06:55.647546Z","bundle_sha256":"3e4c7bc0d90e4ef4609b17dbeccdf2e3e03cfed1b5d0876873af34c023ef2c88"}}