{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:2S7QI7MKHDFBF7DY75J56MVJJV","short_pith_number":"pith:2S7QI7MK","canonical_record":{"source":{"id":"2506.13932","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-16T19:18:09Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"016185719035e56d713ca458ff068b8e8236d196b533d54395187bd087024f9e","abstract_canon_sha256":"773f21d4fa128aafb3bf25ce6bf6d9a950c5a05fa5723b867716e6a3d1a04a92"},"schema_version":"1.0"},"canonical_sha256":"d4bf047d8a38ca12fc78ff53df32a94d66759aabcac888976c8db473fb8cd3d1","source":{"kind":"arxiv","id":"2506.13932","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.13932","created_at":"2026-06-30T01:17:23Z"},{"alias_kind":"arxiv_version","alias_value":"2506.13932v3","created_at":"2026-06-30T01:17:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.13932","created_at":"2026-06-30T01:17:23Z"},{"alias_kind":"pith_short_12","alias_value":"2S7QI7MKHDFB","created_at":"2026-06-30T01:17:23Z"},{"alias_kind":"pith_short_16","alias_value":"2S7QI7MKHDFBF7DY","created_at":"2026-06-30T01:17:23Z"},{"alias_kind":"pith_short_8","alias_value":"2S7QI7MK","created_at":"2026-06-30T01:17:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:2S7QI7MKHDFBF7DY75J56MVJJV","target":"record","payload":{"canonical_record":{"source":{"id":"2506.13932","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-16T19:18:09Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"016185719035e56d713ca458ff068b8e8236d196b533d54395187bd087024f9e","abstract_canon_sha256":"773f21d4fa128aafb3bf25ce6bf6d9a950c5a05fa5723b867716e6a3d1a04a92"},"schema_version":"1.0"},"canonical_sha256":"d4bf047d8a38ca12fc78ff53df32a94d66759aabcac888976c8db473fb8cd3d1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-30T01:17:23.957779Z","signature_b64":"y0HoH2xrepbR26Z/0vsrTiw6Q2OJEcBvTppp4xrr0y4dSzeyuDCpG9o15lj4onPPETGNejXiJI0dCxCb/FQ4Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d4bf047d8a38ca12fc78ff53df32a94d66759aabcac888976c8db473fb8cd3d1","last_reissued_at":"2026-06-30T01:17:23.957065Z","signature_status":"signed_v1","first_computed_at":"2026-06-30T01:17:23.957065Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.13932","source_version":3,"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-30T01:17:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bcSOZiTGA0hP3uLttteZuGPxOYIboMW4tcmjAjnZVp/6fMwD05dozMS8RSQfB1pZvmPoCuGrGXUUKmfseP/+Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T06:02:06.135250Z"},"content_sha256":"70b582d6e198420ec11e17b58e9ac2aaba4ab1626eb9ddb608b40079a0f2a408","schema_version":"1.0","event_id":"sha256:70b582d6e198420ec11e17b58e9ac2aaba4ab1626eb9ddb608b40079a0f2a408"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:2S7QI7MKHDFBF7DY75J56MVJJV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Code Reasoning for Software Engineering Tasks: A Survey and A Call to Action","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Baishakhi Ray, Gail Kaiser, Ira Ceka, Irene Manotas, Saurabh Pujar, Shyam Ramji","submitted_at":"2025-06-16T19:18:09Z","abstract_excerpt":"The rise of large language models (LLMs) has led to dramatic improvements across a wide range of natural language tasks. Their performance on certain tasks can be further enhanced by incorporating test-time reasoning techniques. These inference-time advances have been adopted into the code domain, enabling complex software engineering (SWE) tasks such as code generation, test generation and issue resolution. However, the impact of different reasoning techniques on code-centric SWE tasks has not been systematically explored. In this work, we survey code reasoning techniques that underpin these "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.13932","kind":"arxiv","version":3},"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/2506.13932/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-30T01:17:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qah3K7Lnfj1XZrpbmuJufgZ3WV115V/T9wnAr/a+4wwdWCMOrWDJBHNccLhLIEa/qNtkTi3SL8UMuz86Bp5DCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T06:02:06.136211Z"},"content_sha256":"8b8b61b6c89ded5b18bac46d7030cb66da65d23b813b42a69f4a66bab8f9faab","schema_version":"1.0","event_id":"sha256:8b8b61b6c89ded5b18bac46d7030cb66da65d23b813b42a69f4a66bab8f9faab"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2S7QI7MKHDFBF7DY75J56MVJJV/bundle.json","state_url":"https://pith.science/pith/2S7QI7MKHDFBF7DY75J56MVJJV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2S7QI7MKHDFBF7DY75J56MVJJV/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-13T06:02:06Z","links":{"resolver":"https://pith.science/pith/2S7QI7MKHDFBF7DY75J56MVJJV","bundle":"https://pith.science/pith/2S7QI7MKHDFBF7DY75J56MVJJV/bundle.json","state":"https://pith.science/pith/2S7QI7MKHDFBF7DY75J56MVJJV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2S7QI7MKHDFBF7DY75J56MVJJV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:2S7QI7MKHDFBF7DY75J56MVJJV","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":"773f21d4fa128aafb3bf25ce6bf6d9a950c5a05fa5723b867716e6a3d1a04a92","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-16T19:18:09Z","title_canon_sha256":"016185719035e56d713ca458ff068b8e8236d196b533d54395187bd087024f9e"},"schema_version":"1.0","source":{"id":"2506.13932","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.13932","created_at":"2026-06-30T01:17:23Z"},{"alias_kind":"arxiv_version","alias_value":"2506.13932v3","created_at":"2026-06-30T01:17:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.13932","created_at":"2026-06-30T01:17:23Z"},{"alias_kind":"pith_short_12","alias_value":"2S7QI7MKHDFB","created_at":"2026-06-30T01:17:23Z"},{"alias_kind":"pith_short_16","alias_value":"2S7QI7MKHDFBF7DY","created_at":"2026-06-30T01:17:23Z"},{"alias_kind":"pith_short_8","alias_value":"2S7QI7MK","created_at":"2026-06-30T01:17:23Z"}],"graph_snapshots":[{"event_id":"sha256:8b8b61b6c89ded5b18bac46d7030cb66da65d23b813b42a69f4a66bab8f9faab","target":"graph","created_at":"2026-06-30T01:17:23Z","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/2506.13932/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The rise of large language models (LLMs) has led to dramatic improvements across a wide range of natural language tasks. Their performance on certain tasks can be further enhanced by incorporating test-time reasoning techniques. These inference-time advances have been adopted into the code domain, enabling complex software engineering (SWE) tasks such as code generation, test generation and issue resolution. However, the impact of different reasoning techniques on code-centric SWE tasks has not been systematically explored. In this work, we survey code reasoning techniques that underpin these ","authors_text":"Baishakhi Ray, Gail Kaiser, Ira Ceka, Irene Manotas, Saurabh Pujar, Shyam Ramji","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-16T19:18:09Z","title":"Code Reasoning for Software Engineering Tasks: A Survey and A Call to Action"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.13932","kind":"arxiv","version":3},"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:70b582d6e198420ec11e17b58e9ac2aaba4ab1626eb9ddb608b40079a0f2a408","target":"record","created_at":"2026-06-30T01:17:23Z","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":"773f21d4fa128aafb3bf25ce6bf6d9a950c5a05fa5723b867716e6a3d1a04a92","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-16T19:18:09Z","title_canon_sha256":"016185719035e56d713ca458ff068b8e8236d196b533d54395187bd087024f9e"},"schema_version":"1.0","source":{"id":"2506.13932","kind":"arxiv","version":3}},"canonical_sha256":"d4bf047d8a38ca12fc78ff53df32a94d66759aabcac888976c8db473fb8cd3d1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d4bf047d8a38ca12fc78ff53df32a94d66759aabcac888976c8db473fb8cd3d1","first_computed_at":"2026-06-30T01:17:23.957065Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-30T01:17:23.957065Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y0HoH2xrepbR26Z/0vsrTiw6Q2OJEcBvTppp4xrr0y4dSzeyuDCpG9o15lj4onPPETGNejXiJI0dCxCb/FQ4Bw==","signature_status":"signed_v1","signed_at":"2026-06-30T01:17:23.957779Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.13932","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:70b582d6e198420ec11e17b58e9ac2aaba4ab1626eb9ddb608b40079a0f2a408","sha256:8b8b61b6c89ded5b18bac46d7030cb66da65d23b813b42a69f4a66bab8f9faab"],"state_sha256":"1994cea76a0e76b4deaffd477a68a8e4f535a3d8bf189867b3c040c6f6bfe8a6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z9hRkL8jxVtRhnkV93ftJczZKY6vHASA/6BqdXR+OG5/x9084l6SevXIfhbjDRWGJNlKFEjpYKNCq8LetH+lCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T06:02:06.146961Z","bundle_sha256":"90f137d6af5b3ba85dd20b77b5f99a877b613ec61c209545a5bd43c169af2c15"}}