{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:YXMVJBWOWHKBJLK6TKDXMU6WTC","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":"49599d051eb13a332998dfe3e4bb80090f4e104df9abda56d5f6e11d9f70ea1f","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-05-26T07:07:54Z","title_canon_sha256":"45455ac74614abfc9189197d23b9ebaf9bbeb7c899b2b7cdd83fa5798e3d5479"},"schema_version":"1.0","source":{"id":"2505.20356","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.20356","created_at":"2026-07-05T11:10:11Z"},{"alias_kind":"arxiv_version","alias_value":"2505.20356v1","created_at":"2026-07-05T11:10:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.20356","created_at":"2026-07-05T11:10:11Z"},{"alias_kind":"pith_short_12","alias_value":"YXMVJBWOWHKB","created_at":"2026-07-05T11:10:11Z"},{"alias_kind":"pith_short_16","alias_value":"YXMVJBWOWHKBJLK6","created_at":"2026-07-05T11:10:11Z"},{"alias_kind":"pith_short_8","alias_value":"YXMVJBWO","created_at":"2026-07-05T11:10:11Z"}],"graph_snapshots":[{"event_id":"sha256:c18ac4abc7e3d59af688eaa3617735a13f8d81a5ec5362db2ff7f7ef7dd43d68","target":"graph","created_at":"2026-07-05T11:10:11Z","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/2505.20356/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) have the potential to revolutionize how we design and implement compilers and code translation tools. However, existing LLMs struggle to handle long and complex programs. We introduce LEGO-Compiler, a novel neural compilation system that leverages LLMs to translate high-level languages into assembly code. Our approach centers on three key innovations: LEGO translation, which decomposes the input program into manageable blocks; breaking down the complex compilation process into smaller, simpler verifiable steps by organizing it as a verifiable LLM workflow by extern","authors_text":"Chunwei Xia, Huimin Cui, Jiacheng Zhao, Shuoming Zhang, Xiaobing Feng, Yunji Chen, Zheng Wang","cross_cats":["cs.AI","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-05-26T07:07:54Z","title":"LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.20356","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:25f9c731c559730618e79c11075fe44d4887b2a64f100700ab04af01a86f1983","target":"record","created_at":"2026-07-05T11:10:11Z","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":"49599d051eb13a332998dfe3e4bb80090f4e104df9abda56d5f6e11d9f70ea1f","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-05-26T07:07:54Z","title_canon_sha256":"45455ac74614abfc9189197d23b9ebaf9bbeb7c899b2b7cdd83fa5798e3d5479"},"schema_version":"1.0","source":{"id":"2505.20356","kind":"arxiv","version":1}},"canonical_sha256":"c5d95486ceb1d414ad5e9a877653d6988bbabeb17bf81c654971c214ee42e32b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c5d95486ceb1d414ad5e9a877653d6988bbabeb17bf81c654971c214ee42e32b","first_computed_at":"2026-07-05T11:10:11.715144Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:10:11.715144Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"m0dAUVGkQqumHfxmwV7FhJUmEaYD/xHXC2umB63RotmSpDjm9tufR/rIHwsauemRErFxZhZydSstna9yi5p4Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:10:11.715673Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.20356","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:25f9c731c559730618e79c11075fe44d4887b2a64f100700ab04af01a86f1983","sha256:c18ac4abc7e3d59af688eaa3617735a13f8d81a5ec5362db2ff7f7ef7dd43d68"],"state_sha256":"927109806d5e5d1de30b00eea41ec89d41a9883698ec4c0ba614280bc81b3429"}