{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:RCSXQ7VSOKAGSPRZRFRL62MXK2","short_pith_number":"pith:RCSXQ7VS","canonical_record":{"source":{"id":"2203.09634","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-03-17T22:13:09Z","cross_cats_sorted":["cs.LG","cs.RO"],"title_canon_sha256":"e5466c6e2a38d26468a5381868976f0133026b0b61fb24a71399326d93004bef","abstract_canon_sha256":"210d547967d4a63841941f2e791927ea599a2b657e57abda34a7c0bf7448b077"},"schema_version":"1.0"},"canonical_sha256":"88a5787eb27280693e398962bf699756a4694e2dea9c1496c651ba21b07c0d85","source":{"kind":"arxiv","id":"2203.09634","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.09634","created_at":"2026-07-05T11:09:56Z"},{"alias_kind":"arxiv_version","alias_value":"2203.09634v3","created_at":"2026-07-05T11:09:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.09634","created_at":"2026-07-05T11:09:56Z"},{"alias_kind":"pith_short_12","alias_value":"RCSXQ7VSOKAG","created_at":"2026-07-05T11:09:56Z"},{"alias_kind":"pith_short_16","alias_value":"RCSXQ7VSOKAGSPRZ","created_at":"2026-07-05T11:09:56Z"},{"alias_kind":"pith_short_8","alias_value":"RCSXQ7VS","created_at":"2026-07-05T11:09:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:RCSXQ7VSOKAGSPRZRFRL62MXK2","target":"record","payload":{"canonical_record":{"source":{"id":"2203.09634","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-03-17T22:13:09Z","cross_cats_sorted":["cs.LG","cs.RO"],"title_canon_sha256":"e5466c6e2a38d26468a5381868976f0133026b0b61fb24a71399326d93004bef","abstract_canon_sha256":"210d547967d4a63841941f2e791927ea599a2b657e57abda34a7c0bf7448b077"},"schema_version":"1.0"},"canonical_sha256":"88a5787eb27280693e398962bf699756a4694e2dea9c1496c651ba21b07c0d85","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:09:56.268911Z","signature_b64":"Em78gIzvpr/UtfE2Csf1LTdykZ/FED+/PS0b9WNhkLJXrued/NPWXWh5mS7l7dIu6c33qg5eusamRfLsMwFwDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"88a5787eb27280693e398962bf699756a4694e2dea9c1496c651ba21b07c0d85","last_reissued_at":"2026-07-05T11:09:56.268414Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:09:56.268414Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2203.09634","source_version":3,"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:09:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D937RINvpWInDxL0iV3TdFRQreKnziFYPZ9cfySKgzmdTqztnntaG6brSyZNSe61U77Ws+MEsrTA7E6AnT4eDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T12:12:24.216604Z"},"content_sha256":"aad057d9f851f1b62a4b039e511289f381ad15a1a072bac708e06746015e232d","schema_version":"1.0","event_id":"sha256:aad057d9f851f1b62a4b039e511289f381ad15a1a072bac708e06746015e232d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:RCSXQ7VSOKAGSPRZRFRL62MXK2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Predicate Invention for Bilevel Planning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.RO"],"primary_cat":"cs.AI","authors_text":"Joshua Tenenbaum, Leslie Pack Kaelbling, Nishanth Kumar, Rohan Chitnis, Tomas Lozano-Perez, Tom Silver, Willie McClinton","submitted_at":"2022-03-17T22:13:09Z","abstract_excerpt":"Efficient planning in continuous state and action spaces is fundamentally hard, even when the transition model is deterministic and known. One way to alleviate this challenge is to perform bilevel planning with abstractions, where a high-level search for abstract plans is used to guide planning in the original transition space. Previous work has shown that when state abstractions in the form of symbolic predicates are hand-designed, operators and samplers for bilevel planning can be learned from demonstrations. In this work, we propose an algorithm for learning predicates from demonstrations, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.09634","kind":"arxiv","version":3},"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/2203.09634/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:09:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bpldHFaRACcjHwRINKUwsGL1lkTAP/37vq4RhjzmYo45bNtiqrMg0CBcG8ClJ5Pw4RlG8H+lcZzxH8jzYaDsAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T12:12:24.217134Z"},"content_sha256":"6cbed1df3dffb5ae6d7296b488eebad20bb285112f8295568183e3ea639efb4a","schema_version":"1.0","event_id":"sha256:6cbed1df3dffb5ae6d7296b488eebad20bb285112f8295568183e3ea639efb4a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RCSXQ7VSOKAGSPRZRFRL62MXK2/bundle.json","state_url":"https://pith.science/pith/RCSXQ7VSOKAGSPRZRFRL62MXK2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RCSXQ7VSOKAGSPRZRFRL62MXK2/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-08T12:12:24Z","links":{"resolver":"https://pith.science/pith/RCSXQ7VSOKAGSPRZRFRL62MXK2","bundle":"https://pith.science/pith/RCSXQ7VSOKAGSPRZRFRL62MXK2/bundle.json","state":"https://pith.science/pith/RCSXQ7VSOKAGSPRZRFRL62MXK2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RCSXQ7VSOKAGSPRZRFRL62MXK2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:RCSXQ7VSOKAGSPRZRFRL62MXK2","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":"210d547967d4a63841941f2e791927ea599a2b657e57abda34a7c0bf7448b077","cross_cats_sorted":["cs.LG","cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-03-17T22:13:09Z","title_canon_sha256":"e5466c6e2a38d26468a5381868976f0133026b0b61fb24a71399326d93004bef"},"schema_version":"1.0","source":{"id":"2203.09634","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.09634","created_at":"2026-07-05T11:09:56Z"},{"alias_kind":"arxiv_version","alias_value":"2203.09634v3","created_at":"2026-07-05T11:09:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.09634","created_at":"2026-07-05T11:09:56Z"},{"alias_kind":"pith_short_12","alias_value":"RCSXQ7VSOKAG","created_at":"2026-07-05T11:09:56Z"},{"alias_kind":"pith_short_16","alias_value":"RCSXQ7VSOKAGSPRZ","created_at":"2026-07-05T11:09:56Z"},{"alias_kind":"pith_short_8","alias_value":"RCSXQ7VS","created_at":"2026-07-05T11:09:56Z"}],"graph_snapshots":[{"event_id":"sha256:6cbed1df3dffb5ae6d7296b488eebad20bb285112f8295568183e3ea639efb4a","target":"graph","created_at":"2026-07-05T11:09:56Z","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/2203.09634/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Efficient planning in continuous state and action spaces is fundamentally hard, even when the transition model is deterministic and known. One way to alleviate this challenge is to perform bilevel planning with abstractions, where a high-level search for abstract plans is used to guide planning in the original transition space. Previous work has shown that when state abstractions in the form of symbolic predicates are hand-designed, operators and samplers for bilevel planning can be learned from demonstrations. In this work, we propose an algorithm for learning predicates from demonstrations, ","authors_text":"Joshua Tenenbaum, Leslie Pack Kaelbling, Nishanth Kumar, Rohan Chitnis, Tomas Lozano-Perez, Tom Silver, Willie McClinton","cross_cats":["cs.LG","cs.RO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-03-17T22:13:09Z","title":"Predicate Invention for Bilevel Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.09634","kind":"arxiv","version":3},"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:aad057d9f851f1b62a4b039e511289f381ad15a1a072bac708e06746015e232d","target":"record","created_at":"2026-07-05T11:09:56Z","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":"210d547967d4a63841941f2e791927ea599a2b657e57abda34a7c0bf7448b077","cross_cats_sorted":["cs.LG","cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-03-17T22:13:09Z","title_canon_sha256":"e5466c6e2a38d26468a5381868976f0133026b0b61fb24a71399326d93004bef"},"schema_version":"1.0","source":{"id":"2203.09634","kind":"arxiv","version":3}},"canonical_sha256":"88a5787eb27280693e398962bf699756a4694e2dea9c1496c651ba21b07c0d85","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"88a5787eb27280693e398962bf699756a4694e2dea9c1496c651ba21b07c0d85","first_computed_at":"2026-07-05T11:09:56.268414Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:09:56.268414Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Em78gIzvpr/UtfE2Csf1LTdykZ/FED+/PS0b9WNhkLJXrued/NPWXWh5mS7l7dIu6c33qg5eusamRfLsMwFwDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:09:56.268911Z","signed_message":"canonical_sha256_bytes"},"source_id":"2203.09634","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aad057d9f851f1b62a4b039e511289f381ad15a1a072bac708e06746015e232d","sha256:6cbed1df3dffb5ae6d7296b488eebad20bb285112f8295568183e3ea639efb4a"],"state_sha256":"3ad3af4e147ec7d6ecc452cb1f93c1e72cc68733cf6c5c66d03bac2270b66849"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zkQJSZRGTBcEd58Xyd40qIxVXoDE2YO0KMrNrit1HsHR07TKztuSaPUzb77b5mRBqGB5VU9fQqDWoHRlLqPdDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T12:12:24.443689Z","bundle_sha256":"1450b3e6b89a3007e8ee8b7f2f4dfb1f774e25ffc9a3874203f3565dad9e8dc0"}}