{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:EABVSKOYG4RBMDDFQXQ7ZHX7NT","short_pith_number":"pith:EABVSKOY","canonical_record":{"source":{"id":"2506.15701","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-30T00:26:10Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"28457b8c48405908a46f508f550bf4d18c19c01c755c797730f5af66bc9a993a","abstract_canon_sha256":"1262e25e94926e25dcfa1f3f7b7de195ff5a61a7c41b13e11b907569cb465ba8"},"schema_version":"1.0"},"canonical_sha256":"20035929d83722160c6585e1fc9eff6cfde67c1f0fdb066e3b106108b9f38b54","source":{"kind":"arxiv","id":"2506.15701","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.15701","created_at":"2026-07-05T11:23:50Z"},{"alias_kind":"arxiv_version","alias_value":"2506.15701v1","created_at":"2026-07-05T11:23:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.15701","created_at":"2026-07-05T11:23:50Z"},{"alias_kind":"pith_short_12","alias_value":"EABVSKOYG4RB","created_at":"2026-07-05T11:23:50Z"},{"alias_kind":"pith_short_16","alias_value":"EABVSKOYG4RBMDDF","created_at":"2026-07-05T11:23:50Z"},{"alias_kind":"pith_short_8","alias_value":"EABVSKOY","created_at":"2026-07-05T11:23:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:EABVSKOYG4RBMDDFQXQ7ZHX7NT","target":"record","payload":{"canonical_record":{"source":{"id":"2506.15701","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-30T00:26:10Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"28457b8c48405908a46f508f550bf4d18c19c01c755c797730f5af66bc9a993a","abstract_canon_sha256":"1262e25e94926e25dcfa1f3f7b7de195ff5a61a7c41b13e11b907569cb465ba8"},"schema_version":"1.0"},"canonical_sha256":"20035929d83722160c6585e1fc9eff6cfde67c1f0fdb066e3b106108b9f38b54","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:23:50.575181Z","signature_b64":"iAj8EHkdxRrkMAtx+ytTO8fEyqvHR7PEH4ANV7mfnTyj9Welt8GWRUNxt+ZeutnAwG1uy/x5Y9i87nEsqotcCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"20035929d83722160c6585e1fc9eff6cfde67c1f0fdb066e3b106108b9f38b54","last_reissued_at":"2026-07-05T11:23:50.574610Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:23:50.574610Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.15701","source_version":1,"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-07-05T11:23:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0e6grEYNbjW+HWjliXzIRwJt3MlszFtPx2zVj/yXbDHCuPFNScOeSfgen4yE9h4xo7VNebRFYPy5601tRLMHAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T13:06:35.277968Z"},"content_sha256":"e0789b886905a6058179e35828e3fa13e3f15933cc57dedfa6c2f6f89898ebdc","schema_version":"1.0","event_id":"sha256:e0789b886905a6058179e35828e3fa13e3f15933cc57dedfa6c2f6f89898ebdc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:EABVSKOYG4RBMDDFQXQ7ZHX7NT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Compiler-R1: Towards Agentic Compiler Auto-tuning with Reinforcement Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Haolin Pan, Haoran Luo, Hongyu Lin, Kaichun Yao, Libo Zhang, Mingjie Xing, Yang Liu, Yanjun Wu","submitted_at":"2025-05-30T00:26:10Z","abstract_excerpt":"Compiler auto-tuning optimizes pass sequences to improve performance metrics such as Intermediate Representation (IR) instruction count. Although recent advances leveraging Large Language Models (LLMs) have shown promise in automating compiler tuning, two significant challenges still remain: the absence of high-quality reasoning datasets for agents training, and limited effective interactions with the compilation environment. In this work, we introduce Compiler-R1, the first reinforcement learning (RL)-driven framework specifically augmenting LLM capabilities for compiler auto-tuning. Compiler"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.15701","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/2506.15701/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-07-05T11:23:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mxgVZOlEtNVkhZyMPilSXYMxU/FQOozW/HbBp2q+gNkDUvsa2Ov0Wt+i6NcU82Y5RlIceVkLjoSeLLAyo+utBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T13:06:35.278789Z"},"content_sha256":"9bf8bc92fca4a46819172e4968319f2784a439ead7195edca19697a9ef19c34e","schema_version":"1.0","event_id":"sha256:9bf8bc92fca4a46819172e4968319f2784a439ead7195edca19697a9ef19c34e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EABVSKOYG4RBMDDFQXQ7ZHX7NT/bundle.json","state_url":"https://pith.science/pith/EABVSKOYG4RBMDDFQXQ7ZHX7NT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EABVSKOYG4RBMDDFQXQ7ZHX7NT/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-08-09T13:06:35Z","links":{"resolver":"https://pith.science/pith/EABVSKOYG4RBMDDFQXQ7ZHX7NT","bundle":"https://pith.science/pith/EABVSKOYG4RBMDDFQXQ7ZHX7NT/bundle.json","state":"https://pith.science/pith/EABVSKOYG4RBMDDFQXQ7ZHX7NT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EABVSKOYG4RBMDDFQXQ7ZHX7NT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:EABVSKOYG4RBMDDFQXQ7ZHX7NT","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":"1262e25e94926e25dcfa1f3f7b7de195ff5a61a7c41b13e11b907569cb465ba8","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-30T00:26:10Z","title_canon_sha256":"28457b8c48405908a46f508f550bf4d18c19c01c755c797730f5af66bc9a993a"},"schema_version":"1.0","source":{"id":"2506.15701","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.15701","created_at":"2026-07-05T11:23:50Z"},{"alias_kind":"arxiv_version","alias_value":"2506.15701v1","created_at":"2026-07-05T11:23:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.15701","created_at":"2026-07-05T11:23:50Z"},{"alias_kind":"pith_short_12","alias_value":"EABVSKOYG4RB","created_at":"2026-07-05T11:23:50Z"},{"alias_kind":"pith_short_16","alias_value":"EABVSKOYG4RBMDDF","created_at":"2026-07-05T11:23:50Z"},{"alias_kind":"pith_short_8","alias_value":"EABVSKOY","created_at":"2026-07-05T11:23:50Z"}],"graph_snapshots":[{"event_id":"sha256:9bf8bc92fca4a46819172e4968319f2784a439ead7195edca19697a9ef19c34e","target":"graph","created_at":"2026-07-05T11:23: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/2506.15701/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Compiler auto-tuning optimizes pass sequences to improve performance metrics such as Intermediate Representation (IR) instruction count. Although recent advances leveraging Large Language Models (LLMs) have shown promise in automating compiler tuning, two significant challenges still remain: the absence of high-quality reasoning datasets for agents training, and limited effective interactions with the compilation environment. In this work, we introduce Compiler-R1, the first reinforcement learning (RL)-driven framework specifically augmenting LLM capabilities for compiler auto-tuning. Compiler","authors_text":"Haolin Pan, Haoran Luo, Hongyu Lin, Kaichun Yao, Libo Zhang, Mingjie Xing, Yang Liu, Yanjun Wu","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-30T00:26:10Z","title":"Compiler-R1: Towards Agentic Compiler Auto-tuning with Reinforcement Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.15701","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:e0789b886905a6058179e35828e3fa13e3f15933cc57dedfa6c2f6f89898ebdc","target":"record","created_at":"2026-07-05T11:23: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":"1262e25e94926e25dcfa1f3f7b7de195ff5a61a7c41b13e11b907569cb465ba8","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-30T00:26:10Z","title_canon_sha256":"28457b8c48405908a46f508f550bf4d18c19c01c755c797730f5af66bc9a993a"},"schema_version":"1.0","source":{"id":"2506.15701","kind":"arxiv","version":1}},"canonical_sha256":"20035929d83722160c6585e1fc9eff6cfde67c1f0fdb066e3b106108b9f38b54","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"20035929d83722160c6585e1fc9eff6cfde67c1f0fdb066e3b106108b9f38b54","first_computed_at":"2026-07-05T11:23:50.574610Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:23:50.574610Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iAj8EHkdxRrkMAtx+ytTO8fEyqvHR7PEH4ANV7mfnTyj9Welt8GWRUNxt+ZeutnAwG1uy/x5Y9i87nEsqotcCw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:23:50.575181Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.15701","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e0789b886905a6058179e35828e3fa13e3f15933cc57dedfa6c2f6f89898ebdc","sha256:9bf8bc92fca4a46819172e4968319f2784a439ead7195edca19697a9ef19c34e"],"state_sha256":"34eaf7a8fa6b4da4aa6398eb96f2fa549e69d8ef52bb2eec1575f8c48284c492"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h26q2O1v6llRDPIqxcGJl9Flp84nSjf2TpeDQlH0hrtwpvJY5cuPxWM63kNnNcrzOKqZBLB47ljzuFeusycOCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T13:06:35.289287Z","bundle_sha256":"05a11c25669415354e8579b7e01a4f7c1192737e1a56a84e439690656d457358"}}