{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:NOVQD3DOZUTLHLKZ53TJ37SQAZ","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":"79055662a905fb2c61b24277ee61df5755acda2591e3d359068ffde1a95dd900","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-05-07T07:27:28Z","title_canon_sha256":"cc986e044722a0aff612b1cc3878e854e85cae4357913087a23ec30792d0de5c"},"schema_version":"1.0","source":{"id":"2405.04082","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.04082","created_at":"2026-07-05T08:44:54Z"},{"alias_kind":"arxiv_version","alias_value":"2405.04082v3","created_at":"2026-07-05T08:44:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.04082","created_at":"2026-07-05T08:44:54Z"},{"alias_kind":"pith_short_12","alias_value":"NOVQD3DOZUTL","created_at":"2026-07-05T08:44:54Z"},{"alias_kind":"pith_short_16","alias_value":"NOVQD3DOZUTLHLKZ","created_at":"2026-07-05T08:44:54Z"},{"alias_kind":"pith_short_8","alias_value":"NOVQD3DO","created_at":"2026-07-05T08:44:54Z"}],"graph_snapshots":[{"event_id":"sha256:b6365e26f3b782dd311b8a5a1c1ad1e3a1e506029c9f9535b5f709639c199100","target":"graph","created_at":"2026-07-05T08:44:54Z","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/2405.04082/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent advances in robot skill learning have unlocked the potential to construct task-agnostic skill libraries, facilitating the seamless sequencing of multiple simple manipulation primitives (aka. skills) to tackle significantly more complex tasks. Nevertheless, determining the optimal sequence for independently learned skills remains an open problem, particularly when the objective is given solely in terms of the final geometric configuration rather than a symbolic goal. To address this challenge, we propose Logic-Skill Programming (LSP), an optimization-based approach that sequences indepen","authors_text":"Amirreza Razmjoo, Suhan Shetty, Sylvain Calinon, Teng Xue","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-05-07T07:27:28Z","title":"Logic-Skill Programming: An Optimization-based Approach to Sequential Skill Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.04082","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:228efd2bb143c6d66d52781e1f639c92004a7960f59c8c715d7e5d41046d330c","target":"record","created_at":"2026-07-05T08:44:54Z","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":"79055662a905fb2c61b24277ee61df5755acda2591e3d359068ffde1a95dd900","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-05-07T07:27:28Z","title_canon_sha256":"cc986e044722a0aff612b1cc3878e854e85cae4357913087a23ec30792d0de5c"},"schema_version":"1.0","source":{"id":"2405.04082","kind":"arxiv","version":3}},"canonical_sha256":"6bab01ec6ecd26b3ad59eee69dfe50065feb4a027fc30910eafbb8f2f7dca69c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6bab01ec6ecd26b3ad59eee69dfe50065feb4a027fc30910eafbb8f2f7dca69c","first_computed_at":"2026-07-05T08:44:54.326889Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:44:54.326889Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3nC/NzA/w0/70i/7BlX7FLz8oD9QqNP72DRXRTzt8NC01IAFzeV1ZE1IRndsz8A7eNywwQ1cUGVkFZlr9VfpAA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:44:54.327449Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.04082","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:228efd2bb143c6d66d52781e1f639c92004a7960f59c8c715d7e5d41046d330c","sha256:b6365e26f3b782dd311b8a5a1c1ad1e3a1e506029c9f9535b5f709639c199100"],"state_sha256":"56165832f9331924f55233f66d64f2cf1cea63be4ade56af66c6a14309e0842d"}