{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:HRPB53B7YJYDB2WBGIDSDXZWCJ","short_pith_number":"pith:HRPB53B7","schema_version":"1.0","canonical_sha256":"3c5e1eec3fc27030eac1320721df36124fddfc8a47a6a454a1dd8afb3fbbf3e8","source":{"kind":"arxiv","id":"2203.03771","version":1},"attestation_state":"computed","paper":{"title":"Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descriptions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LG","authors_text":"Daniel Tarlow, Daniel Zheng, David Bieber, Hugo Larochelle, Rishab Goel","submitted_at":"2022-03-07T23:17:17Z","abstract_excerpt":"The execution behavior of a program often depends on external resources, such as program inputs or file contents, and so cannot be run in isolation. Nevertheless, software developers benefit from fast iteration loops where automated tools identify errors as early as possible, even before programs can be compiled and run. This presents an interesting machine learning challenge: can we predict runtime errors in a \"static\" setting, where program execution is not possible? Here, we introduce a real-world dataset and task for predicting runtime errors, which we show is difficult for generic models "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2203.03771","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-03-07T23:17:17Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"74dbc740a3ffe7bb6358e17b199b651a3b37d3c9bdab7347aa65f20bd5103143","abstract_canon_sha256":"482152e2f36855a15b16f775ab8c9a69200c6473f6480273f745a9a26c8534e1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:09:49.906914Z","signature_b64":"dOygJwcP2Sf9VXzH+xeek2t3kYwDalgT9iL5JNaYZh/xAwrGtfBKlQIrTH10EGcKgt/M9h4Tx55v0bH8UT0aCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3c5e1eec3fc27030eac1320721df36124fddfc8a47a6a454a1dd8afb3fbbf3e8","last_reissued_at":"2026-07-05T04:09:49.906527Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:09:49.906527Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descriptions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LG","authors_text":"Daniel Tarlow, Daniel Zheng, David Bieber, Hugo Larochelle, Rishab Goel","submitted_at":"2022-03-07T23:17:17Z","abstract_excerpt":"The execution behavior of a program often depends on external resources, such as program inputs or file contents, and so cannot be run in isolation. Nevertheless, software developers benefit from fast iteration loops where automated tools identify errors as early as possible, even before programs can be compiled and run. This presents an interesting machine learning challenge: can we predict runtime errors in a \"static\" setting, where program execution is not possible? Here, we introduce a real-world dataset and task for predicting runtime errors, which we show is difficult for generic models "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.03771","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/2203.03771/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2203.03771","created_at":"2026-07-05T04:09:49.906585+00:00"},{"alias_kind":"arxiv_version","alias_value":"2203.03771v1","created_at":"2026-07-05T04:09:49.906585+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.03771","created_at":"2026-07-05T04:09:49.906585+00:00"},{"alias_kind":"pith_short_12","alias_value":"HRPB53B7YJYD","created_at":"2026-07-05T04:09:49.906585+00:00"},{"alias_kind":"pith_short_16","alias_value":"HRPB53B7YJYDB2WB","created_at":"2026-07-05T04:09:49.906585+00:00"},{"alias_kind":"pith_short_8","alias_value":"HRPB53B7","created_at":"2026-07-05T04:09:49.906585+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.16320","citing_title":"How Robustly do LLMs Understand Execution Semantics?","ref_index":5,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/HRPB53B7YJYDB2WBGIDSDXZWCJ","json":"https://pith.science/pith/HRPB53B7YJYDB2WBGIDSDXZWCJ.json","graph_json":"https://pith.science/api/pith-number/HRPB53B7YJYDB2WBGIDSDXZWCJ/graph.json","events_json":"https://pith.science/api/pith-number/HRPB53B7YJYDB2WBGIDSDXZWCJ/events.json","paper":"https://pith.science/paper/HRPB53B7"},"agent_actions":{"view_html":"https://pith.science/pith/HRPB53B7YJYDB2WBGIDSDXZWCJ","download_json":"https://pith.science/pith/HRPB53B7YJYDB2WBGIDSDXZWCJ.json","view_paper":"https://pith.science/paper/HRPB53B7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2203.03771&json=true","fetch_graph":"https://pith.science/api/pith-number/HRPB53B7YJYDB2WBGIDSDXZWCJ/graph.json","fetch_events":"https://pith.science/api/pith-number/HRPB53B7YJYDB2WBGIDSDXZWCJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HRPB53B7YJYDB2WBGIDSDXZWCJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HRPB53B7YJYDB2WBGIDSDXZWCJ/action/storage_attestation","attest_author":"https://pith.science/pith/HRPB53B7YJYDB2WBGIDSDXZWCJ/action/author_attestation","sign_citation":"https://pith.science/pith/HRPB53B7YJYDB2WBGIDSDXZWCJ/action/citation_signature","submit_replication":"https://pith.science/pith/HRPB53B7YJYDB2WBGIDSDXZWCJ/action/replication_record"}},"created_at":"2026-07-05T04:09:49.906585+00:00","updated_at":"2026-07-05T04:09:49.906585+00:00"}