{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FBE23ELNYWSKR6NJM54SZ7IYNT","short_pith_number":"pith:FBE23ELN","canonical_record":{"source":{"id":"2505.04441","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-07T14:12:41Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"9149e6e8c6f7de02b67b6037baac883395ca2e0ad67e50bb2b8cb525f99a8236","abstract_canon_sha256":"896db56462293e77a469a5afb6914fb8b389757c5c92753dcf20d51c165aff1a"},"schema_version":"1.0"},"canonical_sha256":"2849ad916dc5a4a8f9a967792cfd186cdf2372fc4b147256ba5de5b97b890294","source":{"kind":"arxiv","id":"2505.04441","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.04441","created_at":"2026-07-05T11:00:10Z"},{"alias_kind":"arxiv_version","alias_value":"2505.04441v1","created_at":"2026-07-05T11:00:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.04441","created_at":"2026-07-05T11:00:10Z"},{"alias_kind":"pith_short_12","alias_value":"FBE23ELNYWSK","created_at":"2026-07-05T11:00:10Z"},{"alias_kind":"pith_short_16","alias_value":"FBE23ELNYWSKR6NJ","created_at":"2026-07-05T11:00:10Z"},{"alias_kind":"pith_short_8","alias_value":"FBE23ELN","created_at":"2026-07-05T11:00:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FBE23ELNYWSKR6NJM54SZ7IYNT","target":"record","payload":{"canonical_record":{"source":{"id":"2505.04441","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-07T14:12:41Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"9149e6e8c6f7de02b67b6037baac883395ca2e0ad67e50bb2b8cb525f99a8236","abstract_canon_sha256":"896db56462293e77a469a5afb6914fb8b389757c5c92753dcf20d51c165aff1a"},"schema_version":"1.0"},"canonical_sha256":"2849ad916dc5a4a8f9a967792cfd186cdf2372fc4b147256ba5de5b97b890294","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:00:10.046116Z","signature_b64":"DdZfNhY9DDU3m2gLpfduuSYnp0uEspmMwbSgHogMdBYpAa3GD/4CqmLMojCTxZoH4brCrdh4w64/2w0yeuaWBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2849ad916dc5a4a8f9a967792cfd186cdf2372fc4b147256ba5de5b97b890294","last_reissued_at":"2026-07-05T11:00:10.045508Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:00:10.045508Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.04441","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:00:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OKsicrPFFqZLOg3p/TaC06+LCy+rGHlwaKlxlROgjEs2LJc4x8sHJLb5hkAGnrfk211iKHBKXE1IhDYqKHLoBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T10:04:41.270128Z"},"content_sha256":"4f1cc9bdd609ab6bddcd6055b3d72b5f3fe9e78f08e579b83f0043d7ecdef507","schema_version":"1.0","event_id":"sha256:4f1cc9bdd609ab6bddcd6055b3d72b5f3fe9e78f08e579b83f0043d7ecdef507"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FBE23ELNYWSKR6NJM54SZ7IYNT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Effectively Leveraging Execution Traces for Program Repair with Code LLMs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LG","authors_text":"Farima Farmahinifarahani, Manuela Veloso, Mirazul Haque, Petr Babkin","submitted_at":"2025-05-07T14:12:41Z","abstract_excerpt":"Large Language Models (LLMs) show promising performance on various programming tasks, including Automatic Program Repair (APR). However, most approaches to LLM-based APR are limited to the static analysis of the programs, while disregarding their runtime behavior. Inspired by knowledge-augmented NLP, in this work, we aim to remedy this potential blind spot by augmenting standard APR prompts with program execution traces. We evaluate our approach using the GPT family of models on three popular APR datasets. Our findings suggest that simply incorporating execution traces into the prompt provides"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.04441","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.04441/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:00:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RC07d7QhJ9u3TRJRuLy8PkoXMQ7e3JMIkF20scEjBxqbnrfYq0dP1LW2GFJJyEhqm9Ln1RAvfadFkMrWrqIJAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T10:04:41.270634Z"},"content_sha256":"2026f8acafd27a4115f1b974de6d39ce995900392594fd307edbd9663c240a59","schema_version":"1.0","event_id":"sha256:2026f8acafd27a4115f1b974de6d39ce995900392594fd307edbd9663c240a59"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FBE23ELNYWSKR6NJM54SZ7IYNT/bundle.json","state_url":"https://pith.science/pith/FBE23ELNYWSKR6NJM54SZ7IYNT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FBE23ELNYWSKR6NJM54SZ7IYNT/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-06T10:04:41Z","links":{"resolver":"https://pith.science/pith/FBE23ELNYWSKR6NJM54SZ7IYNT","bundle":"https://pith.science/pith/FBE23ELNYWSKR6NJM54SZ7IYNT/bundle.json","state":"https://pith.science/pith/FBE23ELNYWSKR6NJM54SZ7IYNT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FBE23ELNYWSKR6NJM54SZ7IYNT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FBE23ELNYWSKR6NJM54SZ7IYNT","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":"896db56462293e77a469a5afb6914fb8b389757c5c92753dcf20d51c165aff1a","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-07T14:12:41Z","title_canon_sha256":"9149e6e8c6f7de02b67b6037baac883395ca2e0ad67e50bb2b8cb525f99a8236"},"schema_version":"1.0","source":{"id":"2505.04441","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.04441","created_at":"2026-07-05T11:00:10Z"},{"alias_kind":"arxiv_version","alias_value":"2505.04441v1","created_at":"2026-07-05T11:00:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.04441","created_at":"2026-07-05T11:00:10Z"},{"alias_kind":"pith_short_12","alias_value":"FBE23ELNYWSK","created_at":"2026-07-05T11:00:10Z"},{"alias_kind":"pith_short_16","alias_value":"FBE23ELNYWSKR6NJ","created_at":"2026-07-05T11:00:10Z"},{"alias_kind":"pith_short_8","alias_value":"FBE23ELN","created_at":"2026-07-05T11:00:10Z"}],"graph_snapshots":[{"event_id":"sha256:2026f8acafd27a4115f1b974de6d39ce995900392594fd307edbd9663c240a59","target":"graph","created_at":"2026-07-05T11:00:10Z","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.04441/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) show promising performance on various programming tasks, including Automatic Program Repair (APR). However, most approaches to LLM-based APR are limited to the static analysis of the programs, while disregarding their runtime behavior. Inspired by knowledge-augmented NLP, in this work, we aim to remedy this potential blind spot by augmenting standard APR prompts with program execution traces. We evaluate our approach using the GPT family of models on three popular APR datasets. Our findings suggest that simply incorporating execution traces into the prompt provides","authors_text":"Farima Farmahinifarahani, Manuela Veloso, Mirazul Haque, Petr Babkin","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-07T14:12:41Z","title":"Towards Effectively Leveraging Execution Traces for Program Repair with Code LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.04441","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:4f1cc9bdd609ab6bddcd6055b3d72b5f3fe9e78f08e579b83f0043d7ecdef507","target":"record","created_at":"2026-07-05T11:00:10Z","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":"896db56462293e77a469a5afb6914fb8b389757c5c92753dcf20d51c165aff1a","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-07T14:12:41Z","title_canon_sha256":"9149e6e8c6f7de02b67b6037baac883395ca2e0ad67e50bb2b8cb525f99a8236"},"schema_version":"1.0","source":{"id":"2505.04441","kind":"arxiv","version":1}},"canonical_sha256":"2849ad916dc5a4a8f9a967792cfd186cdf2372fc4b147256ba5de5b97b890294","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2849ad916dc5a4a8f9a967792cfd186cdf2372fc4b147256ba5de5b97b890294","first_computed_at":"2026-07-05T11:00:10.045508Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:00:10.045508Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DdZfNhY9DDU3m2gLpfduuSYnp0uEspmMwbSgHogMdBYpAa3GD/4CqmLMojCTxZoH4brCrdh4w64/2w0yeuaWBA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:00:10.046116Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.04441","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4f1cc9bdd609ab6bddcd6055b3d72b5f3fe9e78f08e579b83f0043d7ecdef507","sha256:2026f8acafd27a4115f1b974de6d39ce995900392594fd307edbd9663c240a59"],"state_sha256":"d48365a481fc37ad0999a6c103146fea910cdcd167a3928d1cca1668aeaa48d5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YGwHQRjt2+uw7U88zEJfTkLmrjEF/Z6cfiiwM4RurNca8OMtqEFlHw0Ii4CUNFKpBvVeJwcOED+s3UZONtyNDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T10:04:41.274164Z","bundle_sha256":"3c75568ec1e1fe3b812a04332636668673499eb69c2232714bcf09ce29900ba2"}}