{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:XKF3FS52FVJP53RSXMTUDFYLES","short_pith_number":"pith:XKF3FS52","canonical_record":{"source":{"id":"2302.11649","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-02-22T20:56:40Z","cross_cats_sorted":["cs.AI","cs.CL","cs.FL"],"title_canon_sha256":"a357b14feae4c410fddc473c03e6bf41325983f2dc3df826293e55509ddd93ad","abstract_canon_sha256":"268d900cf04adaa1cbb23e40d7a7f1472642b2fce2bbe803d32e3a7ad62afe9a"},"schema_version":"1.0"},"canonical_sha256":"ba8bb2cbba2d52feee32bb2741970b24b3f78d5201c98ae29adec76819a8a548","source":{"kind":"arxiv","id":"2302.11649","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.11649","created_at":"2026-07-05T07:01:59Z"},{"alias_kind":"arxiv_version","alias_value":"2302.11649v2","created_at":"2026-07-05T07:01:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.11649","created_at":"2026-07-05T07:01:59Z"},{"alias_kind":"pith_short_12","alias_value":"XKF3FS52FVJP","created_at":"2026-07-05T07:01:59Z"},{"alias_kind":"pith_short_16","alias_value":"XKF3FS52FVJP53RS","created_at":"2026-07-05T07:01:59Z"},{"alias_kind":"pith_short_8","alias_value":"XKF3FS52","created_at":"2026-07-05T07:01:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:XKF3FS52FVJP53RSXMTUDFYLES","target":"record","payload":{"canonical_record":{"source":{"id":"2302.11649","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-02-22T20:56:40Z","cross_cats_sorted":["cs.AI","cs.CL","cs.FL"],"title_canon_sha256":"a357b14feae4c410fddc473c03e6bf41325983f2dc3df826293e55509ddd93ad","abstract_canon_sha256":"268d900cf04adaa1cbb23e40d7a7f1472642b2fce2bbe803d32e3a7ad62afe9a"},"schema_version":"1.0"},"canonical_sha256":"ba8bb2cbba2d52feee32bb2741970b24b3f78d5201c98ae29adec76819a8a548","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:01:59.156104Z","signature_b64":"CGz1QT+IHyrJgJgW910vlEY++TZcBioWE1m+wKIBmO01j5PPP8z1xnJtSc61nKCUhR4Vct6BAHhCVBfYBdD3Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ba8bb2cbba2d52feee32bb2741970b24b3f78d5201c98ae29adec76819a8a548","last_reissued_at":"2026-07-05T07:01:59.155634Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:01:59.155634Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2302.11649","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-05T07:01:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4nnS1tiBZ/t9reoDf4nM1rwrFRMWIEVojOXqD/Gob0JpW8DhyPArbNbiZoDDAoiDOyxv1OUX8gRkgZMYSdXbDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T07:48:58.687991Z"},"content_sha256":"d72b5f08c44be85bbcf349e7decb02cb8028b3906f305b9105aa52ecc21491f5","schema_version":"1.0","event_id":"sha256:d72b5f08c44be85bbcf349e7decb02cb8028b3906f305b9105aa52ecc21491f5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:XKF3FS52FVJP53RSXMTUDFYLES","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CL","cs.FL"],"primary_cat":"cs.RO","authors_text":"Ankit Shah, Benjamin Schornstein, Ifrah Idrees, Jason Xinyu Liu, Sam Liang, Stefanie Tellex, Ziyi Yang","submitted_at":"2023-02-22T20:56:40Z","abstract_excerpt":"Grounding navigational commands to linear temporal logic (LTL) leverages its unambiguous semantics for reasoning about long-horizon tasks and verifying the satisfaction of temporal constraints. Existing approaches require training data from the specific environment and landmarks that will be used in natural language to understand commands in those environments. We propose Lang2LTL, a modular system and a software package that leverages large language models (LLMs) to ground temporal navigational commands to LTL specifications in environments without prior language data. We comprehensively eval"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.11649","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/2302.11649/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-05T07:01:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MxibHdnvjn9wdRPP8aOmHTeMfIh/6EwmSgs4lkRWJlFomfRKvygrP9p2cfJupHJQZcEmk5Bjo9/WKjXgZZ8gCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T07:48:58.688413Z"},"content_sha256":"7d9bb0182018499e9f53bcc833c533cd33feb2a0f7f4a57ae13541ba2eb95305","schema_version":"1.0","event_id":"sha256:7d9bb0182018499e9f53bcc833c533cd33feb2a0f7f4a57ae13541ba2eb95305"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XKF3FS52FVJP53RSXMTUDFYLES/bundle.json","state_url":"https://pith.science/pith/XKF3FS52FVJP53RSXMTUDFYLES/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XKF3FS52FVJP53RSXMTUDFYLES/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-06T07:48:58Z","links":{"resolver":"https://pith.science/pith/XKF3FS52FVJP53RSXMTUDFYLES","bundle":"https://pith.science/pith/XKF3FS52FVJP53RSXMTUDFYLES/bundle.json","state":"https://pith.science/pith/XKF3FS52FVJP53RSXMTUDFYLES/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XKF3FS52FVJP53RSXMTUDFYLES/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:XKF3FS52FVJP53RSXMTUDFYLES","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":"268d900cf04adaa1cbb23e40d7a7f1472642b2fce2bbe803d32e3a7ad62afe9a","cross_cats_sorted":["cs.AI","cs.CL","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-02-22T20:56:40Z","title_canon_sha256":"a357b14feae4c410fddc473c03e6bf41325983f2dc3df826293e55509ddd93ad"},"schema_version":"1.0","source":{"id":"2302.11649","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.11649","created_at":"2026-07-05T07:01:59Z"},{"alias_kind":"arxiv_version","alias_value":"2302.11649v2","created_at":"2026-07-05T07:01:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.11649","created_at":"2026-07-05T07:01:59Z"},{"alias_kind":"pith_short_12","alias_value":"XKF3FS52FVJP","created_at":"2026-07-05T07:01:59Z"},{"alias_kind":"pith_short_16","alias_value":"XKF3FS52FVJP53RS","created_at":"2026-07-05T07:01:59Z"},{"alias_kind":"pith_short_8","alias_value":"XKF3FS52","created_at":"2026-07-05T07:01:59Z"}],"graph_snapshots":[{"event_id":"sha256:7d9bb0182018499e9f53bcc833c533cd33feb2a0f7f4a57ae13541ba2eb95305","target":"graph","created_at":"2026-07-05T07:01:59Z","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/2302.11649/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Grounding navigational commands to linear temporal logic (LTL) leverages its unambiguous semantics for reasoning about long-horizon tasks and verifying the satisfaction of temporal constraints. Existing approaches require training data from the specific environment and landmarks that will be used in natural language to understand commands in those environments. We propose Lang2LTL, a modular system and a software package that leverages large language models (LLMs) to ground temporal navigational commands to LTL specifications in environments without prior language data. We comprehensively eval","authors_text":"Ankit Shah, Benjamin Schornstein, Ifrah Idrees, Jason Xinyu Liu, Sam Liang, Stefanie Tellex, Ziyi Yang","cross_cats":["cs.AI","cs.CL","cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-02-22T20:56:40Z","title":"Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.11649","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:d72b5f08c44be85bbcf349e7decb02cb8028b3906f305b9105aa52ecc21491f5","target":"record","created_at":"2026-07-05T07:01:59Z","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":"268d900cf04adaa1cbb23e40d7a7f1472642b2fce2bbe803d32e3a7ad62afe9a","cross_cats_sorted":["cs.AI","cs.CL","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-02-22T20:56:40Z","title_canon_sha256":"a357b14feae4c410fddc473c03e6bf41325983f2dc3df826293e55509ddd93ad"},"schema_version":"1.0","source":{"id":"2302.11649","kind":"arxiv","version":2}},"canonical_sha256":"ba8bb2cbba2d52feee32bb2741970b24b3f78d5201c98ae29adec76819a8a548","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ba8bb2cbba2d52feee32bb2741970b24b3f78d5201c98ae29adec76819a8a548","first_computed_at":"2026-07-05T07:01:59.155634Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:01:59.155634Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CGz1QT+IHyrJgJgW910vlEY++TZcBioWE1m+wKIBmO01j5PPP8z1xnJtSc61nKCUhR4Vct6BAHhCVBfYBdD3Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:01:59.156104Z","signed_message":"canonical_sha256_bytes"},"source_id":"2302.11649","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d72b5f08c44be85bbcf349e7decb02cb8028b3906f305b9105aa52ecc21491f5","sha256:7d9bb0182018499e9f53bcc833c533cd33feb2a0f7f4a57ae13541ba2eb95305"],"state_sha256":"fbf212f7f66259cf7e0656922cdc0d001085d0aafeccfabb061b06b622da67ad"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SsmOYPKedmMnnV0ZDixmdiS8UvBCGgvyF3vKhiAmLXZW/ugBpbhoy5XtheDFni1pfCthuasQ6u6MH+ayGlO9BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T07:48:58.692668Z","bundle_sha256":"c76ebc82f63b9d573907830be7b08e8206147fec227e94de9dac97a9c835b9db"}}