{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:4O4QCDT6C6LUZIJFVGBWLJ2C4M","short_pith_number":"pith:4O4QCDT6","canonical_record":{"source":{"id":"2107.02912","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-07-06T21:16:37Z","cross_cats_sorted":["cs.LG","cs.RO"],"title_canon_sha256":"2f4fd2f3ebd4b16c3e230cbc4b321695cea185dc84c98f2c90201bdfba389141","abstract_canon_sha256":"d8a9e135b66b09cf9e162ffa6fcee5dea0135ec537c4b4ffa25fec57a63ce068"},"schema_version":"1.0"},"canonical_sha256":"e3b9010e7e17974ca125a98365a742e308b04c2578987d5b6b292ac706b19ce2","source":{"kind":"arxiv","id":"2107.02912","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2107.02912","created_at":"2026-07-05T02:55:58Z"},{"alias_kind":"arxiv_version","alias_value":"2107.02912v1","created_at":"2026-07-05T02:55:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2107.02912","created_at":"2026-07-05T02:55:58Z"},{"alias_kind":"pith_short_12","alias_value":"4O4QCDT6C6LU","created_at":"2026-07-05T02:55:58Z"},{"alias_kind":"pith_short_16","alias_value":"4O4QCDT6C6LUZIJF","created_at":"2026-07-05T02:55:58Z"},{"alias_kind":"pith_short_8","alias_value":"4O4QCDT6","created_at":"2026-07-05T02:55:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:4O4QCDT6C6LUZIJFVGBWLJ2C4M","target":"record","payload":{"canonical_record":{"source":{"id":"2107.02912","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-07-06T21:16:37Z","cross_cats_sorted":["cs.LG","cs.RO"],"title_canon_sha256":"2f4fd2f3ebd4b16c3e230cbc4b321695cea185dc84c98f2c90201bdfba389141","abstract_canon_sha256":"d8a9e135b66b09cf9e162ffa6fcee5dea0135ec537c4b4ffa25fec57a63ce068"},"schema_version":"1.0"},"canonical_sha256":"e3b9010e7e17974ca125a98365a742e308b04c2578987d5b6b292ac706b19ce2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:55:58.098603Z","signature_b64":"mUt0+RQvQoElH06UhIBY41sCEoG3ZNaxx2SRiLqfZOjBB21tU6XOU4ua16AJm6+fYrsMyQZd+nRBqpt+KricAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e3b9010e7e17974ca125a98365a742e308b04c2578987d5b6b292ac706b19ce2","last_reissued_at":"2026-07-05T02:55:58.098133Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:55:58.098133Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2107.02912","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-05T02:55:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XX5zTXrZDpAayiPpX9ny2nH1uOTflRshKe8y2jrKpieuZ2u/szBWBtrC4CGXyxCVdEaB/DWiGGhDclzT8674Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T02:30:45.490385Z"},"content_sha256":"d9e710b12ca9bfaab86b20dcd95e7111330c87d71a652ad3bea944fe5f8a3247","schema_version":"1.0","event_id":"sha256:d9e710b12ca9bfaab86b20dcd95e7111330c87d71a652ad3bea944fe5f8a3247"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:4O4QCDT6C6LUZIJFVGBWLJ2C4M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Supervised Bayesian Specification Inference from Demonstrations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.RO"],"primary_cat":"cs.AI","authors_text":"Ankit Shah, Julie Shah, Kevin Landers, Kevin Oden, Patrick Craven, Pritish Kamath, Shen Li","submitted_at":"2021-07-06T21:16:37Z","abstract_excerpt":"When observing task demonstrations, human apprentices are able to identify whether a given task is executed correctly long before they gain expertise in actually performing that task. Prior research into learning from demonstrations (LfD) has failed to capture this notion of the acceptability of a task's execution; meanwhile, temporal logics provide a flexible language for expressing task specifications. Inspired by this, we present Bayesian specification inference, a probabilistic model for inferring task specification as a temporal logic formula. We incorporate methods from probabilistic pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2107.02912","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/2107.02912/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:55:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7AV8uuj8LC0eb2xCVT/0kjnIkH5EF8hoFXTNMYr4djFf/2dgy6oalVM+IsVVL4bqh45YV3iDg2nV9+n14bJPBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T02:30:45.491251Z"},"content_sha256":"a92127c10d5e6163fca9562941e0bc79cd08a6b8de4c81bc48b7623b9a5d2032","schema_version":"1.0","event_id":"sha256:a92127c10d5e6163fca9562941e0bc79cd08a6b8de4c81bc48b7623b9a5d2032"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4O4QCDT6C6LUZIJFVGBWLJ2C4M/bundle.json","state_url":"https://pith.science/pith/4O4QCDT6C6LUZIJFVGBWLJ2C4M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4O4QCDT6C6LUZIJFVGBWLJ2C4M/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-10T02:30:45Z","links":{"resolver":"https://pith.science/pith/4O4QCDT6C6LUZIJFVGBWLJ2C4M","bundle":"https://pith.science/pith/4O4QCDT6C6LUZIJFVGBWLJ2C4M/bundle.json","state":"https://pith.science/pith/4O4QCDT6C6LUZIJFVGBWLJ2C4M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4O4QCDT6C6LUZIJFVGBWLJ2C4M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:4O4QCDT6C6LUZIJFVGBWLJ2C4M","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":"d8a9e135b66b09cf9e162ffa6fcee5dea0135ec537c4b4ffa25fec57a63ce068","cross_cats_sorted":["cs.LG","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-07-06T21:16:37Z","title_canon_sha256":"2f4fd2f3ebd4b16c3e230cbc4b321695cea185dc84c98f2c90201bdfba389141"},"schema_version":"1.0","source":{"id":"2107.02912","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2107.02912","created_at":"2026-07-05T02:55:58Z"},{"alias_kind":"arxiv_version","alias_value":"2107.02912v1","created_at":"2026-07-05T02:55:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2107.02912","created_at":"2026-07-05T02:55:58Z"},{"alias_kind":"pith_short_12","alias_value":"4O4QCDT6C6LU","created_at":"2026-07-05T02:55:58Z"},{"alias_kind":"pith_short_16","alias_value":"4O4QCDT6C6LUZIJF","created_at":"2026-07-05T02:55:58Z"},{"alias_kind":"pith_short_8","alias_value":"4O4QCDT6","created_at":"2026-07-05T02:55:58Z"}],"graph_snapshots":[{"event_id":"sha256:a92127c10d5e6163fca9562941e0bc79cd08a6b8de4c81bc48b7623b9a5d2032","target":"graph","created_at":"2026-07-05T02:55: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/2107.02912/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"When observing task demonstrations, human apprentices are able to identify whether a given task is executed correctly long before they gain expertise in actually performing that task. Prior research into learning from demonstrations (LfD) has failed to capture this notion of the acceptability of a task's execution; meanwhile, temporal logics provide a flexible language for expressing task specifications. Inspired by this, we present Bayesian specification inference, a probabilistic model for inferring task specification as a temporal logic formula. We incorporate methods from probabilistic pro","authors_text":"Ankit Shah, Julie Shah, Kevin Landers, Kevin Oden, Patrick Craven, Pritish Kamath, Shen Li","cross_cats":["cs.LG","cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-07-06T21:16:37Z","title":"Supervised Bayesian Specification Inference from Demonstrations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2107.02912","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:d9e710b12ca9bfaab86b20dcd95e7111330c87d71a652ad3bea944fe5f8a3247","target":"record","created_at":"2026-07-05T02:55: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":"d8a9e135b66b09cf9e162ffa6fcee5dea0135ec537c4b4ffa25fec57a63ce068","cross_cats_sorted":["cs.LG","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-07-06T21:16:37Z","title_canon_sha256":"2f4fd2f3ebd4b16c3e230cbc4b321695cea185dc84c98f2c90201bdfba389141"},"schema_version":"1.0","source":{"id":"2107.02912","kind":"arxiv","version":1}},"canonical_sha256":"e3b9010e7e17974ca125a98365a742e308b04c2578987d5b6b292ac706b19ce2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e3b9010e7e17974ca125a98365a742e308b04c2578987d5b6b292ac706b19ce2","first_computed_at":"2026-07-05T02:55:58.098133Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:55:58.098133Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mUt0+RQvQoElH06UhIBY41sCEoG3ZNaxx2SRiLqfZOjBB21tU6XOU4ua16AJm6+fYrsMyQZd+nRBqpt+KricAA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:55:58.098603Z","signed_message":"canonical_sha256_bytes"},"source_id":"2107.02912","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d9e710b12ca9bfaab86b20dcd95e7111330c87d71a652ad3bea944fe5f8a3247","sha256:a92127c10d5e6163fca9562941e0bc79cd08a6b8de4c81bc48b7623b9a5d2032"],"state_sha256":"e4c1d932ed0db808cb7376fd537814d6873717355ba6543b1e60f0364b2b0f4a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8nQQdvMrQeQr5ZFafvXzW2Kh6WCGAoG1ESied3s+Q3hi1ZHhZZrAt0rj44evLgTDsm7YIMRSn17Vt+OCO3VaCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T02:30:45.495365Z","bundle_sha256":"95773e193f8a07d554d659ca9435c3ad68c4709667132334b76a45a21f85f057"}}