{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:2WGDFHCJRSRN5BLUKO5QTKNGM4","short_pith_number":"pith:2WGDFHCJ","canonical_record":{"source":{"id":"2501.00169","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-12-30T22:38:56Z","cross_cats_sorted":["cs.AI","cs.CL","cs.SE"],"title_canon_sha256":"5c9e3f5d90b67fac85650a3dad1edb75ba58a9e925cc4a2cc933c00430c7d425","abstract_canon_sha256":"8dee9e01010fd7688415a3904de130e39bbbaa14e27cbc7a423f9e8c2fa84054"},"schema_version":"1.0"},"canonical_sha256":"d58c329c498ca2de857453bb09a9a6673dc4b60adaf9ea424706d1e45eaf9ea3","source":{"kind":"arxiv","id":"2501.00169","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.00169","created_at":"2026-07-05T09:55:40Z"},{"alias_kind":"arxiv_version","alias_value":"2501.00169v1","created_at":"2026-07-05T09:55:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.00169","created_at":"2026-07-05T09:55:40Z"},{"alias_kind":"pith_short_12","alias_value":"2WGDFHCJRSRN","created_at":"2026-07-05T09:55:40Z"},{"alias_kind":"pith_short_16","alias_value":"2WGDFHCJRSRN5BLU","created_at":"2026-07-05T09:55:40Z"},{"alias_kind":"pith_short_8","alias_value":"2WGDFHCJ","created_at":"2026-07-05T09:55:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:2WGDFHCJRSRN5BLUKO5QTKNGM4","target":"record","payload":{"canonical_record":{"source":{"id":"2501.00169","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-12-30T22:38:56Z","cross_cats_sorted":["cs.AI","cs.CL","cs.SE"],"title_canon_sha256":"5c9e3f5d90b67fac85650a3dad1edb75ba58a9e925cc4a2cc933c00430c7d425","abstract_canon_sha256":"8dee9e01010fd7688415a3904de130e39bbbaa14e27cbc7a423f9e8c2fa84054"},"schema_version":"1.0"},"canonical_sha256":"d58c329c498ca2de857453bb09a9a6673dc4b60adaf9ea424706d1e45eaf9ea3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:55:40.161811Z","signature_b64":"N1JmzYVYOmtRqKDovzTWGk71WZB/Sro8vcuAhuQAZbNthHC0IwyoFXv88gHPY9bThCof+CZdmcPO/KFNnhvhBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d58c329c498ca2de857453bb09a9a6673dc4b60adaf9ea424706d1e45eaf9ea3","last_reissued_at":"2026-07-05T09:55:40.161368Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:55:40.161368Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2501.00169","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-05T09:55:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Cz+TUtohH7InyiSDOMK3bTN4zwfkODDG5cnBXNQYgcKy+iPj4KnAlqJClw0y/dElsV5c4CjpD/dILJxYm8GsCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T10:23:21.238503Z"},"content_sha256":"76f2dae30f6733cb8dc7d5828fe7876f67414a1fddd43d8fa6f44396c230c830","schema_version":"1.0","event_id":"sha256:76f2dae30f6733cb8dc7d5828fe7876f67414a1fddd43d8fa6f44396c230c830"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:2WGDFHCJRSRN5BLUKO5QTKNGM4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DeepLL: Considering Linear Logic for the Analysis of Deep Learning Experiments","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.CL","cs.SE"],"primary_cat":"cs.PL","authors_text":"Nick Papoulias","submitted_at":"2024-12-30T22:38:56Z","abstract_excerpt":"Deep Learning experiments have critical requirements regarding the careful handling of their datasets as well as the efficient and correct usage of APIs that interact with hardware accelerators. On the one hand, software mistakes during data handling can contaminate experiments and lead to incorrect results. On the other hand, poorly coded APIs that interact with the hardware can lead to sub-optimal usage and untrustworthy conclusions. In this work we investigate the use of Linear Logic for the analysis of Deep Learning experiments. We show that primitives and operators of Linear Logic can be "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.00169","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/2501.00169/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-05T09:55:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DJ277hq3CkwLtBSNvLHeLYjwxyhwgm2P63Fkhk1piouThCeNjg+ps58GpjjShDqmldjieFj4q/JH60SATugyBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T10:23:21.239406Z"},"content_sha256":"81109ff5ecee23243997e72050b6aecff7650b54daae82f69764af912b5c37a5","schema_version":"1.0","event_id":"sha256:81109ff5ecee23243997e72050b6aecff7650b54daae82f69764af912b5c37a5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2WGDFHCJRSRN5BLUKO5QTKNGM4/bundle.json","state_url":"https://pith.science/pith/2WGDFHCJRSRN5BLUKO5QTKNGM4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2WGDFHCJRSRN5BLUKO5QTKNGM4/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-11T10:23:21Z","links":{"resolver":"https://pith.science/pith/2WGDFHCJRSRN5BLUKO5QTKNGM4","bundle":"https://pith.science/pith/2WGDFHCJRSRN5BLUKO5QTKNGM4/bundle.json","state":"https://pith.science/pith/2WGDFHCJRSRN5BLUKO5QTKNGM4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2WGDFHCJRSRN5BLUKO5QTKNGM4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:2WGDFHCJRSRN5BLUKO5QTKNGM4","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":"8dee9e01010fd7688415a3904de130e39bbbaa14e27cbc7a423f9e8c2fa84054","cross_cats_sorted":["cs.AI","cs.CL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-12-30T22:38:56Z","title_canon_sha256":"5c9e3f5d90b67fac85650a3dad1edb75ba58a9e925cc4a2cc933c00430c7d425"},"schema_version":"1.0","source":{"id":"2501.00169","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.00169","created_at":"2026-07-05T09:55:40Z"},{"alias_kind":"arxiv_version","alias_value":"2501.00169v1","created_at":"2026-07-05T09:55:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.00169","created_at":"2026-07-05T09:55:40Z"},{"alias_kind":"pith_short_12","alias_value":"2WGDFHCJRSRN","created_at":"2026-07-05T09:55:40Z"},{"alias_kind":"pith_short_16","alias_value":"2WGDFHCJRSRN5BLU","created_at":"2026-07-05T09:55:40Z"},{"alias_kind":"pith_short_8","alias_value":"2WGDFHCJ","created_at":"2026-07-05T09:55:40Z"}],"graph_snapshots":[{"event_id":"sha256:81109ff5ecee23243997e72050b6aecff7650b54daae82f69764af912b5c37a5","target":"graph","created_at":"2026-07-05T09:55:40Z","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/2501.00169/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deep Learning experiments have critical requirements regarding the careful handling of their datasets as well as the efficient and correct usage of APIs that interact with hardware accelerators. On the one hand, software mistakes during data handling can contaminate experiments and lead to incorrect results. On the other hand, poorly coded APIs that interact with the hardware can lead to sub-optimal usage and untrustworthy conclusions. In this work we investigate the use of Linear Logic for the analysis of Deep Learning experiments. We show that primitives and operators of Linear Logic can be ","authors_text":"Nick Papoulias","cross_cats":["cs.AI","cs.CL","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-12-30T22:38:56Z","title":"DeepLL: Considering Linear Logic for the Analysis of Deep Learning Experiments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.00169","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:76f2dae30f6733cb8dc7d5828fe7876f67414a1fddd43d8fa6f44396c230c830","target":"record","created_at":"2026-07-05T09:55:40Z","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":"8dee9e01010fd7688415a3904de130e39bbbaa14e27cbc7a423f9e8c2fa84054","cross_cats_sorted":["cs.AI","cs.CL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-12-30T22:38:56Z","title_canon_sha256":"5c9e3f5d90b67fac85650a3dad1edb75ba58a9e925cc4a2cc933c00430c7d425"},"schema_version":"1.0","source":{"id":"2501.00169","kind":"arxiv","version":1}},"canonical_sha256":"d58c329c498ca2de857453bb09a9a6673dc4b60adaf9ea424706d1e45eaf9ea3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d58c329c498ca2de857453bb09a9a6673dc4b60adaf9ea424706d1e45eaf9ea3","first_computed_at":"2026-07-05T09:55:40.161368Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:55:40.161368Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"N1JmzYVYOmtRqKDovzTWGk71WZB/Sro8vcuAhuQAZbNthHC0IwyoFXv88gHPY9bThCof+CZdmcPO/KFNnhvhBA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:55:40.161811Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.00169","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:76f2dae30f6733cb8dc7d5828fe7876f67414a1fddd43d8fa6f44396c230c830","sha256:81109ff5ecee23243997e72050b6aecff7650b54daae82f69764af912b5c37a5"],"state_sha256":"47490275d4e37df7543a196077265ffcba2f79d874e05c0783ce43d435c696ae"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mbOWlukUuJcpHdpHQxYwwc+NUyx9Uf6b5/8aKnSCTIG6w3OjIuHQBmnQxu6G3YnsjtlFh6MY4WIV9nY9ucOkAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T10:23:21.247674Z","bundle_sha256":"189b23e173ab1550513657e567c5b89449dc70c0a87968f2006b5a7fa562df29"}}