{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:WPVMXVHEJ4BREMQMR2ZUQJDY6B","short_pith_number":"pith:WPVMXVHE","canonical_record":{"source":{"id":"1906.07809","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-18T20:57:51Z","cross_cats_sorted":[],"title_canon_sha256":"8eeef0d6f80bfffb1c98d8a8d5e7dea728c81d07c8e2d2adebe369f86cf61005","abstract_canon_sha256":"9b7c5a3a8fe84c7c16a2df2eda939d16e72e3550967bfb613cf1c0db0c00f9e8"},"schema_version":"1.0"},"canonical_sha256":"b3eacbd4e44f0312320c8eb3482478f04be6bd5a235ca3e717e5af6d9c1b2b98","source":{"kind":"arxiv","id":"1906.07809","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.07809","created_at":"2026-05-17T23:42:57Z"},{"alias_kind":"arxiv_version","alias_value":"1906.07809v1","created_at":"2026-05-17T23:42:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.07809","created_at":"2026-05-17T23:42:57Z"},{"alias_kind":"pith_short_12","alias_value":"WPVMXVHEJ4BR","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"WPVMXVHEJ4BREMQM","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"WPVMXVHE","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:WPVMXVHEJ4BREMQMR2ZUQJDY6B","target":"record","payload":{"canonical_record":{"source":{"id":"1906.07809","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-18T20:57:51Z","cross_cats_sorted":[],"title_canon_sha256":"8eeef0d6f80bfffb1c98d8a8d5e7dea728c81d07c8e2d2adebe369f86cf61005","abstract_canon_sha256":"9b7c5a3a8fe84c7c16a2df2eda939d16e72e3550967bfb613cf1c0db0c00f9e8"},"schema_version":"1.0"},"canonical_sha256":"b3eacbd4e44f0312320c8eb3482478f04be6bd5a235ca3e717e5af6d9c1b2b98","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:57.679074Z","signature_b64":"k6+oqWjSqukclndwpNeYK2f8kd3gXps9hVWEXRdoXrDw0wVPdXkcEF4XMHsZrDIvA+YL1XsplRAEQHe0rN4eDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3eacbd4e44f0312320c8eb3482478f04be6bd5a235ca3e717e5af6d9c1b2b98","last_reissued_at":"2026-05-17T23:42:57.678444Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:57.678444Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.07809","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:42:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5uBMUA6qTgmqzSk4+acxNuPGqipg7q5PSLtoQ3Jz1LdHnCLoi11iAjpWkq7dT0jUqSaXwItem7lMg3bnKNOrBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T16:40:53.181689Z"},"content_sha256":"9e965fb2414e8361d85c9f054a5d9913b899fbdceae55359d230f8973a4e218d","schema_version":"1.0","event_id":"sha256:9e965fb2414e8361d85c9f054a5d9913b899fbdceae55359d230f8973a4e218d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:WPVMXVHEJ4BREMQMR2ZUQJDY6B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Declarative Learning-Based Programming as an Interface to AI Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Dan Roth, Kristian Kersting, Parisa Kordjamshidi","submitted_at":"2019-06-18T20:57:51Z","abstract_excerpt":"Data-driven approaches are becoming more common as problem-solving techniques in many areas of research and industry. In most cases, machine learning models are the key component of these solutions, but a solution involves multiple such models, along with significant levels of reasoning with the models' output and input. Current technologies do not make such techniques easy to use for application experts who are not fluent in machine learning nor for machine learning experts who aim at testing ideas and models on real-world data in the context of the overall AI system. We review key efforts ma"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.07809","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:42:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a4ArVepq3zixBwSDOjy6PK1Ka5K3hxiPc2I6vnNqah/Bl0nUWaN6jfXnQ5OaE2mlAJydqBtxTOWX0Cynxcp+Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T16:40:53.182394Z"},"content_sha256":"d581ffb072a2f04e34db38866da7897cb09b001ec17a4040b9d499643c73982d","schema_version":"1.0","event_id":"sha256:d581ffb072a2f04e34db38866da7897cb09b001ec17a4040b9d499643c73982d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WPVMXVHEJ4BREMQMR2ZUQJDY6B/bundle.json","state_url":"https://pith.science/pith/WPVMXVHEJ4BREMQMR2ZUQJDY6B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WPVMXVHEJ4BREMQMR2ZUQJDY6B/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-05-26T16:40:53Z","links":{"resolver":"https://pith.science/pith/WPVMXVHEJ4BREMQMR2ZUQJDY6B","bundle":"https://pith.science/pith/WPVMXVHEJ4BREMQMR2ZUQJDY6B/bundle.json","state":"https://pith.science/pith/WPVMXVHEJ4BREMQMR2ZUQJDY6B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WPVMXVHEJ4BREMQMR2ZUQJDY6B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:WPVMXVHEJ4BREMQMR2ZUQJDY6B","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":"9b7c5a3a8fe84c7c16a2df2eda939d16e72e3550967bfb613cf1c0db0c00f9e8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-18T20:57:51Z","title_canon_sha256":"8eeef0d6f80bfffb1c98d8a8d5e7dea728c81d07c8e2d2adebe369f86cf61005"},"schema_version":"1.0","source":{"id":"1906.07809","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.07809","created_at":"2026-05-17T23:42:57Z"},{"alias_kind":"arxiv_version","alias_value":"1906.07809v1","created_at":"2026-05-17T23:42:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.07809","created_at":"2026-05-17T23:42:57Z"},{"alias_kind":"pith_short_12","alias_value":"WPVMXVHEJ4BR","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"WPVMXVHEJ4BREMQM","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"WPVMXVHE","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:d581ffb072a2f04e34db38866da7897cb09b001ec17a4040b9d499643c73982d","target":"graph","created_at":"2026-05-17T23:42:57Z","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":"Data-driven approaches are becoming more common as problem-solving techniques in many areas of research and industry. In most cases, machine learning models are the key component of these solutions, but a solution involves multiple such models, along with significant levels of reasoning with the models' output and input. Current technologies do not make such techniques easy to use for application experts who are not fluent in machine learning nor for machine learning experts who aim at testing ideas and models on real-world data in the context of the overall AI system. We review key efforts ma","authors_text":"Dan Roth, Kristian Kersting, Parisa Kordjamshidi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-18T20:57:51Z","title":"Declarative Learning-Based Programming as an Interface to AI Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.07809","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:9e965fb2414e8361d85c9f054a5d9913b899fbdceae55359d230f8973a4e218d","target":"record","created_at":"2026-05-17T23:42:57Z","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":"9b7c5a3a8fe84c7c16a2df2eda939d16e72e3550967bfb613cf1c0db0c00f9e8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-18T20:57:51Z","title_canon_sha256":"8eeef0d6f80bfffb1c98d8a8d5e7dea728c81d07c8e2d2adebe369f86cf61005"},"schema_version":"1.0","source":{"id":"1906.07809","kind":"arxiv","version":1}},"canonical_sha256":"b3eacbd4e44f0312320c8eb3482478f04be6bd5a235ca3e717e5af6d9c1b2b98","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b3eacbd4e44f0312320c8eb3482478f04be6bd5a235ca3e717e5af6d9c1b2b98","first_computed_at":"2026-05-17T23:42:57.678444Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:42:57.678444Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"k6+oqWjSqukclndwpNeYK2f8kd3gXps9hVWEXRdoXrDw0wVPdXkcEF4XMHsZrDIvA+YL1XsplRAEQHe0rN4eDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:42:57.679074Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.07809","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9e965fb2414e8361d85c9f054a5d9913b899fbdceae55359d230f8973a4e218d","sha256:d581ffb072a2f04e34db38866da7897cb09b001ec17a4040b9d499643c73982d"],"state_sha256":"732cb99a52858b5b42ddc0f9f0fbab85f00d11360c9281cecc8160a59b8c8a26"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s+vHtWvOijqbaMECHukl/RbLHInLpqDyvPmATU9xIVc2So7nZeGnIxuq1boQBVC+3Fx++BaN2ngzQC3USXTnCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T16:40:53.186145Z","bundle_sha256":"517c727cc54c3f0a3e6191dc43ace0148d6149995a9fcd3a81d9775ed0295f59"}}