{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:QG3FMHEK5VXN3VR42RJNTWRMHE","short_pith_number":"pith:QG3FMHEK","canonical_record":{"source":{"id":"2104.13732","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-28T12:41:52Z","cross_cats_sorted":["cs.DC","cs.DM","cs.PF"],"title_canon_sha256":"eafb971cc01e50af64bea16ff11031085dbaf7f86bebc642e73f61efb93aa224","abstract_canon_sha256":"3728d6fa5a645f7dc12d5bf2991c546b40eb20afcb575e78715102506253604e"},"schema_version":"1.0"},"canonical_sha256":"81b6561c8aed6eddd63cd452d9da2c39214c5b28f7c290273a3f8094ad29eb09","source":{"kind":"arxiv","id":"2104.13732","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.13732","created_at":"2026-07-05T02:36:11Z"},{"alias_kind":"arxiv_version","alias_value":"2104.13732v2","created_at":"2026-07-05T02:36:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.13732","created_at":"2026-07-05T02:36:11Z"},{"alias_kind":"pith_short_12","alias_value":"QG3FMHEK5VXN","created_at":"2026-07-05T02:36:11Z"},{"alias_kind":"pith_short_16","alias_value":"QG3FMHEK5VXN3VR4","created_at":"2026-07-05T02:36:11Z"},{"alias_kind":"pith_short_8","alias_value":"QG3FMHEK","created_at":"2026-07-05T02:36:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:QG3FMHEK5VXN3VR42RJNTWRMHE","target":"record","payload":{"canonical_record":{"source":{"id":"2104.13732","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-28T12:41:52Z","cross_cats_sorted":["cs.DC","cs.DM","cs.PF"],"title_canon_sha256":"eafb971cc01e50af64bea16ff11031085dbaf7f86bebc642e73f61efb93aa224","abstract_canon_sha256":"3728d6fa5a645f7dc12d5bf2991c546b40eb20afcb575e78715102506253604e"},"schema_version":"1.0"},"canonical_sha256":"81b6561c8aed6eddd63cd452d9da2c39214c5b28f7c290273a3f8094ad29eb09","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:36:11.285959Z","signature_b64":"Yf7T8n/stsRDRe2VBZcS77RvImXNY54QkLLAcsb4ZzPAS7Mgm75ip8g3Aex2MFPM1VwI4fSOKUxTf6hgjWsABQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"81b6561c8aed6eddd63cd452d9da2c39214c5b28f7c290273a3f8094ad29eb09","last_reissued_at":"2026-07-05T02:36:11.285506Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:36:11.285506Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2104.13732","source_version":2,"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-05T02:36:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LjeuMed28Qk73e7yFZnFvXE6tlPV4hpU4fy+/rAl/lrzOxdfX1ImlQ8UP5NpAWpVWg7H+SLqRHl2ujqOYQSpCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T11:04:37.579557Z"},"content_sha256":"14a3ad3c51c19a583dadfba9e7383870f3adc2ec9dec5dd872f80b3b13ecab4a","schema_version":"1.0","event_id":"sha256:14a3ad3c51c19a583dadfba9e7383870f3adc2ec9dec5dd872f80b3b13ecab4a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:QG3FMHEK5VXN3VR42RJNTWRMHE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Reinforcement Learning Environment for Polyhedral Optimizations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.DM","cs.PF"],"primary_cat":"cs.LG","authors_text":"Alexander Brauckmann, Andr\\'es Goens, Jeronimo Castrillon","submitted_at":"2021-04-28T12:41:52Z","abstract_excerpt":"The polyhedral model allows a structured way of defining semantics-preserving transformations to improve the performance of a large class of loops. Finding profitable points in this space is a hard problem which is usually approached by heuristics that generalize from domain-expert knowledge. Existing problem formulations in state-of-the-art heuristics depend on the shape of particular loops, making it hard to leverage generic and more powerful optimization techniques from the machine learning domain. In this paper, we propose PolyGym, a shape-agnostic formulation for the space of legal transf"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.13732","kind":"arxiv","version":2},"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/2104.13732/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-05T02:36:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ol2OYPmITvt3rJTzPp3eJ9yPqnH1ahmnPq9eVHMWSEzzIVvRFhhLWGbrqSJAtvDWOpJz/RzdGQjryED5lMwwDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T11:04:37.580361Z"},"content_sha256":"a3f2775beffa1cfa4a2af6efd52faf01e9eb6a8bce47901b8627582512835654","schema_version":"1.0","event_id":"sha256:a3f2775beffa1cfa4a2af6efd52faf01e9eb6a8bce47901b8627582512835654"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QG3FMHEK5VXN3VR42RJNTWRMHE/bundle.json","state_url":"https://pith.science/pith/QG3FMHEK5VXN3VR42RJNTWRMHE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QG3FMHEK5VXN3VR42RJNTWRMHE/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-10T11:04:37Z","links":{"resolver":"https://pith.science/pith/QG3FMHEK5VXN3VR42RJNTWRMHE","bundle":"https://pith.science/pith/QG3FMHEK5VXN3VR42RJNTWRMHE/bundle.json","state":"https://pith.science/pith/QG3FMHEK5VXN3VR42RJNTWRMHE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QG3FMHEK5VXN3VR42RJNTWRMHE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:QG3FMHEK5VXN3VR42RJNTWRMHE","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":"3728d6fa5a645f7dc12d5bf2991c546b40eb20afcb575e78715102506253604e","cross_cats_sorted":["cs.DC","cs.DM","cs.PF"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-28T12:41:52Z","title_canon_sha256":"eafb971cc01e50af64bea16ff11031085dbaf7f86bebc642e73f61efb93aa224"},"schema_version":"1.0","source":{"id":"2104.13732","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.13732","created_at":"2026-07-05T02:36:11Z"},{"alias_kind":"arxiv_version","alias_value":"2104.13732v2","created_at":"2026-07-05T02:36:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.13732","created_at":"2026-07-05T02:36:11Z"},{"alias_kind":"pith_short_12","alias_value":"QG3FMHEK5VXN","created_at":"2026-07-05T02:36:11Z"},{"alias_kind":"pith_short_16","alias_value":"QG3FMHEK5VXN3VR4","created_at":"2026-07-05T02:36:11Z"},{"alias_kind":"pith_short_8","alias_value":"QG3FMHEK","created_at":"2026-07-05T02:36:11Z"}],"graph_snapshots":[{"event_id":"sha256:a3f2775beffa1cfa4a2af6efd52faf01e9eb6a8bce47901b8627582512835654","target":"graph","created_at":"2026-07-05T02:36:11Z","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/2104.13732/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The polyhedral model allows a structured way of defining semantics-preserving transformations to improve the performance of a large class of loops. Finding profitable points in this space is a hard problem which is usually approached by heuristics that generalize from domain-expert knowledge. Existing problem formulations in state-of-the-art heuristics depend on the shape of particular loops, making it hard to leverage generic and more powerful optimization techniques from the machine learning domain. In this paper, we propose PolyGym, a shape-agnostic formulation for the space of legal transf","authors_text":"Alexander Brauckmann, Andr\\'es Goens, Jeronimo Castrillon","cross_cats":["cs.DC","cs.DM","cs.PF"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-28T12:41:52Z","title":"A Reinforcement Learning Environment for Polyhedral Optimizations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.13732","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:14a3ad3c51c19a583dadfba9e7383870f3adc2ec9dec5dd872f80b3b13ecab4a","target":"record","created_at":"2026-07-05T02:36:11Z","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":"3728d6fa5a645f7dc12d5bf2991c546b40eb20afcb575e78715102506253604e","cross_cats_sorted":["cs.DC","cs.DM","cs.PF"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-28T12:41:52Z","title_canon_sha256":"eafb971cc01e50af64bea16ff11031085dbaf7f86bebc642e73f61efb93aa224"},"schema_version":"1.0","source":{"id":"2104.13732","kind":"arxiv","version":2}},"canonical_sha256":"81b6561c8aed6eddd63cd452d9da2c39214c5b28f7c290273a3f8094ad29eb09","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81b6561c8aed6eddd63cd452d9da2c39214c5b28f7c290273a3f8094ad29eb09","first_computed_at":"2026-07-05T02:36:11.285506Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:36:11.285506Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Yf7T8n/stsRDRe2VBZcS77RvImXNY54QkLLAcsb4ZzPAS7Mgm75ip8g3Aex2MFPM1VwI4fSOKUxTf6hgjWsABQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:36:11.285959Z","signed_message":"canonical_sha256_bytes"},"source_id":"2104.13732","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:14a3ad3c51c19a583dadfba9e7383870f3adc2ec9dec5dd872f80b3b13ecab4a","sha256:a3f2775beffa1cfa4a2af6efd52faf01e9eb6a8bce47901b8627582512835654"],"state_sha256":"d6fd731c578adab7b0d851dda1f8a1a3fdddf224cda3956dfd0c32402257fa84"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F66jAAVlnhv1FChLIP5vSrcD/r52Ad8XkdcZ8mZeBrWf9K9sT9OhMBukaDgD3OiolvyIJeoGJhwn5glLFPkXBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T11:04:37.589570Z","bundle_sha256":"07249a041d6665ab820b21bfee4eb975c37554519f541fc1a023db052f7cb36b"}}