{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:NAQRBUPQHAQOCGJMEQPENB64AO","short_pith_number":"pith:NAQRBUPQ","canonical_record":{"source":{"id":"2409.19250","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-09-28T05:48:51Z","cross_cats_sorted":[],"title_canon_sha256":"393f822cd10f3c03975bb7cafe469be586bab801b16cb3c1c2f5be10fc8da1b8","abstract_canon_sha256":"81f6a8f2f8eb2ad4107c9f22bad2f83ac31638024e6ddba59250db240f248d75"},"schema_version":"1.0"},"canonical_sha256":"682110d1f03820e1192c241e4687dc0390f10901c4c6a50fd4e4971296977d4b","source":{"kind":"arxiv","id":"2409.19250","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.19250","created_at":"2026-07-05T10:41:48Z"},{"alias_kind":"arxiv_version","alias_value":"2409.19250v2","created_at":"2026-07-05T10:41:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.19250","created_at":"2026-07-05T10:41:48Z"},{"alias_kind":"pith_short_12","alias_value":"NAQRBUPQHAQO","created_at":"2026-07-05T10:41:48Z"},{"alias_kind":"pith_short_16","alias_value":"NAQRBUPQHAQOCGJM","created_at":"2026-07-05T10:41:48Z"},{"alias_kind":"pith_short_8","alias_value":"NAQRBUPQ","created_at":"2026-07-05T10:41:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:NAQRBUPQHAQOCGJMEQPENB64AO","target":"record","payload":{"canonical_record":{"source":{"id":"2409.19250","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-09-28T05:48:51Z","cross_cats_sorted":[],"title_canon_sha256":"393f822cd10f3c03975bb7cafe469be586bab801b16cb3c1c2f5be10fc8da1b8","abstract_canon_sha256":"81f6a8f2f8eb2ad4107c9f22bad2f83ac31638024e6ddba59250db240f248d75"},"schema_version":"1.0"},"canonical_sha256":"682110d1f03820e1192c241e4687dc0390f10901c4c6a50fd4e4971296977d4b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:41:48.841953Z","signature_b64":"nfeuk0TMMFJGGqZgSqQM+vSTCcunDqgybj27EOdlQDRSCsSg8CvekggLwfn4KngPBbCefecBjDQNo4rNj89WCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"682110d1f03820e1192c241e4687dc0390f10901c4c6a50fd4e4971296977d4b","last_reissued_at":"2026-07-05T10:41:48.841332Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:41:48.841332Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.19250","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:41:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TD5HIE5j/9MKq6xJFdfSfodDQyQFjIzXJuCD2UrmHL7dPw3xSXG2KQvnyBWkv4IcqCSxD9e4LfP0600LgVMyDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T13:59:14.981267Z"},"content_sha256":"da8885c8578055b7ba6f6815ce35f30379b1cea2a8c0be324d1fe03f087f0fb3","schema_version":"1.0","event_id":"sha256:da8885c8578055b7ba6f6815ce35f30379b1cea2a8c0be324d1fe03f087f0fb3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:NAQRBUPQHAQOCGJMEQPENB64AO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fast and Accurate Task Planning using Neuro-Symbolic Language Models and Multi-level Goal Decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Minseo Kwon, Yaesol Kim, Young J. Kim","submitted_at":"2024-09-28T05:48:51Z","abstract_excerpt":"In robotic task planning, symbolic planners using rule-based representations like PDDL are effective but struggle with long-sequential tasks in complicated environments due to exponentially increasing search space. Meanwhile, LLM-based approaches, which are grounded in artificial neural networks, offer faster inference and commonsense reasoning but suffer from lower success rates. To address the limitations of the current symbolic (slow speed) or LLM-based approaches (low accuracy), we propose a novel neuro-symbolic task planner that decomposes complex tasks into subgoals using LLM and carries"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.19250","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/2409.19250/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:41:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+mlXKJ7xGjqNOFwrL/vzJqMLFoaf9j/Cy//8/2jO+zR/+psuZwxNgAgKMEID5GufyPgmJ17Nc+JWWbfo7G0HCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T13:59:14.981773Z"},"content_sha256":"a85a17ae19339f1efadbd50b6824370f5ddb6aa644e1a27cace0cc2cdf55be1a","schema_version":"1.0","event_id":"sha256:a85a17ae19339f1efadbd50b6824370f5ddb6aa644e1a27cace0cc2cdf55be1a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NAQRBUPQHAQOCGJMEQPENB64AO/bundle.json","state_url":"https://pith.science/pith/NAQRBUPQHAQOCGJMEQPENB64AO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NAQRBUPQHAQOCGJMEQPENB64AO/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-08T13:59:14Z","links":{"resolver":"https://pith.science/pith/NAQRBUPQHAQOCGJMEQPENB64AO","bundle":"https://pith.science/pith/NAQRBUPQHAQOCGJMEQPENB64AO/bundle.json","state":"https://pith.science/pith/NAQRBUPQHAQOCGJMEQPENB64AO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NAQRBUPQHAQOCGJMEQPENB64AO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:NAQRBUPQHAQOCGJMEQPENB64AO","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":"81f6a8f2f8eb2ad4107c9f22bad2f83ac31638024e6ddba59250db240f248d75","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-09-28T05:48:51Z","title_canon_sha256":"393f822cd10f3c03975bb7cafe469be586bab801b16cb3c1c2f5be10fc8da1b8"},"schema_version":"1.0","source":{"id":"2409.19250","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.19250","created_at":"2026-07-05T10:41:48Z"},{"alias_kind":"arxiv_version","alias_value":"2409.19250v2","created_at":"2026-07-05T10:41:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.19250","created_at":"2026-07-05T10:41:48Z"},{"alias_kind":"pith_short_12","alias_value":"NAQRBUPQHAQO","created_at":"2026-07-05T10:41:48Z"},{"alias_kind":"pith_short_16","alias_value":"NAQRBUPQHAQOCGJM","created_at":"2026-07-05T10:41:48Z"},{"alias_kind":"pith_short_8","alias_value":"NAQRBUPQ","created_at":"2026-07-05T10:41:48Z"}],"graph_snapshots":[{"event_id":"sha256:a85a17ae19339f1efadbd50b6824370f5ddb6aa644e1a27cace0cc2cdf55be1a","target":"graph","created_at":"2026-07-05T10:41:48Z","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/2409.19250/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In robotic task planning, symbolic planners using rule-based representations like PDDL are effective but struggle with long-sequential tasks in complicated environments due to exponentially increasing search space. Meanwhile, LLM-based approaches, which are grounded in artificial neural networks, offer faster inference and commonsense reasoning but suffer from lower success rates. To address the limitations of the current symbolic (slow speed) or LLM-based approaches (low accuracy), we propose a novel neuro-symbolic task planner that decomposes complex tasks into subgoals using LLM and carries","authors_text":"Minseo Kwon, Yaesol Kim, Young J. Kim","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-09-28T05:48:51Z","title":"Fast and Accurate Task Planning using Neuro-Symbolic Language Models and Multi-level Goal Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.19250","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:da8885c8578055b7ba6f6815ce35f30379b1cea2a8c0be324d1fe03f087f0fb3","target":"record","created_at":"2026-07-05T10:41:48Z","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":"81f6a8f2f8eb2ad4107c9f22bad2f83ac31638024e6ddba59250db240f248d75","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-09-28T05:48:51Z","title_canon_sha256":"393f822cd10f3c03975bb7cafe469be586bab801b16cb3c1c2f5be10fc8da1b8"},"schema_version":"1.0","source":{"id":"2409.19250","kind":"arxiv","version":2}},"canonical_sha256":"682110d1f03820e1192c241e4687dc0390f10901c4c6a50fd4e4971296977d4b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"682110d1f03820e1192c241e4687dc0390f10901c4c6a50fd4e4971296977d4b","first_computed_at":"2026-07-05T10:41:48.841332Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:41:48.841332Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nfeuk0TMMFJGGqZgSqQM+vSTCcunDqgybj27EOdlQDRSCsSg8CvekggLwfn4KngPBbCefecBjDQNo4rNj89WCg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:41:48.841953Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.19250","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:da8885c8578055b7ba6f6815ce35f30379b1cea2a8c0be324d1fe03f087f0fb3","sha256:a85a17ae19339f1efadbd50b6824370f5ddb6aa644e1a27cace0cc2cdf55be1a"],"state_sha256":"c74f10e2c3d32c65e7c8683925bc9d49622e4d4d861e8cc40d224f066cc76057"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pLO9chhbcj8d+X1jsZeK45TtTplwlxoHMEfJL7UAULm/hGVAOoNizL3u0/7cca/6U77m62VJsWJ3yvTQ01SzAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T13:59:14.985588Z","bundle_sha256":"3b4d9a7102cfed40aa7b63435f717f8166d266263c0d86de978b96df421fc5bf"}}