{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:2W2SCJU3IKILFXYBEB34PGUXFD","short_pith_number":"pith:2W2SCJU3","canonical_record":{"source":{"id":"2404.16077","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-04-24T09:20:33Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"3dd667a2cd92711c3c7e190d55a56809af5eae2995c8d3931171b6c87b657db6","abstract_canon_sha256":"29832939ffdb941e100c2bb736f7690447c8d1d3123a3ed2a7313d95d271932c"},"schema_version":"1.0"},"canonical_sha256":"d5b521269b4290b2df012077c79a9728d1a35096758eb76e3d7bbac81a6e0c07","source":{"kind":"arxiv","id":"2404.16077","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.16077","created_at":"2026-05-29T01:04:50Z"},{"alias_kind":"arxiv_version","alias_value":"2404.16077v4","created_at":"2026-05-29T01:04:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.16077","created_at":"2026-05-29T01:04:50Z"},{"alias_kind":"pith_short_12","alias_value":"2W2SCJU3IKIL","created_at":"2026-05-29T01:04:50Z"},{"alias_kind":"pith_short_16","alias_value":"2W2SCJU3IKILFXYB","created_at":"2026-05-29T01:04:50Z"},{"alias_kind":"pith_short_8","alias_value":"2W2SCJU3","created_at":"2026-05-29T01:04:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:2W2SCJU3IKILFXYBEB34PGUXFD","target":"record","payload":{"canonical_record":{"source":{"id":"2404.16077","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-04-24T09:20:33Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"3dd667a2cd92711c3c7e190d55a56809af5eae2995c8d3931171b6c87b657db6","abstract_canon_sha256":"29832939ffdb941e100c2bb736f7690447c8d1d3123a3ed2a7313d95d271932c"},"schema_version":"1.0"},"canonical_sha256":"d5b521269b4290b2df012077c79a9728d1a35096758eb76e3d7bbac81a6e0c07","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-29T01:04:50.624425Z","signature_b64":"LjqZMwP8NCFDS//9G74A73HbBAzDeEQZIO/K+ek32eiPTTgzRvWzx/jn08xUT1D3ik3Y0EZyFVxiRoDRovJ0DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d5b521269b4290b2df012077c79a9728d1a35096758eb76e3d7bbac81a6e0c07","last_reissued_at":"2026-05-29T01:04:50.623875Z","signature_status":"signed_v1","first_computed_at":"2026-05-29T01:04:50.623875Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.16077","source_version":4,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-29T01:04:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ScJACOlEifb9gjY0/z1L2Oq08/JMldYMzqI5uDnEVVWKahF7Xfy+d5i5Q1BbuWbxcM8onpuEwvJhEjcNxLOOBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T23:27:10.141820Z"},"content_sha256":"ac034d068f13c0a4f0653a5427503cd6d4ad7498900e52d76812c185dbf05aae","schema_version":"1.0","event_id":"sha256:ac034d068f13c0a4f0653a5427503cd6d4ad7498900e52d76812c185dbf05aae"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:2W2SCJU3IKILFXYBEB34PGUXFD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"CompilerDream: Learning a Compiler World Model for General Code Optimization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.PL","authors_text":"Chaoyi Deng, Jialong Wu, Jianmin Wang, Mingsheng Long, Ningya Feng","submitted_at":"2024-04-24T09:20:33Z","abstract_excerpt":"Effective code optimization in compilers is crucial for computer and software engineering. The success of these optimizations primarily depends on the selection and ordering of the optimization passes applied to the code. While most compilers rely on a fixed sequence of optimization passes, current methods to find the optimal sequence either employ impractically slow search algorithms or learning methods that struggle to generalize to code unseen during training. We introduce CompilerDream, a model-based reinforcement learning approach to general code optimization. CompilerDream comprises a co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.16077","kind":"arxiv","version":4},"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/2404.16077/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-29T01:04:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a6g22IY8EV16V9vmwq0+2EUqNkIi6IRLI5PCPAFGV01DEIXv+Rq263tZvqcwv4pZJsYarFtKnV6a5tY/X8ThBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T23:27:10.142623Z"},"content_sha256":"b794ebf676d9c7e903cb9c801d193bc746ccc422d37fb815f16a709e9b9f272b","schema_version":"1.0","event_id":"sha256:b794ebf676d9c7e903cb9c801d193bc746ccc422d37fb815f16a709e9b9f272b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2W2SCJU3IKILFXYBEB34PGUXFD/bundle.json","state_url":"https://pith.science/pith/2W2SCJU3IKILFXYBEB34PGUXFD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2W2SCJU3IKILFXYBEB34PGUXFD/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-09T23:27:10Z","links":{"resolver":"https://pith.science/pith/2W2SCJU3IKILFXYBEB34PGUXFD","bundle":"https://pith.science/pith/2W2SCJU3IKILFXYBEB34PGUXFD/bundle.json","state":"https://pith.science/pith/2W2SCJU3IKILFXYBEB34PGUXFD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2W2SCJU3IKILFXYBEB34PGUXFD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:2W2SCJU3IKILFXYBEB34PGUXFD","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":"29832939ffdb941e100c2bb736f7690447c8d1d3123a3ed2a7313d95d271932c","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-04-24T09:20:33Z","title_canon_sha256":"3dd667a2cd92711c3c7e190d55a56809af5eae2995c8d3931171b6c87b657db6"},"schema_version":"1.0","source":{"id":"2404.16077","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.16077","created_at":"2026-05-29T01:04:50Z"},{"alias_kind":"arxiv_version","alias_value":"2404.16077v4","created_at":"2026-05-29T01:04:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.16077","created_at":"2026-05-29T01:04:50Z"},{"alias_kind":"pith_short_12","alias_value":"2W2SCJU3IKIL","created_at":"2026-05-29T01:04:50Z"},{"alias_kind":"pith_short_16","alias_value":"2W2SCJU3IKILFXYB","created_at":"2026-05-29T01:04:50Z"},{"alias_kind":"pith_short_8","alias_value":"2W2SCJU3","created_at":"2026-05-29T01:04:50Z"}],"graph_snapshots":[{"event_id":"sha256:b794ebf676d9c7e903cb9c801d193bc746ccc422d37fb815f16a709e9b9f272b","target":"graph","created_at":"2026-05-29T01:04:50Z","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/2404.16077/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Effective code optimization in compilers is crucial for computer and software engineering. The success of these optimizations primarily depends on the selection and ordering of the optimization passes applied to the code. While most compilers rely on a fixed sequence of optimization passes, current methods to find the optimal sequence either employ impractically slow search algorithms or learning methods that struggle to generalize to code unseen during training. We introduce CompilerDream, a model-based reinforcement learning approach to general code optimization. CompilerDream comprises a co","authors_text":"Chaoyi Deng, Jialong Wu, Jianmin Wang, Mingsheng Long, Ningya Feng","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-04-24T09:20:33Z","title":"CompilerDream: Learning a Compiler World Model for General Code Optimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.16077","kind":"arxiv","version":4},"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:ac034d068f13c0a4f0653a5427503cd6d4ad7498900e52d76812c185dbf05aae","target":"record","created_at":"2026-05-29T01:04:50Z","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":"29832939ffdb941e100c2bb736f7690447c8d1d3123a3ed2a7313d95d271932c","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-04-24T09:20:33Z","title_canon_sha256":"3dd667a2cd92711c3c7e190d55a56809af5eae2995c8d3931171b6c87b657db6"},"schema_version":"1.0","source":{"id":"2404.16077","kind":"arxiv","version":4}},"canonical_sha256":"d5b521269b4290b2df012077c79a9728d1a35096758eb76e3d7bbac81a6e0c07","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d5b521269b4290b2df012077c79a9728d1a35096758eb76e3d7bbac81a6e0c07","first_computed_at":"2026-05-29T01:04:50.623875Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-29T01:04:50.623875Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LjqZMwP8NCFDS//9G74A73HbBAzDeEQZIO/K+ek32eiPTTgzRvWzx/jn08xUT1D3ik3Y0EZyFVxiRoDRovJ0DQ==","signature_status":"signed_v1","signed_at":"2026-05-29T01:04:50.624425Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.16077","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ac034d068f13c0a4f0653a5427503cd6d4ad7498900e52d76812c185dbf05aae","sha256:b794ebf676d9c7e903cb9c801d193bc746ccc422d37fb815f16a709e9b9f272b"],"state_sha256":"b8ab86c567a3adfd1ce3de9818965fb0013bfe65a82238005756851ca2ca93d4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qa2EQHGy+0LVEDyjxt54UdDgb0QtTMxpsF6TreDwDRS2GcSMTuJOsWIBDjD/CzzOL32RDd3wcRah8+7SVk5xDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T23:27:10.147441Z","bundle_sha256":"0b4f3fb1956c3031fedbe67881e6bbc816db6365a39f1729c50b6a90ef454adb"}}