{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:N4QSPXHDNSNHX2E2HD4QR5VUEH","short_pith_number":"pith:N4QSPXHD","schema_version":"1.0","canonical_sha256":"6f2127dce36c9a7be89a38f908f6b421fdb266c819054756ec6c9673632a7c99","source":{"kind":"arxiv","id":"2503.02335","version":1},"attestation_state":"computed","paper":{"title":"Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.SE","authors_text":"Jun Ma, Pan Dong, Renshuang Jiang, Shuai Zhao, XiaoXiang Fang, Yan Ding, Yu Shi, Zhe Jiang, Zhenling Duan","submitted_at":"2025-03-04T06:48:45Z","abstract_excerpt":"To provide flexibility and low-level interaction capabilities, the unsafe tag in Rust is essential in many projects, but undermines memory safety and introduces Undefined Behaviors (UBs) that reduce safety. Eliminating these UBs requires a deep understanding of Rust's safety rules and strong typing. Traditional methods require depth analysis of code, which is laborious and depends on knowledge design. The powerful semantic understanding capabilities of LLM offer new opportunities to solve this problem. Although existing large model debugging frameworks excel in semantic tasks, limited by fixed"},"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":"2503.02335","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-04T06:48:45Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"d624b4bd60e1df0f0ffdc1f7cc0c7f22a4be837567086da71d5641f7bfeb2174","abstract_canon_sha256":"eb93fd6b9402bee9160605234ff8695c39e3b8e6c2747579385810183e3b6b64"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:23:41.798886Z","signature_b64":"JEQgQFrPvFwfRqdpFK9ROvzfcGQkHg96B0Ey10OTm2SwCXTRGARLIWtLRkEqDcrY974ua6pNCWZmx8Xqa3KoCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6f2127dce36c9a7be89a38f908f6b421fdb266c819054756ec6c9673632a7c99","last_reissued_at":"2026-07-05T10:23:41.798476Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:23:41.798476Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.SE","authors_text":"Jun Ma, Pan Dong, Renshuang Jiang, Shuai Zhao, XiaoXiang Fang, Yan Ding, Yu Shi, Zhe Jiang, Zhenling Duan","submitted_at":"2025-03-04T06:48:45Z","abstract_excerpt":"To provide flexibility and low-level interaction capabilities, the unsafe tag in Rust is essential in many projects, but undermines memory safety and introduces Undefined Behaviors (UBs) that reduce safety. Eliminating these UBs requires a deep understanding of Rust's safety rules and strong typing. Traditional methods require depth analysis of code, which is laborious and depends on knowledge design. The powerful semantic understanding capabilities of LLM offer new opportunities to solve this problem. Although existing large model debugging frameworks excel in semantic tasks, limited by fixed"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.02335","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/2503.02335/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":"2503.02335","created_at":"2026-07-05T10:23:41.798535+00:00"},{"alias_kind":"arxiv_version","alias_value":"2503.02335v1","created_at":"2026-07-05T10:23:41.798535+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.02335","created_at":"2026-07-05T10:23:41.798535+00:00"},{"alias_kind":"pith_short_12","alias_value":"N4QSPXHDNSNH","created_at":"2026-07-05T10:23:41.798535+00:00"},{"alias_kind":"pith_short_16","alias_value":"N4QSPXHDNSNHX2E2","created_at":"2026-07-05T10:23:41.798535+00:00"},{"alias_kind":"pith_short_8","alias_value":"N4QSPXHD","created_at":"2026-07-05T10:23:41.798535+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/N4QSPXHDNSNHX2E2HD4QR5VUEH","json":"https://pith.science/pith/N4QSPXHDNSNHX2E2HD4QR5VUEH.json","graph_json":"https://pith.science/api/pith-number/N4QSPXHDNSNHX2E2HD4QR5VUEH/graph.json","events_json":"https://pith.science/api/pith-number/N4QSPXHDNSNHX2E2HD4QR5VUEH/events.json","paper":"https://pith.science/paper/N4QSPXHD"},"agent_actions":{"view_html":"https://pith.science/pith/N4QSPXHDNSNHX2E2HD4QR5VUEH","download_json":"https://pith.science/pith/N4QSPXHDNSNHX2E2HD4QR5VUEH.json","view_paper":"https://pith.science/paper/N4QSPXHD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2503.02335&json=true","fetch_graph":"https://pith.science/api/pith-number/N4QSPXHDNSNHX2E2HD4QR5VUEH/graph.json","fetch_events":"https://pith.science/api/pith-number/N4QSPXHDNSNHX2E2HD4QR5VUEH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/N4QSPXHDNSNHX2E2HD4QR5VUEH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/N4QSPXHDNSNHX2E2HD4QR5VUEH/action/storage_attestation","attest_author":"https://pith.science/pith/N4QSPXHDNSNHX2E2HD4QR5VUEH/action/author_attestation","sign_citation":"https://pith.science/pith/N4QSPXHDNSNHX2E2HD4QR5VUEH/action/citation_signature","submit_replication":"https://pith.science/pith/N4QSPXHDNSNHX2E2HD4QR5VUEH/action/replication_record"}},"created_at":"2026-07-05T10:23:41.798535+00:00","updated_at":"2026-07-05T10:23:41.798535+00:00"}