{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:3ICD3UENUR2265SM6Z2T4YUXVC","short_pith_number":"pith:3ICD3UEN","canonical_record":{"source":{"id":"2505.17481","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-23T05:21:11Z","cross_cats_sorted":[],"title_canon_sha256":"79c36bbb5d0e37102b405c944bf30045e46733c76224967a2f42856e17850b3a","abstract_canon_sha256":"ba70a897b9bc7f885f2df81abf64c73649edf6d5aebb19c873300e1ec6212edb"},"schema_version":"1.0"},"canonical_sha256":"da043dd08da475af764cf6753e6297a8ae7f1a59aaa0920d0d36d4bfeea5506e","source":{"kind":"arxiv","id":"2505.17481","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.17481","created_at":"2026-07-05T11:08:26Z"},{"alias_kind":"arxiv_version","alias_value":"2505.17481v1","created_at":"2026-07-05T11:08:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.17481","created_at":"2026-07-05T11:08:26Z"},{"alias_kind":"pith_short_12","alias_value":"3ICD3UENUR22","created_at":"2026-07-05T11:08:26Z"},{"alias_kind":"pith_short_16","alias_value":"3ICD3UENUR2265SM","created_at":"2026-07-05T11:08:26Z"},{"alias_kind":"pith_short_8","alias_value":"3ICD3UEN","created_at":"2026-07-05T11:08:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:3ICD3UENUR2265SM6Z2T4YUXVC","target":"record","payload":{"canonical_record":{"source":{"id":"2505.17481","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-23T05:21:11Z","cross_cats_sorted":[],"title_canon_sha256":"79c36bbb5d0e37102b405c944bf30045e46733c76224967a2f42856e17850b3a","abstract_canon_sha256":"ba70a897b9bc7f885f2df81abf64c73649edf6d5aebb19c873300e1ec6212edb"},"schema_version":"1.0"},"canonical_sha256":"da043dd08da475af764cf6753e6297a8ae7f1a59aaa0920d0d36d4bfeea5506e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:08:26.699833Z","signature_b64":"9IliE8A4k0/KuNL3W3DT/VPKjf066cR5Rs8muMNBTU9LbHzF6L/Ux2EvU2cmrzyzFp1wfCZnQxRg3CtTw5wWDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"da043dd08da475af764cf6753e6297a8ae7f1a59aaa0920d0d36d4bfeea5506e","last_reissued_at":"2026-07-05T11:08:26.699487Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:08:26.699487Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.17481","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:08:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jDivR5HGuWD5gYCHCEv9ONl82e+PCHPVomJgY8KehWsDBBgnlq1GTYOG/WUBLeXy2+/sKa05YJTNgmvKj2DtCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T23:47:45.916465Z"},"content_sha256":"3100b3e76b2fe2b2025bcde339581cc7bc0e35595282b5f52b487a594675e2a5","schema_version":"1.0","event_id":"sha256:3100b3e76b2fe2b2025bcde339581cc7bc0e35595282b5f52b487a594675e2a5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:3ICD3UENUR2265SM6Z2T4YUXVC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"MARCO: Meta-Reflection with Cross-Referencing for Code Reasoning","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Ming Zhang, Philip S. Yu, Wei Ju, Weizhi Zhang, Xiao Luo, Yusheng Zhao, Zhiping Xiao","submitted_at":"2025-05-23T05:21:11Z","abstract_excerpt":"The ability to reason is one of the most fundamental capabilities of large language models (LLMs), enabling a wide range of downstream tasks through sophisticated problem-solving. A critical aspect of this is code reasoning, which involves logical reasoning with formal languages (i.e., programming code). In this paper, we enhance this capability of LLMs by exploring the following question: how can an LLM agent become progressively smarter in code reasoning with each solution it proposes, thereby achieving substantial cumulative improvement? Most existing research takes a static perspective, fo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.17481","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.17481/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:08:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E3ZiLKb3nYHL1y/IEiTI9dC9BeDoc3yJYCZGJVvaWVzyEMy7Gno/mW3eMBfUlGM3vR42xtKqR4XUqvteUpdrDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T23:47:45.916980Z"},"content_sha256":"80b70cf44b7a0c191f01de2b617dc63c63ece74eb55601310c2bcb19a1a6e923","schema_version":"1.0","event_id":"sha256:80b70cf44b7a0c191f01de2b617dc63c63ece74eb55601310c2bcb19a1a6e923"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3ICD3UENUR2265SM6Z2T4YUXVC/bundle.json","state_url":"https://pith.science/pith/3ICD3UENUR2265SM6Z2T4YUXVC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3ICD3UENUR2265SM6Z2T4YUXVC/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:47:45Z","links":{"resolver":"https://pith.science/pith/3ICD3UENUR2265SM6Z2T4YUXVC","bundle":"https://pith.science/pith/3ICD3UENUR2265SM6Z2T4YUXVC/bundle.json","state":"https://pith.science/pith/3ICD3UENUR2265SM6Z2T4YUXVC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3ICD3UENUR2265SM6Z2T4YUXVC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:3ICD3UENUR2265SM6Z2T4YUXVC","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":"ba70a897b9bc7f885f2df81abf64c73649edf6d5aebb19c873300e1ec6212edb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-23T05:21:11Z","title_canon_sha256":"79c36bbb5d0e37102b405c944bf30045e46733c76224967a2f42856e17850b3a"},"schema_version":"1.0","source":{"id":"2505.17481","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.17481","created_at":"2026-07-05T11:08:26Z"},{"alias_kind":"arxiv_version","alias_value":"2505.17481v1","created_at":"2026-07-05T11:08:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.17481","created_at":"2026-07-05T11:08:26Z"},{"alias_kind":"pith_short_12","alias_value":"3ICD3UENUR22","created_at":"2026-07-05T11:08:26Z"},{"alias_kind":"pith_short_16","alias_value":"3ICD3UENUR2265SM","created_at":"2026-07-05T11:08:26Z"},{"alias_kind":"pith_short_8","alias_value":"3ICD3UEN","created_at":"2026-07-05T11:08:26Z"}],"graph_snapshots":[{"event_id":"sha256:80b70cf44b7a0c191f01de2b617dc63c63ece74eb55601310c2bcb19a1a6e923","target":"graph","created_at":"2026-07-05T11:08: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.17481/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The ability to reason is one of the most fundamental capabilities of large language models (LLMs), enabling a wide range of downstream tasks through sophisticated problem-solving. A critical aspect of this is code reasoning, which involves logical reasoning with formal languages (i.e., programming code). In this paper, we enhance this capability of LLMs by exploring the following question: how can an LLM agent become progressively smarter in code reasoning with each solution it proposes, thereby achieving substantial cumulative improvement? Most existing research takes a static perspective, fo","authors_text":"Ming Zhang, Philip S. Yu, Wei Ju, Weizhi Zhang, Xiao Luo, Yusheng Zhao, Zhiping Xiao","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-23T05:21:11Z","title":"MARCO: Meta-Reflection with Cross-Referencing for Code Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.17481","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:3100b3e76b2fe2b2025bcde339581cc7bc0e35595282b5f52b487a594675e2a5","target":"record","created_at":"2026-07-05T11:08: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":"ba70a897b9bc7f885f2df81abf64c73649edf6d5aebb19c873300e1ec6212edb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2025-05-23T05:21:11Z","title_canon_sha256":"79c36bbb5d0e37102b405c944bf30045e46733c76224967a2f42856e17850b3a"},"schema_version":"1.0","source":{"id":"2505.17481","kind":"arxiv","version":1}},"canonical_sha256":"da043dd08da475af764cf6753e6297a8ae7f1a59aaa0920d0d36d4bfeea5506e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"da043dd08da475af764cf6753e6297a8ae7f1a59aaa0920d0d36d4bfeea5506e","first_computed_at":"2026-07-05T11:08:26.699487Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:08:26.699487Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9IliE8A4k0/KuNL3W3DT/VPKjf066cR5Rs8muMNBTU9LbHzF6L/Ux2EvU2cmrzyzFp1wfCZnQxRg3CtTw5wWDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:08:26.699833Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.17481","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3100b3e76b2fe2b2025bcde339581cc7bc0e35595282b5f52b487a594675e2a5","sha256:80b70cf44b7a0c191f01de2b617dc63c63ece74eb55601310c2bcb19a1a6e923"],"state_sha256":"afaa40d185a78e261570336f726fa76a187f2a2fa4469c67784df09ea85b4e5f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AE2Tr5Vv9bWPW0KjlUinFJNuNGlTnQWiZjVEOn/9Cmfknxt3fquDo/HYSP4In9F6ivwCrUCIpJxEqmVy8ZD7CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T23:47:45.921131Z","bundle_sha256":"3cb194f235b3893f57c8f97214b9ea09e5be1ad4d1c8f50de315ffc20a6c8ab7"}}