{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:ZPZ3UUUF5K6JSBLLSNRNZ4K2XP","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":"6618bc5f304e9b9877f92b50be089d5e1a3053eafe45ac5810a5a0625e2446ce","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-08-08T04:49:24Z","title_canon_sha256":"a7854c6e435ffa27a97e8245134e17245a7355a5fb189b3d2e3eefa15e96108a"},"schema_version":"1.0","source":{"id":"2408.04215","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.04215","created_at":"2026-07-05T09:49:44Z"},{"alias_kind":"arxiv_version","alias_value":"2408.04215v2","created_at":"2026-07-05T09:49:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.04215","created_at":"2026-07-05T09:49:44Z"},{"alias_kind":"pith_short_12","alias_value":"ZPZ3UUUF5K6J","created_at":"2026-07-05T09:49:44Z"},{"alias_kind":"pith_short_16","alias_value":"ZPZ3UUUF5K6JSBLL","created_at":"2026-07-05T09:49:44Z"},{"alias_kind":"pith_short_8","alias_value":"ZPZ3UUUF","created_at":"2026-07-05T09:49:44Z"}],"graph_snapshots":[{"event_id":"sha256:43b922edbc7b318a146137a20ea37ad24fc840ab84c47f9d42624f773432540b","target":"graph","created_at":"2026-07-05T09:49:44Z","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/2408.04215/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This work develops a zero-shot mechanism, Comp-LTL, for an agent to satisfy a Linear Temporal Logic (LTL) specification given existing task primitives trained via reinforcement learning (RL). Autonomous robots often need to satisfy spatial and temporal goals that are unknown until run time. Prior work focuses on learning policies for executing a task specified using LTL, but they incorporate the specification into the learning process. Any change to the specification requires retraining the policy, either via fine-tuning or from scratch. We present a more flexible approach -- to learn a set of","authors_text":"Kevin Leahy, Taylor Bergeron, Zachary Serlin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-08-08T04:49:24Z","title":"Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.04215","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:526d8ba1fb78122ae327a1656e07d9bc4525f9be1870551a68bfb529714a567d","target":"record","created_at":"2026-07-05T09:49:44Z","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":"6618bc5f304e9b9877f92b50be089d5e1a3053eafe45ac5810a5a0625e2446ce","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-08-08T04:49:24Z","title_canon_sha256":"a7854c6e435ffa27a97e8245134e17245a7355a5fb189b3d2e3eefa15e96108a"},"schema_version":"1.0","source":{"id":"2408.04215","kind":"arxiv","version":2}},"canonical_sha256":"cbf3ba5285eabc99056b9362dcf15abbd38b16c4800989a18a14a50254238819","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cbf3ba5285eabc99056b9362dcf15abbd38b16c4800989a18a14a50254238819","first_computed_at":"2026-07-05T09:49:44.300902Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:49:44.300902Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"k7nQoJzlKuuskhGAzxWPalrhpv5XoKd6+Om/j01kAzCZbklnfU46bCefW5bHLK3OZD9CU63rIgw6+NHmfmREAA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:49:44.301536Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.04215","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:526d8ba1fb78122ae327a1656e07d9bc4525f9be1870551a68bfb529714a567d","sha256:43b922edbc7b318a146137a20ea37ad24fc840ab84c47f9d42624f773432540b"],"state_sha256":"91238e0ddc4a21286cead9cd833d714090225b33764a065093c987541971d2d9"}