{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:GMDNPJXKN4QTVMRNICTFJERE2S","short_pith_number":"pith:GMDNPJXK","canonical_record":{"source":{"id":"1901.08548","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-01-20T18:51:30Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"a1ede4f529248e1f9c2059272edb0c484aa03de68d6e47c0c78dd3f7bc5142bb","abstract_canon_sha256":"048fa6ac42457e0974fda9286ab7d4f8ea4cc1e1a178f3450eca7f589d8e372c"},"schema_version":"1.0"},"canonical_sha256":"3306d7a6ea6f213ab22d40a6549224d498b1ba630721b03e8e5d794ec22e6976","source":{"kind":"arxiv","id":"1901.08548","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.08548","created_at":"2026-05-17T23:55:35Z"},{"alias_kind":"arxiv_version","alias_value":"1901.08548v1","created_at":"2026-05-17T23:55:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.08548","created_at":"2026-05-17T23:55:35Z"},{"alias_kind":"pith_short_12","alias_value":"GMDNPJXKN4QT","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"GMDNPJXKN4QTVMRN","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"GMDNPJXK","created_at":"2026-05-18T12:33:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:GMDNPJXKN4QTVMRNICTFJERE2S","target":"record","payload":{"canonical_record":{"source":{"id":"1901.08548","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-01-20T18:51:30Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"a1ede4f529248e1f9c2059272edb0c484aa03de68d6e47c0c78dd3f7bc5142bb","abstract_canon_sha256":"048fa6ac42457e0974fda9286ab7d4f8ea4cc1e1a178f3450eca7f589d8e372c"},"schema_version":"1.0"},"canonical_sha256":"3306d7a6ea6f213ab22d40a6549224d498b1ba630721b03e8e5d794ec22e6976","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:55:35.200334Z","signature_b64":"5T1bz90WgAOzHOSyARjzhTVjoA4xwA7pkbCni83RXp6vpHZbnvqUW/hq228snpKzhUYXTJXJHrfeiHs5W3C9BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3306d7a6ea6f213ab22d40a6549224d498b1ba630721b03e8e5d794ec22e6976","last_reissued_at":"2026-05-17T23:55:35.199846Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:55:35.199846Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1901.08548","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-05-17T23:55:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EgVpHDph9w2e6G9FgwIxF9gluRwk3EBvFrcv+BAq/qCIy1WetcYawvaoosc2oJiryyI7ZCM9btOWaW2XHbGHDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T08:44:10.981905Z"},"content_sha256":"b3534111b172f83249e5054b3543e4217c1329a7ca8d48d229e3804a140eb1dc","schema_version":"1.0","event_id":"sha256:b3534111b172f83249e5054b3543e4217c1329a7ca8d48d229e3804a140eb1dc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:GMDNPJXKN4QTVMRNICTFJERE2S","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A tensorized logic programming language for large-scale data","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.LG","authors_text":"Ryosuke Kojima, Taisuke Sato","submitted_at":"2019-01-20T18:51:30Z","abstract_excerpt":"We introduce a new logic programming language T-PRISM based on tensor embeddings. Our embedding scheme is a modification of the distribution semantics in PRISM, one of the state-of-the-art probabilistic logic programming languages, by replacing distribution functions with multidimensional arrays, i.e., tensors. T-PRISM consists of two parts: logic programming part and numerical computation part. The former provides flexible and interpretable modeling at the level of first order logic, and the latter part provides scalable computation utilizing parallelization and hardware acceleration with GPU"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.08548","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":""},"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-17T23:55:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"emV7/xGqR4XDrq+8x35F/TA7Q4hsElckAhf+WvX25jNuIZso+nD342hwPUf5m3BiCFAEgdJIrnmdXs0PczpCBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T08:44:10.982340Z"},"content_sha256":"fd65d15eaf1e52af78cffb108b3e62c0713e1125544d9db1ecf81d7b5c03d207","schema_version":"1.0","event_id":"sha256:fd65d15eaf1e52af78cffb108b3e62c0713e1125544d9db1ecf81d7b5c03d207"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GMDNPJXKN4QTVMRNICTFJERE2S/bundle.json","state_url":"https://pith.science/pith/GMDNPJXKN4QTVMRNICTFJERE2S/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GMDNPJXKN4QTVMRNICTFJERE2S/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-06T08:44:10Z","links":{"resolver":"https://pith.science/pith/GMDNPJXKN4QTVMRNICTFJERE2S","bundle":"https://pith.science/pith/GMDNPJXKN4QTVMRNICTFJERE2S/bundle.json","state":"https://pith.science/pith/GMDNPJXKN4QTVMRNICTFJERE2S/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GMDNPJXKN4QTVMRNICTFJERE2S/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:GMDNPJXKN4QTVMRNICTFJERE2S","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":"048fa6ac42457e0974fda9286ab7d4f8ea4cc1e1a178f3450eca7f589d8e372c","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-01-20T18:51:30Z","title_canon_sha256":"a1ede4f529248e1f9c2059272edb0c484aa03de68d6e47c0c78dd3f7bc5142bb"},"schema_version":"1.0","source":{"id":"1901.08548","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.08548","created_at":"2026-05-17T23:55:35Z"},{"alias_kind":"arxiv_version","alias_value":"1901.08548v1","created_at":"2026-05-17T23:55:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.08548","created_at":"2026-05-17T23:55:35Z"},{"alias_kind":"pith_short_12","alias_value":"GMDNPJXKN4QT","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"GMDNPJXKN4QTVMRN","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"GMDNPJXK","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:fd65d15eaf1e52af78cffb108b3e62c0713e1125544d9db1ecf81d7b5c03d207","target":"graph","created_at":"2026-05-17T23:55:35Z","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"},"paper":{"abstract_excerpt":"We introduce a new logic programming language T-PRISM based on tensor embeddings. Our embedding scheme is a modification of the distribution semantics in PRISM, one of the state-of-the-art probabilistic logic programming languages, by replacing distribution functions with multidimensional arrays, i.e., tensors. T-PRISM consists of two parts: logic programming part and numerical computation part. The former provides flexible and interpretable modeling at the level of first order logic, and the latter part provides scalable computation utilizing parallelization and hardware acceleration with GPU","authors_text":"Ryosuke Kojima, Taisuke Sato","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-01-20T18:51:30Z","title":"A tensorized logic programming language for large-scale data"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.08548","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:b3534111b172f83249e5054b3543e4217c1329a7ca8d48d229e3804a140eb1dc","target":"record","created_at":"2026-05-17T23:55:35Z","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":"048fa6ac42457e0974fda9286ab7d4f8ea4cc1e1a178f3450eca7f589d8e372c","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-01-20T18:51:30Z","title_canon_sha256":"a1ede4f529248e1f9c2059272edb0c484aa03de68d6e47c0c78dd3f7bc5142bb"},"schema_version":"1.0","source":{"id":"1901.08548","kind":"arxiv","version":1}},"canonical_sha256":"3306d7a6ea6f213ab22d40a6549224d498b1ba630721b03e8e5d794ec22e6976","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3306d7a6ea6f213ab22d40a6549224d498b1ba630721b03e8e5d794ec22e6976","first_computed_at":"2026-05-17T23:55:35.199846Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:35.199846Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5T1bz90WgAOzHOSyARjzhTVjoA4xwA7pkbCni83RXp6vpHZbnvqUW/hq228snpKzhUYXTJXJHrfeiHs5W3C9BQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:35.200334Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.08548","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b3534111b172f83249e5054b3543e4217c1329a7ca8d48d229e3804a140eb1dc","sha256:fd65d15eaf1e52af78cffb108b3e62c0713e1125544d9db1ecf81d7b5c03d207"],"state_sha256":"250d9e52815e28e0c917bedfd2b49ea9f92c1118b8207b00e4f05abbdb7d7ddd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E1Ath/3dSDJW+T1ZTdvUiUXEq5Abgp7Qh8oUCYHTn756x+Uue0s+wu2ypd6gouOPnmEhIc3J1T2xrNxC66hgBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T08:44:10.984576Z","bundle_sha256":"180d87002394f7097e7c24f0846736c9c38421812bcbfc1955cb6df5db9a0d7d"}}