{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:QWTMIIFTAC7JSBXD746TNJEJAN","short_pith_number":"pith:QWTMIIFT","canonical_record":{"source":{"id":"2410.03210","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-04T07:56:05Z","cross_cats_sorted":[],"title_canon_sha256":"7c70a0c0b8ce9fe51523ebd96354f0da18d6c1187cde9a4a5f794a6df995e014","abstract_canon_sha256":"e342437613063e8f34522e06264fb0ab482568a9fe18e2fff43559ad80c59967"},"schema_version":"1.0"},"canonical_sha256":"85a6c420b300be9906e3ff3d36a4890361b95897894bab7554eeeaf9b27ca53b","source":{"kind":"arxiv","id":"2410.03210","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.03210","created_at":"2026-07-05T11:13:58Z"},{"alias_kind":"arxiv_version","alias_value":"2410.03210v2","created_at":"2026-07-05T11:13:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.03210","created_at":"2026-07-05T11:13:58Z"},{"alias_kind":"pith_short_12","alias_value":"QWTMIIFTAC7J","created_at":"2026-07-05T11:13:58Z"},{"alias_kind":"pith_short_16","alias_value":"QWTMIIFTAC7JSBXD","created_at":"2026-07-05T11:13:58Z"},{"alias_kind":"pith_short_8","alias_value":"QWTMIIFT","created_at":"2026-07-05T11:13:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:QWTMIIFTAC7JSBXD746TNJEJAN","target":"record","payload":{"canonical_record":{"source":{"id":"2410.03210","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-04T07:56:05Z","cross_cats_sorted":[],"title_canon_sha256":"7c70a0c0b8ce9fe51523ebd96354f0da18d6c1187cde9a4a5f794a6df995e014","abstract_canon_sha256":"e342437613063e8f34522e06264fb0ab482568a9fe18e2fff43559ad80c59967"},"schema_version":"1.0"},"canonical_sha256":"85a6c420b300be9906e3ff3d36a4890361b95897894bab7554eeeaf9b27ca53b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:13:58.453692Z","signature_b64":"uXDTTnGOkfCHQEHHaf86ZxGIF7A1jVs4iWS6ahSAM4bbVYYNyLu5LsgF6p/L/Ye2Y415m0cDg4jNaBNNpP9zAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"85a6c420b300be9906e3ff3d36a4890361b95897894bab7554eeeaf9b27ca53b","last_reissued_at":"2026-07-05T11:13:58.453229Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:13:58.453229Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.03210","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-05T11:13:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lnp/ltWSwC/ELL4//Q4872+F/AHUMjeIhpYbKP/xU5/kyN6KNr8WkcKsJnV5+J7BkO53R9joy+Rl2aLBL3GYBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T20:46:42.722629Z"},"content_sha256":"222e220cd8a29a757c609bb11e78c5f38435c1e1c2af1722247a881b166e3995","schema_version":"1.0","event_id":"sha256:222e220cd8a29a757c609bb11e78c5f38435c1e1c2af1722247a881b166e3995"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:QWTMIIFTAC7JSBXD746TNJEJAN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Aleksandr Drozd, Emil Vatai, Ivan R. Ivanov, Joao E. Batista, Mohamed Wahib, Yinghao Ren","submitted_at":"2024-10-04T07:56:05Z","abstract_excerpt":"Frameworks and domain-specific languages for auto-generating code have traditionally depended on human experts to implement rigorous methods ensuring the legality of code transformations. Recently, machine learning (ML) has gained traction for generating code optimized for specific hardware targets. However, ML approaches-particularly black-box neural networks-offer no guarantees on the correctness or legality of the transformations they produce. To address this gap, we introduce Tadashi, an end-to-end system that leverages the polyhedral model to support researchers in curating datasets criti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.03210","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/2410.03210/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:13:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sBOQxs135AiLcCjpVxt482WL8r+msmcP/+UdPFSVzdYAJyNYp4qIK47+2Zcssv5FiiK6qeLA3q2YVZmYu4xFAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T20:46:42.722995Z"},"content_sha256":"949735834c2053ad1fd1df156ea3d74fcb083c4df48aeec972f0f2614e46b8d2","schema_version":"1.0","event_id":"sha256:949735834c2053ad1fd1df156ea3d74fcb083c4df48aeec972f0f2614e46b8d2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QWTMIIFTAC7JSBXD746TNJEJAN/bundle.json","state_url":"https://pith.science/pith/QWTMIIFTAC7JSBXD746TNJEJAN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QWTMIIFTAC7JSBXD746TNJEJAN/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-07-06T20:46:42Z","links":{"resolver":"https://pith.science/pith/QWTMIIFTAC7JSBXD746TNJEJAN","bundle":"https://pith.science/pith/QWTMIIFTAC7JSBXD746TNJEJAN/bundle.json","state":"https://pith.science/pith/QWTMIIFTAC7JSBXD746TNJEJAN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QWTMIIFTAC7JSBXD746TNJEJAN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:QWTMIIFTAC7JSBXD746TNJEJAN","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":"e342437613063e8f34522e06264fb0ab482568a9fe18e2fff43559ad80c59967","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-04T07:56:05Z","title_canon_sha256":"7c70a0c0b8ce9fe51523ebd96354f0da18d6c1187cde9a4a5f794a6df995e014"},"schema_version":"1.0","source":{"id":"2410.03210","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.03210","created_at":"2026-07-05T11:13:58Z"},{"alias_kind":"arxiv_version","alias_value":"2410.03210v2","created_at":"2026-07-05T11:13:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.03210","created_at":"2026-07-05T11:13:58Z"},{"alias_kind":"pith_short_12","alias_value":"QWTMIIFTAC7J","created_at":"2026-07-05T11:13:58Z"},{"alias_kind":"pith_short_16","alias_value":"QWTMIIFTAC7JSBXD","created_at":"2026-07-05T11:13:58Z"},{"alias_kind":"pith_short_8","alias_value":"QWTMIIFT","created_at":"2026-07-05T11:13:58Z"}],"graph_snapshots":[{"event_id":"sha256:949735834c2053ad1fd1df156ea3d74fcb083c4df48aeec972f0f2614e46b8d2","target":"graph","created_at":"2026-07-05T11:13:58Z","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/2410.03210/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Frameworks and domain-specific languages for auto-generating code have traditionally depended on human experts to implement rigorous methods ensuring the legality of code transformations. Recently, machine learning (ML) has gained traction for generating code optimized for specific hardware targets. However, ML approaches-particularly black-box neural networks-offer no guarantees on the correctness or legality of the transformations they produce. To address this gap, we introduce Tadashi, an end-to-end system that leverages the polyhedral model to support researchers in curating datasets criti","authors_text":"Aleksandr Drozd, Emil Vatai, Ivan R. Ivanov, Joao E. Batista, Mohamed Wahib, Yinghao Ren","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-04T07:56:05Z","title":"Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.03210","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:222e220cd8a29a757c609bb11e78c5f38435c1e1c2af1722247a881b166e3995","target":"record","created_at":"2026-07-05T11:13:58Z","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":"e342437613063e8f34522e06264fb0ab482568a9fe18e2fff43559ad80c59967","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-10-04T07:56:05Z","title_canon_sha256":"7c70a0c0b8ce9fe51523ebd96354f0da18d6c1187cde9a4a5f794a6df995e014"},"schema_version":"1.0","source":{"id":"2410.03210","kind":"arxiv","version":2}},"canonical_sha256":"85a6c420b300be9906e3ff3d36a4890361b95897894bab7554eeeaf9b27ca53b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"85a6c420b300be9906e3ff3d36a4890361b95897894bab7554eeeaf9b27ca53b","first_computed_at":"2026-07-05T11:13:58.453229Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:13:58.453229Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uXDTTnGOkfCHQEHHaf86ZxGIF7A1jVs4iWS6ahSAM4bbVYYNyLu5LsgF6p/L/Ye2Y415m0cDg4jNaBNNpP9zAg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:13:58.453692Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.03210","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:222e220cd8a29a757c609bb11e78c5f38435c1e1c2af1722247a881b166e3995","sha256:949735834c2053ad1fd1df156ea3d74fcb083c4df48aeec972f0f2614e46b8d2"],"state_sha256":"a9487abcb6cf49217fbf907586854b4f3da07e89ae13911ee6e3a5efed14721f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wPColOGnHkQYisXEfAjzbfMMxOyniibNGrA7zoZnjfks6ZszBlxAHHDJn1tLDPLf9c+J84tKynw4nO7M9CowDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T20:46:42.724891Z","bundle_sha256":"572cee3108e306a3a4053e92d300c515465bdf9c146850f8d767df104b68bf4e"}}