{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GJWWOJDW2TFCARQN3MGDCQI3FT","short_pith_number":"pith:GJWWOJDW","canonical_record":{"source":{"id":"2503.01700","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.RO","submitted_at":"2025-03-03T16:13:41Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"9d1d72f838c883ea31f633e8fbe7eeff3bf8e2970a8c98c287b3a7c2e36debf8","abstract_canon_sha256":"8716357cc471dd7c7ba0b9d7cb2a743b5b7c6c6453281215e9a03f5fe627d55f"},"schema_version":"1.0"},"canonical_sha256":"326d672476d4ca20460ddb0c31411b2ccedf77f2a4fa2f15d608b8f88abfdfc5","source":{"kind":"arxiv","id":"2503.01700","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.01700","created_at":"2026-07-05T11:50:33Z"},{"alias_kind":"arxiv_version","alias_value":"2503.01700v2","created_at":"2026-07-05T11:50:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.01700","created_at":"2026-07-05T11:50:33Z"},{"alias_kind":"pith_short_12","alias_value":"GJWWOJDW2TFC","created_at":"2026-07-05T11:50:33Z"},{"alias_kind":"pith_short_16","alias_value":"GJWWOJDW2TFCARQN","created_at":"2026-07-05T11:50:33Z"},{"alias_kind":"pith_short_8","alias_value":"GJWWOJDW","created_at":"2026-07-05T11:50:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GJWWOJDW2TFCARQN3MGDCQI3FT","target":"record","payload":{"canonical_record":{"source":{"id":"2503.01700","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.RO","submitted_at":"2025-03-03T16:13:41Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"9d1d72f838c883ea31f633e8fbe7eeff3bf8e2970a8c98c287b3a7c2e36debf8","abstract_canon_sha256":"8716357cc471dd7c7ba0b9d7cb2a743b5b7c6c6453281215e9a03f5fe627d55f"},"schema_version":"1.0"},"canonical_sha256":"326d672476d4ca20460ddb0c31411b2ccedf77f2a4fa2f15d608b8f88abfdfc5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:50:33.690969Z","signature_b64":"FyPUw8cx3qclUPfmBBY9/EotUXHmUCSNg6Td8wx0xVLk2RUZhA+XLG/5yBDqgKuG+FWzbpb5BUbikmUEHPAwCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"326d672476d4ca20460ddb0c31411b2ccedf77f2a4fa2f15d608b8f88abfdfc5","last_reissued_at":"2026-07-05T11:50:33.690292Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:50:33.690292Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.01700","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-05T11:50:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cQqHIG3SBNAWYMS65HO0mUfnGUBeWMlgl7hWoN3COXMJQtasuonMBqQyGwmnuVekcbEjMQp4+diWnFpIX6snCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T11:23:31.547410Z"},"content_sha256":"a2e57655ec836462fa10c4835cfedc7d2bfef1b41538f0d22d0cd0400b748d39","schema_version":"1.0","event_id":"sha256:a2e57655ec836462fa10c4835cfedc7d2bfef1b41538f0d22d0cd0400b748d39"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GJWWOJDW2TFCARQN3MGDCQI3FT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.RO","authors_text":"Chuchu Fan, Yang Zhang, Yilun Hao, Yongchao Chen","submitted_at":"2025-03-03T16:13:41Z","abstract_excerpt":"Recent works have shown great potentials of Large Language Models (LLMs) in robot task and motion planning (TAMP). Current LLM approaches generate text- or code-based reasoning chains with sub-goals and action plans. However, they do not fully leverage LLMs' symbolic computing and code generation capabilities. Many robot TAMP tasks involve complex optimization under multiple constraints, where pure textual reasoning is insufficient. While augmenting LLMs with predefined solvers and planners improves performance, it lacks generalization across tasks. Given LLMs' growing coding proficiency, we e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.01700","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/2503.01700/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-05T11:50:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qhz5GcYyWbQlpudWG46v9KE75Nqr7oFSd9BCqQe2FEPv9JbenU9oBi1WcTli1b3FKTYm0lrcj3OTeMxv8seMBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T11:23:31.547938Z"},"content_sha256":"f27a99cffede28d6bc879e3ca9a91f50e1142d4049fe1a0b0c65337d885c6d1f","schema_version":"1.0","event_id":"sha256:f27a99cffede28d6bc879e3ca9a91f50e1142d4049fe1a0b0c65337d885c6d1f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GJWWOJDW2TFCARQN3MGDCQI3FT/bundle.json","state_url":"https://pith.science/pith/GJWWOJDW2TFCARQN3MGDCQI3FT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GJWWOJDW2TFCARQN3MGDCQI3FT/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-04T11:23:31Z","links":{"resolver":"https://pith.science/pith/GJWWOJDW2TFCARQN3MGDCQI3FT","bundle":"https://pith.science/pith/GJWWOJDW2TFCARQN3MGDCQI3FT/bundle.json","state":"https://pith.science/pith/GJWWOJDW2TFCARQN3MGDCQI3FT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GJWWOJDW2TFCARQN3MGDCQI3FT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GJWWOJDW2TFCARQN3MGDCQI3FT","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":"8716357cc471dd7c7ba0b9d7cb2a743b5b7c6c6453281215e9a03f5fe627d55f","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.RO","submitted_at":"2025-03-03T16:13:41Z","title_canon_sha256":"9d1d72f838c883ea31f633e8fbe7eeff3bf8e2970a8c98c287b3a7c2e36debf8"},"schema_version":"1.0","source":{"id":"2503.01700","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.01700","created_at":"2026-07-05T11:50:33Z"},{"alias_kind":"arxiv_version","alias_value":"2503.01700v2","created_at":"2026-07-05T11:50:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.01700","created_at":"2026-07-05T11:50:33Z"},{"alias_kind":"pith_short_12","alias_value":"GJWWOJDW2TFC","created_at":"2026-07-05T11:50:33Z"},{"alias_kind":"pith_short_16","alias_value":"GJWWOJDW2TFCARQN","created_at":"2026-07-05T11:50:33Z"},{"alias_kind":"pith_short_8","alias_value":"GJWWOJDW","created_at":"2026-07-05T11:50:33Z"}],"graph_snapshots":[{"event_id":"sha256:f27a99cffede28d6bc879e3ca9a91f50e1142d4049fe1a0b0c65337d885c6d1f","target":"graph","created_at":"2026-07-05T11:50:33Z","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/2503.01700/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent works have shown great potentials of Large Language Models (LLMs) in robot task and motion planning (TAMP). Current LLM approaches generate text- or code-based reasoning chains with sub-goals and action plans. However, they do not fully leverage LLMs' symbolic computing and code generation capabilities. Many robot TAMP tasks involve complex optimization under multiple constraints, where pure textual reasoning is insufficient. While augmenting LLMs with predefined solvers and planners improves performance, it lacks generalization across tasks. Given LLMs' growing coding proficiency, we e","authors_text":"Chuchu Fan, Yang Zhang, Yilun Hao, Yongchao Chen","cross_cats":["cs.AI","cs.CL"],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.RO","submitted_at":"2025-03-03T16:13:41Z","title":"Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.01700","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:a2e57655ec836462fa10c4835cfedc7d2bfef1b41538f0d22d0cd0400b748d39","target":"record","created_at":"2026-07-05T11:50:33Z","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":"8716357cc471dd7c7ba0b9d7cb2a743b5b7c6c6453281215e9a03f5fe627d55f","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.RO","submitted_at":"2025-03-03T16:13:41Z","title_canon_sha256":"9d1d72f838c883ea31f633e8fbe7eeff3bf8e2970a8c98c287b3a7c2e36debf8"},"schema_version":"1.0","source":{"id":"2503.01700","kind":"arxiv","version":2}},"canonical_sha256":"326d672476d4ca20460ddb0c31411b2ccedf77f2a4fa2f15d608b8f88abfdfc5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"326d672476d4ca20460ddb0c31411b2ccedf77f2a4fa2f15d608b8f88abfdfc5","first_computed_at":"2026-07-05T11:50:33.690292Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:50:33.690292Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FyPUw8cx3qclUPfmBBY9/EotUXHmUCSNg6Td8wx0xVLk2RUZhA+XLG/5yBDqgKuG+FWzbpb5BUbikmUEHPAwCg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:50:33.690969Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.01700","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a2e57655ec836462fa10c4835cfedc7d2bfef1b41538f0d22d0cd0400b748d39","sha256:f27a99cffede28d6bc879e3ca9a91f50e1142d4049fe1a0b0c65337d885c6d1f"],"state_sha256":"9cffe4b7a64ea02c994946a81b9f4a4875ad20a85b815f7be6869fb2859fc4ff"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Zt3mq5Y4GeKKg+qMfGNDyV2ndZJX6fDx1qEWqG+/cjM+OHuEPpEvTNwQXWSHro6hlPgS14g/tcu9UntWPmsNBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T11:23:31.552691Z","bundle_sha256":"ee04653e5eb6a5b834fb6ab10419c4d2cdc2e0ae61afee647622cff9094b92a0"}}