{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:NAQRBUPQHAQOCGJMEQPENB64AO","short_pith_number":"pith:NAQRBUPQ","schema_version":"1.0","canonical_sha256":"682110d1f03820e1192c241e4687dc0390f10901c4c6a50fd4e4971296977d4b","source":{"kind":"arxiv","id":"2409.19250","version":2},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2409.19250","created_at":"2026-07-05T10:41:48.841403+00:00"},{"alias_kind":"arxiv_version","alias_value":"2409.19250v2","created_at":"2026-07-05T10:41:48.841403+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.19250","created_at":"2026-07-05T10:41:48.841403+00:00"},{"alias_kind":"pith_short_12","alias_value":"NAQRBUPQHAQO","created_at":"2026-07-05T10:41:48.841403+00:00"},{"alias_kind":"pith_short_16","alias_value":"NAQRBUPQHAQOCGJM","created_at":"2026-07-05T10:41:48.841403+00:00"},{"alias_kind":"pith_short_8","alias_value":"NAQRBUPQ","created_at":"2026-07-05T10:41:48.841403+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.13405","citing_title":"Neuro-Symbolic Agents for Regulated Process Automation: Challenges and Research Agenda","ref_index":6,"is_internal_anchor":false},{"citing_arxiv_id":"2506.04500","citing_title":"\"Don't Do That!\": Guiding Embodied Systems through Large Language Model-based Constraint Generation","ref_index":23,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NAQRBUPQHAQOCGJMEQPENB64AO","json":"https://pith.science/pith/NAQRBUPQHAQOCGJMEQPENB64AO.json","graph_json":"https://pith.science/api/pith-number/NAQRBUPQHAQOCGJMEQPENB64AO/graph.json","events_json":"https://pith.science/api/pith-number/NAQRBUPQHAQOCGJMEQPENB64AO/events.json","paper":"https://pith.science/paper/NAQRBUPQ"},"agent_actions":{"view_html":"https://pith.science/pith/NAQRBUPQHAQOCGJMEQPENB64AO","download_json":"https://pith.science/pith/NAQRBUPQHAQOCGJMEQPENB64AO.json","view_paper":"https://pith.science/paper/NAQRBUPQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2409.19250&json=true","fetch_graph":"https://pith.science/api/pith-number/NAQRBUPQHAQOCGJMEQPENB64AO/graph.json","fetch_events":"https://pith.science/api/pith-number/NAQRBUPQHAQOCGJMEQPENB64AO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NAQRBUPQHAQOCGJMEQPENB64AO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NAQRBUPQHAQOCGJMEQPENB64AO/action/storage_attestation","attest_author":"https://pith.science/pith/NAQRBUPQHAQOCGJMEQPENB64AO/action/author_attestation","sign_citation":"https://pith.science/pith/NAQRBUPQHAQOCGJMEQPENB64AO/action/citation_signature","submit_replication":"https://pith.science/pith/NAQRBUPQHAQOCGJMEQPENB64AO/action/replication_record"}},"created_at":"2026-07-05T10:41:48.841403+00:00","updated_at":"2026-07-05T10:41:48.841403+00:00"}