{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:A4JR6LJYPLFBLQKAJVWUWRGQIO","short_pith_number":"pith:A4JR6LJY","schema_version":"1.0","canonical_sha256":"07131f2d387aca15c1404d6d4b44d043bfc9b49cfe9f1b27f19f008413522079","source":{"kind":"arxiv","id":"1710.11054","version":1},"attestation_state":"computed","paper":{"title":"Semantic Code Repair using Neuro-Symbolic Transformation Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.AI","authors_text":"Jacob Devlin, Jonathan Uesato, Pushmeet Kohli, Rishabh Singh","submitted_at":"2017-10-30T16:32:45Z","abstract_excerpt":"We study the problem of semantic code repair, which can be broadly defined as automatically fixing non-syntactic bugs in source code. The majority of past work in semantic code repair assumed access to unit tests against which candidate repairs could be validated. In contrast, the goal here is to develop a strong statistical model to accurately predict both bug locations and exact fixes without access to information about the intended correct behavior of the program. Achieving such a goal requires a robust contextual repair model, which we train on a large corpus of real-world source code that"},"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":"1710.11054","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-10-30T16:32:45Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"d7dfae59477386f35c4d33f6fc98ab1da418a62d9746a7ffd339d207333b6a76","abstract_canon_sha256":"7d14433c2ef6ec1de5aa8c5ecd14123e351df1a4fd8c6d7de8123b853801df11"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:45.736665Z","signature_b64":"9uqt0HykYEGs4lYdXQt5Po9jTBs8xHo8fnTWeF9fSuex47C+6m2Db+kvr8I9UWN7SvWuIJlMD9CblCs4S/gcAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"07131f2d387aca15c1404d6d4b44d043bfc9b49cfe9f1b27f19f008413522079","last_reissued_at":"2026-05-18T00:31:45.735940Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:45.735940Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Semantic Code Repair using Neuro-Symbolic Transformation Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.AI","authors_text":"Jacob Devlin, Jonathan Uesato, Pushmeet Kohli, Rishabh Singh","submitted_at":"2017-10-30T16:32:45Z","abstract_excerpt":"We study the problem of semantic code repair, which can be broadly defined as automatically fixing non-syntactic bugs in source code. The majority of past work in semantic code repair assumed access to unit tests against which candidate repairs could be validated. In contrast, the goal here is to develop a strong statistical model to accurately predict both bug locations and exact fixes without access to information about the intended correct behavior of the program. Achieving such a goal requires a robust contextual repair model, which we train on a large corpus of real-world source code that"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.11054","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":""},"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":"1710.11054","created_at":"2026-05-18T00:31:45.736064+00:00"},{"alias_kind":"arxiv_version","alias_value":"1710.11054v1","created_at":"2026-05-18T00:31:45.736064+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.11054","created_at":"2026-05-18T00:31:45.736064+00:00"},{"alias_kind":"pith_short_12","alias_value":"A4JR6LJYPLFB","created_at":"2026-05-18T12:31:05.417338+00:00"},{"alias_kind":"pith_short_16","alias_value":"A4JR6LJYPLFBLQKA","created_at":"2026-05-18T12:31:05.417338+00:00"},{"alias_kind":"pith_short_8","alias_value":"A4JR6LJY","created_at":"2026-05-18T12:31:05.417338+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/A4JR6LJYPLFBLQKAJVWUWRGQIO","json":"https://pith.science/pith/A4JR6LJYPLFBLQKAJVWUWRGQIO.json","graph_json":"https://pith.science/api/pith-number/A4JR6LJYPLFBLQKAJVWUWRGQIO/graph.json","events_json":"https://pith.science/api/pith-number/A4JR6LJYPLFBLQKAJVWUWRGQIO/events.json","paper":"https://pith.science/paper/A4JR6LJY"},"agent_actions":{"view_html":"https://pith.science/pith/A4JR6LJYPLFBLQKAJVWUWRGQIO","download_json":"https://pith.science/pith/A4JR6LJYPLFBLQKAJVWUWRGQIO.json","view_paper":"https://pith.science/paper/A4JR6LJY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1710.11054&json=true","fetch_graph":"https://pith.science/api/pith-number/A4JR6LJYPLFBLQKAJVWUWRGQIO/graph.json","fetch_events":"https://pith.science/api/pith-number/A4JR6LJYPLFBLQKAJVWUWRGQIO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/A4JR6LJYPLFBLQKAJVWUWRGQIO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/A4JR6LJYPLFBLQKAJVWUWRGQIO/action/storage_attestation","attest_author":"https://pith.science/pith/A4JR6LJYPLFBLQKAJVWUWRGQIO/action/author_attestation","sign_citation":"https://pith.science/pith/A4JR6LJYPLFBLQKAJVWUWRGQIO/action/citation_signature","submit_replication":"https://pith.science/pith/A4JR6LJYPLFBLQKAJVWUWRGQIO/action/replication_record"}},"created_at":"2026-05-18T00:31:45.736064+00:00","updated_at":"2026-05-18T00:31:45.736064+00:00"}