{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:3ZKPHFZHGMV6R7ULJF45TOM3TI","short_pith_number":"pith:3ZKPHFZH","schema_version":"1.0","canonical_sha256":"de54f39727332be8fe8b4979d9b99b9a372150f623d18535b9de896ca959c921","source":{"kind":"arxiv","id":"2605.31458","version":1},"attestation_state":"computed","paper":{"title":"Ladder Logic Translation using Large Language Models in Industrial Automation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.SE","authors_text":"Nathanial Wiggins, Oluwatosin Ogundare, Promise Ekpo","submitted_at":"2026-05-29T15:51:22Z","abstract_excerpt":"Ladder logic translation is an important problem in industrial automation because without it, it is difficult to switch Programmable Logic Controller (PLC) vendors. The prevailing translation problem highlights mismatched programming environments, incompatible ladder logic constructs, limitations in terms of differences in the semantic expressiveness of the vendor formalisms and integrated black-box proprietary engineering tools which are exemplified in our example case; Rockwell to Siemens PLC code translation. This work presents a mathematical formulation of the problem, the detailed archite"},"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":"2605.31458","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-29T15:51:22Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"5d1659b80c38f50fb67e2b1dab03c5de67a5748e7c1eb6b3f45662e9bddc9ed4","abstract_canon_sha256":"36499308fba18cd67f49f599c6fedb94c4588b18a30827158e67477717caadde"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-01T02:04:06.956932Z","signature_b64":"pQhu2gQ4eBEPJYlJuTmLj7gxZvKwndotrAp5LZ3yN4awa06Gm/k//7blqiTXDnQObHa/6JmfEtxbYZy40c9QCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"de54f39727332be8fe8b4979d9b99b9a372150f623d18535b9de896ca959c921","last_reissued_at":"2026-06-01T02:04:06.955975Z","signature_status":"signed_v1","first_computed_at":"2026-06-01T02:04:06.955975Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Ladder Logic Translation using Large Language Models in Industrial Automation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.SE","authors_text":"Nathanial Wiggins, Oluwatosin Ogundare, Promise Ekpo","submitted_at":"2026-05-29T15:51:22Z","abstract_excerpt":"Ladder logic translation is an important problem in industrial automation because without it, it is difficult to switch Programmable Logic Controller (PLC) vendors. The prevailing translation problem highlights mismatched programming environments, incompatible ladder logic constructs, limitations in terms of differences in the semantic expressiveness of the vendor formalisms and integrated black-box proprietary engineering tools which are exemplified in our example case; Rockwell to Siemens PLC code translation. This work presents a mathematical formulation of the problem, the detailed archite"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.31458","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/2605.31458/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":"2605.31458","created_at":"2026-06-01T02:04:06.956129+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.31458v1","created_at":"2026-06-01T02:04:06.956129+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.31458","created_at":"2026-06-01T02:04:06.956129+00:00"},{"alias_kind":"pith_short_12","alias_value":"3ZKPHFZHGMV6","created_at":"2026-06-01T02:04:06.956129+00:00"},{"alias_kind":"pith_short_16","alias_value":"3ZKPHFZHGMV6R7UL","created_at":"2026-06-01T02:04:06.956129+00:00"},{"alias_kind":"pith_short_8","alias_value":"3ZKPHFZH","created_at":"2026-06-01T02:04:06.956129+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/3ZKPHFZHGMV6R7ULJF45TOM3TI","json":"https://pith.science/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI.json","graph_json":"https://pith.science/api/pith-number/3ZKPHFZHGMV6R7ULJF45TOM3TI/graph.json","events_json":"https://pith.science/api/pith-number/3ZKPHFZHGMV6R7ULJF45TOM3TI/events.json","paper":"https://pith.science/paper/3ZKPHFZH"},"agent_actions":{"view_html":"https://pith.science/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI","download_json":"https://pith.science/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI.json","view_paper":"https://pith.science/paper/3ZKPHFZH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.31458&json=true","fetch_graph":"https://pith.science/api/pith-number/3ZKPHFZHGMV6R7ULJF45TOM3TI/graph.json","fetch_events":"https://pith.science/api/pith-number/3ZKPHFZHGMV6R7ULJF45TOM3TI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI/action/storage_attestation","attest_author":"https://pith.science/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI/action/author_attestation","sign_citation":"https://pith.science/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI/action/citation_signature","submit_replication":"https://pith.science/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI/action/replication_record"}},"created_at":"2026-06-01T02:04:06.956129+00:00","updated_at":"2026-06-01T02:04:06.956129+00:00"}