{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:CIPBBFZ4ABYF4IT72G5JB7BQYD","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":"cccfd5b9bc5d4002f3b83cbc7142a9c5aaf4c3ece39914983613a147a8184db3","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-02-10T14:42:13Z","title_canon_sha256":"e7f9bb3a16623798c7dff33ab9f84d8123003fde65d853554ec36677baec695d"},"schema_version":"1.0","source":{"id":"2503.05703","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.05703","created_at":"2026-07-05T10:26:44Z"},{"alias_kind":"arxiv_version","alias_value":"2503.05703v1","created_at":"2026-07-05T10:26:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.05703","created_at":"2026-07-05T10:26:44Z"},{"alias_kind":"pith_short_12","alias_value":"CIPBBFZ4ABYF","created_at":"2026-07-05T10:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"CIPBBFZ4ABYF4IT7","created_at":"2026-07-05T10:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"CIPBBFZ4","created_at":"2026-07-05T10:26:44Z"}],"graph_snapshots":[{"event_id":"sha256:f28c094fd039d1adbe096ec7e615073b969f79abc094233185261a0c0081cb1e","target":"graph","created_at":"2026-07-05T10:26:44Z","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/2503.05703/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Code generation and understanding are critical capabilities for large language models (LLMs). Thus, most LLMs are pretrained and fine-tuned on code data. However, these datasets typically treat code as static strings and rarely exploit the dynamic information about their execution. Building upon previous work on trace modeling, we study Execution Tuning (E.T.), a training procedure in which we explicitly model real-world program execution traces without requiring manual test annotations. We train and evaluate models on different execution trace granularities (line and instruction-level) and st","authors_text":"Aram H. Markosyan, Chris Cummins, Gabriel Synnaeve, Hugh James Leather, Jordi Armengol-Estap\\'e, Melanie Kambadur, Michael F.P. O'Boyle, Quentin Carbonneaux, Sida Wang, Tianjun Zhang, Volker Seeker","cross_cats":["cs.AI","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-02-10T14:42:13Z","title":"What I cannot execute, I do not understand: Training and Evaluating LLMs on Program Execution Traces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.05703","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:5352d28f4bb069a842d18c29fd87b64981226df7b9f337862f933aac11257dc9","target":"record","created_at":"2026-07-05T10:26:44Z","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":"cccfd5b9bc5d4002f3b83cbc7142a9c5aaf4c3ece39914983613a147a8184db3","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-02-10T14:42:13Z","title_canon_sha256":"e7f9bb3a16623798c7dff33ab9f84d8123003fde65d853554ec36677baec695d"},"schema_version":"1.0","source":{"id":"2503.05703","kind":"arxiv","version":1}},"canonical_sha256":"121e10973c00705e227fd1ba90fc30c0d3cc37c158bcf6b9e5ccd44f485efb20","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"121e10973c00705e227fd1ba90fc30c0d3cc37c158bcf6b9e5ccd44f485efb20","first_computed_at":"2026-07-05T10:26:44.784019Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:26:44.784019Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h6mIm6HgjLuLZ4gTrWoWK3gU+pk5EAbTWKZ/kjtEyCjvCT4CTc9yHGdFW2sA8+bVLnZKzAE38r07T0ZW2iPICA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:26:44.784929Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.05703","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5352d28f4bb069a842d18c29fd87b64981226df7b9f337862f933aac11257dc9","sha256:f28c094fd039d1adbe096ec7e615073b969f79abc094233185261a0c0081cb1e"],"state_sha256":"1d2864c4288367d42ac7bfba8dda2a8b4888813c2658f895f149ae6acbb09048"}