{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FDUHBPIKTDVLRE6AXTGJ4BJG6C","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":"d998bc4146d0dd4c946583c7cd1646af4d29c826085e12541f60dd9e80daaf15","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-03-31T07:09:07Z","title_canon_sha256":"5775f9cd41c44cf1f41fa6f8bddc94415bb82de31165638ea1a47d7a3da395f5"},"schema_version":"1.0","source":{"id":"2503.23791","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.23791","created_at":"2026-07-05T10:42:00Z"},{"alias_kind":"arxiv_version","alias_value":"2503.23791v1","created_at":"2026-07-05T10:42:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.23791","created_at":"2026-07-05T10:42:00Z"},{"alias_kind":"pith_short_12","alias_value":"FDUHBPIKTDVL","created_at":"2026-07-05T10:42:00Z"},{"alias_kind":"pith_short_16","alias_value":"FDUHBPIKTDVLRE6A","created_at":"2026-07-05T10:42:00Z"},{"alias_kind":"pith_short_8","alias_value":"FDUHBPIK","created_at":"2026-07-05T10:42:00Z"}],"graph_snapshots":[{"event_id":"sha256:d52334c8c8ec36c49d3d863e3364073881cc6e44cb90e2825b19e704ffae04db","target":"graph","created_at":"2026-07-05T10:42:00Z","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/2503.23791/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Rewriting C code in Rust provides stronger memory safety, yet migrating large codebases such as the 32-million-line Linux kernel remains challenging. While rule-based translators (e.g., C2Rust) provide accurate yet largely unsafe Rust programs, recent Large Language Model (LLM) approaches produce more idiomatic, safe Rust programs but frequently exhibit \"laziness\", omitting significant portions of the target code. To address the issue, in this paper, we present LLMigrate, an LLM-based C-to-Rust translation tool that splits modules into discrete functions, translating them individually, and the","authors_text":"Ge Li, Junhao Hu, Tao Xie, Yanzhen Zou, Yihong Dong, Yingdi Shan, Yuchen Liu","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-03-31T07:09:07Z","title":"LLMigrate: Transforming \"Lazy\" Large Language Models into Efficient Source Code Migrators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.23791","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:375cc9c6c12c669ae7934070e7de07d722f4f4b84dbd35b07088238d53c578c9","target":"record","created_at":"2026-07-05T10:42:00Z","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":"d998bc4146d0dd4c946583c7cd1646af4d29c826085e12541f60dd9e80daaf15","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-03-31T07:09:07Z","title_canon_sha256":"5775f9cd41c44cf1f41fa6f8bddc94415bb82de31165638ea1a47d7a3da395f5"},"schema_version":"1.0","source":{"id":"2503.23791","kind":"arxiv","version":1}},"canonical_sha256":"28e870bd0a98eab893c0bccc9e0526f0b9d3a76e6eb0c156b3324f02b79faac2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"28e870bd0a98eab893c0bccc9e0526f0b9d3a76e6eb0c156b3324f02b79faac2","first_computed_at":"2026-07-05T10:42:00.124424Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:42:00.124424Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"F3Sc46k4BM66cQ9ExqR1tqERaCHSYk2VXOh+TZrWXFcyzqvI4BrI1McHG/l3p+G12yOr8Jafsy4gSJz5PdyJAg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:42:00.124898Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.23791","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:375cc9c6c12c669ae7934070e7de07d722f4f4b84dbd35b07088238d53c578c9","sha256:d52334c8c8ec36c49d3d863e3364073881cc6e44cb90e2825b19e704ffae04db"],"state_sha256":"fa7ad1d9cf5b0232a9bf85c699da0ee9a1c8d44a157ce1f9d7d64531402ae836"}