{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:7Y5E5DDVFWGB472VV6OTFM7CEY","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":"d1dd6d915750ef5d87843240e93c1ad88937665c4a3865dcad9e4e20a1f1f71e","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-07T17:23:48Z","title_canon_sha256":"ba694fbe39bb4073c60233aaf222e4d7abc16a18056a461be5c356c353609f5d"},"schema_version":"1.0","source":{"id":"2502.06854","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.06854","created_at":"2026-07-05T11:16:31Z"},{"alias_kind":"arxiv_version","alias_value":"2502.06854v2","created_at":"2026-07-05T11:16:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.06854","created_at":"2026-07-05T11:16:31Z"},{"alias_kind":"pith_short_12","alias_value":"7Y5E5DDVFWGB","created_at":"2026-07-05T11:16:31Z"},{"alias_kind":"pith_short_16","alias_value":"7Y5E5DDVFWGB472V","created_at":"2026-07-05T11:16:31Z"},{"alias_kind":"pith_short_8","alias_value":"7Y5E5DDV","created_at":"2026-07-05T11:16:31Z"}],"graph_snapshots":[{"event_id":"sha256:8f3380503de91187a45d405e3cd79b7ccd92bfece95d3ef8bdf32ed022871ace","target":"graph","created_at":"2026-07-05T11:16:31Z","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/2502.06854/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Intermediate Representations (IRs) play a critical role in compiler design and program analysis, yet their comprehension by Large Language Models (LLMs) remains underexplored. In this paper, we present an explorative empirical study evaluating the capabilities of six state-of-the-art LLMs: GPT-4, GPT-3, DeepSeek, Gemma 2, Llama 3, and Code Llama, in understanding IRs. Specifically, we assess model performance across four core tasks: control flow graph reconstruction, decompilation, code summarization, and execution reasoning. While LLMs exhibit competence in parsing IR syntax and identifying h","authors_text":"Bo Fang, Hailong Jiang, Hongyu Zhang, Jianfeng Zhu, Qiang Guan, Ruoming Jin, Yao Wan","cross_cats":["cs.AI","cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-07T17:23:48Z","title":"Can Large Language Models Understand Intermediate Representations in Compilers?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.06854","kind":"arxiv","version":2},"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:e3caedcd03cbecba8e2958d313df362bc1c17421c23ce73b3486f5ca3f9e0253","target":"record","created_at":"2026-07-05T11:16:31Z","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":"d1dd6d915750ef5d87843240e93c1ad88937665c4a3865dcad9e4e20a1f1f71e","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-07T17:23:48Z","title_canon_sha256":"ba694fbe39bb4073c60233aaf222e4d7abc16a18056a461be5c356c353609f5d"},"schema_version":"1.0","source":{"id":"2502.06854","kind":"arxiv","version":2}},"canonical_sha256":"fe3a4e8c752d8c1e7f55af9d32b3e226265c6769c82d316c095e462d12cf554d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fe3a4e8c752d8c1e7f55af9d32b3e226265c6769c82d316c095e462d12cf554d","first_computed_at":"2026-07-05T11:16:31.804506Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:16:31.804506Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Yko7p53suUBRsyZFcOtvjY8n8TpyEIniJqF7QKriAFLvl3Zeht7iJo0BILDztnlU9IeRtKBQ8lhbNYsk+Sh8CA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:16:31.805087Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.06854","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e3caedcd03cbecba8e2958d313df362bc1c17421c23ce73b3486f5ca3f9e0253","sha256:8f3380503de91187a45d405e3cd79b7ccd92bfece95d3ef8bdf32ed022871ace"],"state_sha256":"a620ff9d94e5080f14de20950a86f7e0636b10aeab7bbd7294e01d5101598dda"}