{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:K4E5E2UHCOGKWLCGOKYCBQTZZE","short_pith_number":"pith:K4E5E2UH","canonical_record":{"source":{"id":"2410.09117","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-10T18:06:29Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"02a62a22bccd2f29eab2be19ac579d448130346a03c8a7feab8c4e3d9c7a65a7","abstract_canon_sha256":"88c7461c5a955480451d4d886427585b3503add900a4cc253a0aa7f2d2fc3948"},"schema_version":"1.0"},"canonical_sha256":"5709d26a87138cab2c4672b020c279c9310747adfca6952d516bfded916dbc9e","source":{"kind":"arxiv","id":"2410.09117","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.09117","created_at":"2026-07-05T09:19:34Z"},{"alias_kind":"arxiv_version","alias_value":"2410.09117v1","created_at":"2026-07-05T09:19:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.09117","created_at":"2026-07-05T09:19:34Z"},{"alias_kind":"pith_short_12","alias_value":"K4E5E2UHCOGK","created_at":"2026-07-05T09:19:34Z"},{"alias_kind":"pith_short_16","alias_value":"K4E5E2UHCOGKWLCG","created_at":"2026-07-05T09:19:34Z"},{"alias_kind":"pith_short_8","alias_value":"K4E5E2UH","created_at":"2026-07-05T09:19:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:K4E5E2UHCOGKWLCGOKYCBQTZZE","target":"record","payload":{"canonical_record":{"source":{"id":"2410.09117","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-10T18:06:29Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"02a62a22bccd2f29eab2be19ac579d448130346a03c8a7feab8c4e3d9c7a65a7","abstract_canon_sha256":"88c7461c5a955480451d4d886427585b3503add900a4cc253a0aa7f2d2fc3948"},"schema_version":"1.0"},"canonical_sha256":"5709d26a87138cab2c4672b020c279c9310747adfca6952d516bfded916dbc9e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:19:34.133454Z","signature_b64":"rOskKo2Nv9xhniGpNs0neq3jrkHTAuQbybUQpO6ZJYO+bjvYNPqf7WxfSj7953D5qZ08vI/BzNvrozr/f91FDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5709d26a87138cab2c4672b020c279c9310747adfca6952d516bfded916dbc9e","last_reissued_at":"2026-07-05T09:19:34.132965Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:19:34.132965Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.09117","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-05T09:19:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kiLA2IHc5Q6xqsMt1OxGDpghg9UCCYIe09zkOpB5NAXdcGKgJl4Z10rhpcZX8ALcaELq1cnhIXWC3z+WstjLCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:28:21.210650Z"},"content_sha256":"56771e089c5d83e3711ade7cf195198ed4ac4f0cb1526599d4619da7bc0399e6","schema_version":"1.0","event_id":"sha256:56771e089c5d83e3711ade7cf195198ed4ac4f0cb1526599d4619da7bc0399e6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:K4E5E2UHCOGKWLCGOKYCBQTZZE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"REDO: Execution-Free Runtime Error Detection for COding Agents","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Andrey Kan, Bhavana Bhasker, Laurent Callot, Muhammad Shihab Rashid, Shou Li, Timothy B Esler","submitted_at":"2024-10-10T18:06:29Z","abstract_excerpt":"As LLM-based agents exhibit exceptional capabilities in addressing complex problems, there is a growing focus on developing coding agents to tackle increasingly sophisticated tasks. Despite their promising performance, these coding agents often produce programs or modifications that contain runtime errors, which can cause code failures and are difficult for static analysis tools to detect. Enhancing the ability of coding agents to statically identify such errors could significantly improve their overall performance. In this work, we introduce Execution-free Runtime Error Detection for COding A"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.09117","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/2410.09117/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-05T09:19:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"akGoBCEpSyzR0PtoJ2ZE40gw+nhK8zF4lF99IOPNCav2vCq356xUwcQQwJcBs0b5y0hQvadDtffxEPcLZkoyCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:28:21.211018Z"},"content_sha256":"24c1a5a42e92761446d155eccddb8d5d5b1f72b2732377352f0f51ca36412b70","schema_version":"1.0","event_id":"sha256:24c1a5a42e92761446d155eccddb8d5d5b1f72b2732377352f0f51ca36412b70"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K4E5E2UHCOGKWLCGOKYCBQTZZE/bundle.json","state_url":"https://pith.science/pith/K4E5E2UHCOGKWLCGOKYCBQTZZE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K4E5E2UHCOGKWLCGOKYCBQTZZE/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-07-07T10:28:21Z","links":{"resolver":"https://pith.science/pith/K4E5E2UHCOGKWLCGOKYCBQTZZE","bundle":"https://pith.science/pith/K4E5E2UHCOGKWLCGOKYCBQTZZE/bundle.json","state":"https://pith.science/pith/K4E5E2UHCOGKWLCGOKYCBQTZZE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K4E5E2UHCOGKWLCGOKYCBQTZZE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:K4E5E2UHCOGKWLCGOKYCBQTZZE","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":"88c7461c5a955480451d4d886427585b3503add900a4cc253a0aa7f2d2fc3948","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-10T18:06:29Z","title_canon_sha256":"02a62a22bccd2f29eab2be19ac579d448130346a03c8a7feab8c4e3d9c7a65a7"},"schema_version":"1.0","source":{"id":"2410.09117","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.09117","created_at":"2026-07-05T09:19:34Z"},{"alias_kind":"arxiv_version","alias_value":"2410.09117v1","created_at":"2026-07-05T09:19:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.09117","created_at":"2026-07-05T09:19:34Z"},{"alias_kind":"pith_short_12","alias_value":"K4E5E2UHCOGK","created_at":"2026-07-05T09:19:34Z"},{"alias_kind":"pith_short_16","alias_value":"K4E5E2UHCOGKWLCG","created_at":"2026-07-05T09:19:34Z"},{"alias_kind":"pith_short_8","alias_value":"K4E5E2UH","created_at":"2026-07-05T09:19:34Z"}],"graph_snapshots":[{"event_id":"sha256:24c1a5a42e92761446d155eccddb8d5d5b1f72b2732377352f0f51ca36412b70","target":"graph","created_at":"2026-07-05T09:19:34Z","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/2410.09117/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As LLM-based agents exhibit exceptional capabilities in addressing complex problems, there is a growing focus on developing coding agents to tackle increasingly sophisticated tasks. Despite their promising performance, these coding agents often produce programs or modifications that contain runtime errors, which can cause code failures and are difficult for static analysis tools to detect. Enhancing the ability of coding agents to statically identify such errors could significantly improve their overall performance. In this work, we introduce Execution-free Runtime Error Detection for COding A","authors_text":"Andrey Kan, Bhavana Bhasker, Laurent Callot, Muhammad Shihab Rashid, Shou Li, Timothy B Esler","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-10T18:06:29Z","title":"REDO: Execution-Free Runtime Error Detection for COding Agents"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.09117","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:56771e089c5d83e3711ade7cf195198ed4ac4f0cb1526599d4619da7bc0399e6","target":"record","created_at":"2026-07-05T09:19:34Z","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":"88c7461c5a955480451d4d886427585b3503add900a4cc253a0aa7f2d2fc3948","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-10-10T18:06:29Z","title_canon_sha256":"02a62a22bccd2f29eab2be19ac579d448130346a03c8a7feab8c4e3d9c7a65a7"},"schema_version":"1.0","source":{"id":"2410.09117","kind":"arxiv","version":1}},"canonical_sha256":"5709d26a87138cab2c4672b020c279c9310747adfca6952d516bfded916dbc9e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5709d26a87138cab2c4672b020c279c9310747adfca6952d516bfded916dbc9e","first_computed_at":"2026-07-05T09:19:34.132965Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:19:34.132965Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rOskKo2Nv9xhniGpNs0neq3jrkHTAuQbybUQpO6ZJYO+bjvYNPqf7WxfSj7953D5qZ08vI/BzNvrozr/f91FDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:19:34.133454Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.09117","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:56771e089c5d83e3711ade7cf195198ed4ac4f0cb1526599d4619da7bc0399e6","sha256:24c1a5a42e92761446d155eccddb8d5d5b1f72b2732377352f0f51ca36412b70"],"state_sha256":"e8bfead837e56375c99e00b96d80b1424392333064004395ea618635a50eb63f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KDmRWeVp7QuZ3lp743DeQSWb4pD9Z87JgI9zusEj2+uiG7DHOsnUiMfK/1uonHrKMxivzycqVtSBjid5mYaMBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T10:28:21.212931Z","bundle_sha256":"5ac04aa1bb2c5753bd981d150cb5c72f9a2d8cc57dede10d2b89b7ba1727816d"}}