{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:PI4W7UVIGG2WJSJSUAECUA7XFM","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":"290172da9820d651b1fe37d545f1edfc135ad73767ebb29241e2194fbb909c4f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-11-22T22:25:11Z","title_canon_sha256":"07da76e6280d55e94ac8e5f7018a366a725a3d925c7cecbf7046b33533e657a4"},"schema_version":"1.0","source":{"id":"2511.18203","kind":"arxiv","version":7}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.18203","created_at":"2026-06-09T01:04:40Z"},{"alias_kind":"arxiv_version","alias_value":"2511.18203v7","created_at":"2026-06-09T01:04:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.18203","created_at":"2026-06-09T01:04:40Z"},{"alias_kind":"pith_short_12","alias_value":"PI4W7UVIGG2W","created_at":"2026-06-09T01:04:40Z"},{"alias_kind":"pith_short_16","alias_value":"PI4W7UVIGG2WJSJS","created_at":"2026-06-09T01:04:40Z"},{"alias_kind":"pith_short_8","alias_value":"PI4W7UVI","created_at":"2026-06-09T01:04:40Z"}],"graph_snapshots":[{"event_id":"sha256:4dc05b8bf1ce11f890acd93814fffcdca7fafe50175db1189ed15fc37fa5cca9","target":"graph","created_at":"2026-06-09T01:04:40Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We address both questions by presenting a formal theory of generative predicate invention for skill abstraction, resulting in symbolic operators that can be used for provably sound and complete planning."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The predicates generated by the foundation model satisfy the formal properties (e.g., completeness and soundness conditions) required by the theory, and these properties transfer from simulation or collected data to real-robot execution with black-box skills."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"SkillWrapper learns human-interpretable symbolic representations of robot skills from images via foundation models, yielding operators for provably sound and complete planning on long-horizon tasks."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"A formal theory of generative predicate invention produces symbolic operators for provably sound and complete robot task planning from RGB images."}],"snapshot_sha256":"fab309c5c094b3b32384c9e3ef5ee4595e3bb63a3dcbc11be117f2c9f4f67f70"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2511.18203/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Generalizing from individual skill executions to long-horizon tasks is a core challenge in building autonomous robots. A promising direction is learning high-level, symbolic representations of low-level robot skills, enabling abstract reasoning independent of the low-level state space. Recent advances in foundation models have made it possible to generate symbolic predicates that operate on raw sensory inputs-a process we call generative predicate invention-to facilitate downstream representation learning. However, prior work learns these abstractions using heuristic or ad-hoc procedures, igno","authors_text":"Ahmed Jaafar, Benned Hedegaard, David Paulius, George Konidaris, Haotian Fu, Naman Shah, Shreyas S. Raman, Skye Thompson, Stefanie Tellex, Yichen Wei, Ziyi Yang","cross_cats":[],"headline":"A formal theory of generative predicate invention produces symbolic operators for provably sound and complete robot task planning from RGB images.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-11-22T22:25:11Z","title":"SkillWrapper: Generative Predicate Invention for Task-level Robot Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.18203","kind":"arxiv","version":7},"verdict":{"created_at":"2026-05-17T05:39:17.859665Z","id":"a69b6e03-4cfd-444c-af80-b82b2ce4d9f2","model_set":{"reader":"grok-4.3"},"one_line_summary":"SkillWrapper learns human-interpretable symbolic representations of robot skills from images via foundation models, yielding operators for provably sound and complete planning on long-horizon tasks.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"A formal theory of generative predicate invention produces symbolic operators for provably sound and complete robot task planning from RGB images.","strongest_claim":"We address both questions by presenting a formal theory of generative predicate invention for skill abstraction, resulting in symbolic operators that can be used for provably sound and complete planning.","weakest_assumption":"The predicates generated by the foundation model satisfy the formal properties (e.g., completeness and soundness conditions) required by the theory, and these properties transfer from simulation or collected data to real-robot execution with black-box skills."}},"verdict_id":"a69b6e03-4cfd-444c-af80-b82b2ce4d9f2"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:bc70bc0d7c413c595c3904573af67664e45ca6aa7d9127d8170790803c2d3ce1","target":"record","created_at":"2026-06-09T01:04:40Z","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":"290172da9820d651b1fe37d545f1edfc135ad73767ebb29241e2194fbb909c4f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-11-22T22:25:11Z","title_canon_sha256":"07da76e6280d55e94ac8e5f7018a366a725a3d925c7cecbf7046b33533e657a4"},"schema_version":"1.0","source":{"id":"2511.18203","kind":"arxiv","version":7}},"canonical_sha256":"7a396fd2a831b564c932a0082a03f72b1e615b91fc13b5ba1442ca54d4c8808c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7a396fd2a831b564c932a0082a03f72b1e615b91fc13b5ba1442ca54d4c8808c","first_computed_at":"2026-06-09T01:04:40.105954Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-09T01:04:40.105954Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7oOHqK9hmE1o0uPru4ejISkNOdqVbBUpwTIOA/3S7TdWNc5d1AL4YqSmDbsaNZuIWODXjDdLcSNcTLWsqMCmBA==","signature_status":"signed_v1","signed_at":"2026-06-09T01:04:40.106391Z","signed_message":"canonical_sha256_bytes"},"source_id":"2511.18203","source_kind":"arxiv","source_version":7}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bc70bc0d7c413c595c3904573af67664e45ca6aa7d9127d8170790803c2d3ce1","sha256:4dc05b8bf1ce11f890acd93814fffcdca7fafe50175db1189ed15fc37fa5cca9"],"state_sha256":"243c7e3f3b0d2f3499b0957cbdd7adac1bfd24fb5a31f5b6210527e4af49d77e"}