{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:TP4LRL7CAPL3ZIXLDRY4YYZVEZ","short_pith_number":"pith:TP4LRL7C","canonical_record":{"source":{"id":"2410.23156","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-10-30T16:11:05Z","cross_cats_sorted":["cs.CV","cs.LG","cs.RO"],"title_canon_sha256":"6123cfa5df1a92cf68714f88de3c1399b7b5c39c36f1f7d59158277d438e4b0e","abstract_canon_sha256":"a9bafda631f8d4dbb8e1154809f30f9cf70f4a1d52b059001659cd4caa651c5b"},"schema_version":"1.0"},"canonical_sha256":"9bf8b8afe203d7bca2eb1c71cc633526718a7bfe3f153b1090d9e11a5bd37eed","source":{"kind":"arxiv","id":"2410.23156","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.23156","created_at":"2026-07-05T10:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"2410.23156v2","created_at":"2026-07-05T10:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.23156","created_at":"2026-07-05T10:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"TP4LRL7CAPL3","created_at":"2026-07-05T10:22:08Z"},{"alias_kind":"pith_short_16","alias_value":"TP4LRL7CAPL3ZIXL","created_at":"2026-07-05T10:22:08Z"},{"alias_kind":"pith_short_8","alias_value":"TP4LRL7C","created_at":"2026-07-05T10:22:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:TP4LRL7CAPL3ZIXLDRY4YYZVEZ","target":"record","payload":{"canonical_record":{"source":{"id":"2410.23156","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-10-30T16:11:05Z","cross_cats_sorted":["cs.CV","cs.LG","cs.RO"],"title_canon_sha256":"6123cfa5df1a92cf68714f88de3c1399b7b5c39c36f1f7d59158277d438e4b0e","abstract_canon_sha256":"a9bafda631f8d4dbb8e1154809f30f9cf70f4a1d52b059001659cd4caa651c5b"},"schema_version":"1.0"},"canonical_sha256":"9bf8b8afe203d7bca2eb1c71cc633526718a7bfe3f153b1090d9e11a5bd37eed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:22:08.945253Z","signature_b64":"CS4LAtA5+9TuLoIYWe7cDpXta14ZmGx6Y1NHwj8odK+vMnNvi98zrB28AIZcygGvKY3hW4pXfdv6fzQ0/fpCCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9bf8b8afe203d7bca2eb1c71cc633526718a7bfe3f153b1090d9e11a5bd37eed","last_reissued_at":"2026-07-05T10:22:08.944705Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:22:08.944705Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.23156","source_version":2,"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-05T10:22:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"en2QJLtd98KfxRKE80V88+COIb7ZctW8h7dvg8AWsqASzknbCA/KBeqN+1p35aY8z141ntWqSGkxKFPZ/fD6Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-02T15:06:46.581089Z"},"content_sha256":"ae56da111de3817dffe9d50530710674815bf1809d23bc16f3b8297d607352ca","schema_version":"1.0","event_id":"sha256:ae56da111de3817dffe9d50530710674815bf1809d23bc16f3b8297d607352ca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:TP4LRL7CAPL3ZIXLDRY4YYZVEZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planning","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.CV","cs.LG","cs.RO"],"primary_cat":"cs.AI","authors_text":"Adrian Weller, Hao Tang, Jo\\~ao F. Henriques, Joshua B. Tenenbaum, Kevin Ellis, Nishanth Kumar, Tom Silver, Yichao Liang","submitted_at":"2024-10-30T16:11:05Z","abstract_excerpt":"Broadly intelligent agents should form task-specific abstractions that selectively expose the essential elements of a task, while abstracting away the complexity of the raw sensorimotor space. In this work, we present Neuro-Symbolic Predicates, a first-order abstraction language that combines the strengths of symbolic and neural knowledge representations. We outline an online algorithm for inventing such predicates and learning abstract world models. We compare our approach to hierarchical reinforcement learning, vision-language model planning, and symbolic predicate invention approaches, on b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.23156","kind":"arxiv","version":2},"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/2410.23156/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-05T10:22:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pjwfX/twCgg0PvDvffgkQGk7D/CgbPuVACaGuBvPr+pVm+o9WnIo9rD5eM8MYivd2jrtW+Pu9s6mjcer/xC2Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-02T15:06:46.581573Z"},"content_sha256":"476c28ad3fb2fdadaa186ea620965cee39fb6cc8d237ba27a876c01aaf03ad46","schema_version":"1.0","event_id":"sha256:476c28ad3fb2fdadaa186ea620965cee39fb6cc8d237ba27a876c01aaf03ad46"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TP4LRL7CAPL3ZIXLDRY4YYZVEZ/bundle.json","state_url":"https://pith.science/pith/TP4LRL7CAPL3ZIXLDRY4YYZVEZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TP4LRL7CAPL3ZIXLDRY4YYZVEZ/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-02T15:06:46Z","links":{"resolver":"https://pith.science/pith/TP4LRL7CAPL3ZIXLDRY4YYZVEZ","bundle":"https://pith.science/pith/TP4LRL7CAPL3ZIXLDRY4YYZVEZ/bundle.json","state":"https://pith.science/pith/TP4LRL7CAPL3ZIXLDRY4YYZVEZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TP4LRL7CAPL3ZIXLDRY4YYZVEZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:TP4LRL7CAPL3ZIXLDRY4YYZVEZ","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":"a9bafda631f8d4dbb8e1154809f30f9cf70f4a1d52b059001659cd4caa651c5b","cross_cats_sorted":["cs.CV","cs.LG","cs.RO"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-10-30T16:11:05Z","title_canon_sha256":"6123cfa5df1a92cf68714f88de3c1399b7b5c39c36f1f7d59158277d438e4b0e"},"schema_version":"1.0","source":{"id":"2410.23156","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.23156","created_at":"2026-07-05T10:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"2410.23156v2","created_at":"2026-07-05T10:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.23156","created_at":"2026-07-05T10:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"TP4LRL7CAPL3","created_at":"2026-07-05T10:22:08Z"},{"alias_kind":"pith_short_16","alias_value":"TP4LRL7CAPL3ZIXL","created_at":"2026-07-05T10:22:08Z"},{"alias_kind":"pith_short_8","alias_value":"TP4LRL7C","created_at":"2026-07-05T10:22:08Z"}],"graph_snapshots":[{"event_id":"sha256:476c28ad3fb2fdadaa186ea620965cee39fb6cc8d237ba27a876c01aaf03ad46","target":"graph","created_at":"2026-07-05T10:22:08Z","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/2410.23156/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Broadly intelligent agents should form task-specific abstractions that selectively expose the essential elements of a task, while abstracting away the complexity of the raw sensorimotor space. In this work, we present Neuro-Symbolic Predicates, a first-order abstraction language that combines the strengths of symbolic and neural knowledge representations. We outline an online algorithm for inventing such predicates and learning abstract world models. We compare our approach to hierarchical reinforcement learning, vision-language model planning, and symbolic predicate invention approaches, on b","authors_text":"Adrian Weller, Hao Tang, Jo\\~ao F. Henriques, Joshua B. Tenenbaum, Kevin Ellis, Nishanth Kumar, Tom Silver, Yichao Liang","cross_cats":["cs.CV","cs.LG","cs.RO"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-10-30T16:11:05Z","title":"VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.23156","kind":"arxiv","version":2},"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:ae56da111de3817dffe9d50530710674815bf1809d23bc16f3b8297d607352ca","target":"record","created_at":"2026-07-05T10:22:08Z","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":"a9bafda631f8d4dbb8e1154809f30f9cf70f4a1d52b059001659cd4caa651c5b","cross_cats_sorted":["cs.CV","cs.LG","cs.RO"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-10-30T16:11:05Z","title_canon_sha256":"6123cfa5df1a92cf68714f88de3c1399b7b5c39c36f1f7d59158277d438e4b0e"},"schema_version":"1.0","source":{"id":"2410.23156","kind":"arxiv","version":2}},"canonical_sha256":"9bf8b8afe203d7bca2eb1c71cc633526718a7bfe3f153b1090d9e11a5bd37eed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9bf8b8afe203d7bca2eb1c71cc633526718a7bfe3f153b1090d9e11a5bd37eed","first_computed_at":"2026-07-05T10:22:08.944705Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:22:08.944705Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CS4LAtA5+9TuLoIYWe7cDpXta14ZmGx6Y1NHwj8odK+vMnNvi98zrB28AIZcygGvKY3hW4pXfdv6fzQ0/fpCCA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:22:08.945253Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.23156","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ae56da111de3817dffe9d50530710674815bf1809d23bc16f3b8297d607352ca","sha256:476c28ad3fb2fdadaa186ea620965cee39fb6cc8d237ba27a876c01aaf03ad46"],"state_sha256":"cfa531c1488207418c650936de03371db5a79bb53b402490946895d0ff7e6d20"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZQAvwRgf/FPYSmViHM0mHizzO+BdRKpocdkCvnkrXy6eX8ulheGmuTnZPIw+h9AD2someg+oMxhUcgSKpCTNDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-02T15:06:46.585034Z","bundle_sha256":"699f0c3cec21a183dd652a3f27a80b1a13e0830213e534205fc8595d3252365f"}}