{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:GDJ2ZGJUUFPVYJ3ZN57ZHNNCCD","short_pith_number":"pith:GDJ2ZGJU","canonical_record":{"source":{"id":"2305.07766","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.CL","submitted_at":"2023-05-12T21:22:08Z","cross_cats_sorted":[],"title_canon_sha256":"6f3e2688288dbf93074592395cba13d6a0d119c5dcdf91c0f11c2163fa0c5dc7","abstract_canon_sha256":"040e78b04a1d92d7a1a5a5d180a64a0a330d68e546f7017a65483cbafc1fa59e"},"schema_version":"1.0"},"canonical_sha256":"30d3ac9934a15f5c27796f7f93b5a210fa9f9a5bf47853cbc3b11698043b57e9","source":{"kind":"arxiv","id":"2305.07766","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.07766","created_at":"2026-07-05T07:59:15Z"},{"alias_kind":"arxiv_version","alias_value":"2305.07766v2","created_at":"2026-07-05T07:59:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.07766","created_at":"2026-07-05T07:59:15Z"},{"alias_kind":"pith_short_12","alias_value":"GDJ2ZGJUUFPV","created_at":"2026-07-05T07:59:15Z"},{"alias_kind":"pith_short_16","alias_value":"GDJ2ZGJUUFPVYJ3Z","created_at":"2026-07-05T07:59:15Z"},{"alias_kind":"pith_short_8","alias_value":"GDJ2ZGJU","created_at":"2026-07-05T07:59:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:GDJ2ZGJUUFPVYJ3ZN57ZHNNCCD","target":"record","payload":{"canonical_record":{"source":{"id":"2305.07766","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.CL","submitted_at":"2023-05-12T21:22:08Z","cross_cats_sorted":[],"title_canon_sha256":"6f3e2688288dbf93074592395cba13d6a0d119c5dcdf91c0f11c2163fa0c5dc7","abstract_canon_sha256":"040e78b04a1d92d7a1a5a5d180a64a0a330d68e546f7017a65483cbafc1fa59e"},"schema_version":"1.0"},"canonical_sha256":"30d3ac9934a15f5c27796f7f93b5a210fa9f9a5bf47853cbc3b11698043b57e9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:59:15.047447Z","signature_b64":"sfPijWjwfdGRPUNjB0JGcvjyoqzhB/RLTAVQBjcfEnomCZFadswooBBkBXrr4ksOSVNz22odiJ03zfn66DTKDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"30d3ac9934a15f5c27796f7f93b5a210fa9f9a5bf47853cbc3b11698043b57e9","last_reissued_at":"2026-07-05T07:59:15.046835Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:59:15.046835Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.07766","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:59:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5UIUDnFHNmF5GWS8gej17aoM4rUlcB/nBSeQZKItkCuezsHhxW+IfrTcsJXo1ihsuOR0gS//sqGRST5BM6aqAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T12:44:54.299333Z"},"content_sha256":"98a5a3e87dd3667bb2af488b07d9dcc709b2b2c49f277168d065d6d906ae3f96","schema_version":"1.0","event_id":"sha256:98a5a3e87dd3667bb2af488b07d9dcc709b2b2c49f277168d065d6d906ae3f96"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:GDJ2ZGJUUFPVYJ3ZN57ZHNNCCD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Chuchu Fan, Rujul Gandhi, Yang Zhang, Yongchao Chen","submitted_at":"2023-05-12T21:22:08Z","abstract_excerpt":"Temporal Logic (TL) can be used to rigorously specify complex high-level specification for systems in many engineering applications. The translation between natural language (NL) and TL has been under-explored due to the lack of dataset and generalizable model across different application domains. In this paper, we propose an accurate and generalizable transformation framework of English instructions from NL to TL, exploring the use of Large Language Models (LLMs) at multiple stages. Our contributions are twofold. First, we develop a framework to create a dataset of NL-TL pairs combining LLMs "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.07766","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/2305.07766/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:59:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dFLjT95widU1ZpYUoaYk7uhd+TSLqFxzgfWjdK5TkFoI1gUf6fQ2BSTWK5nrANQRivm5XtdWS6vH+4sk4ppVBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T12:44:54.299897Z"},"content_sha256":"40eedacf8a3fa22be9b599f6836668a94438fe8d0d63d9ee9416739b91913535","schema_version":"1.0","event_id":"sha256:40eedacf8a3fa22be9b599f6836668a94438fe8d0d63d9ee9416739b91913535"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GDJ2ZGJUUFPVYJ3ZN57ZHNNCCD/bundle.json","state_url":"https://pith.science/pith/GDJ2ZGJUUFPVYJ3ZN57ZHNNCCD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GDJ2ZGJUUFPVYJ3ZN57ZHNNCCD/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-10T12:44:54Z","links":{"resolver":"https://pith.science/pith/GDJ2ZGJUUFPVYJ3ZN57ZHNNCCD","bundle":"https://pith.science/pith/GDJ2ZGJUUFPVYJ3ZN57ZHNNCCD/bundle.json","state":"https://pith.science/pith/GDJ2ZGJUUFPVYJ3ZN57ZHNNCCD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GDJ2ZGJUUFPVYJ3ZN57ZHNNCCD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:GDJ2ZGJUUFPVYJ3ZN57ZHNNCCD","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":"040e78b04a1d92d7a1a5a5d180a64a0a330d68e546f7017a65483cbafc1fa59e","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.CL","submitted_at":"2023-05-12T21:22:08Z","title_canon_sha256":"6f3e2688288dbf93074592395cba13d6a0d119c5dcdf91c0f11c2163fa0c5dc7"},"schema_version":"1.0","source":{"id":"2305.07766","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.07766","created_at":"2026-07-05T07:59:15Z"},{"alias_kind":"arxiv_version","alias_value":"2305.07766v2","created_at":"2026-07-05T07:59:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.07766","created_at":"2026-07-05T07:59:15Z"},{"alias_kind":"pith_short_12","alias_value":"GDJ2ZGJUUFPV","created_at":"2026-07-05T07:59:15Z"},{"alias_kind":"pith_short_16","alias_value":"GDJ2ZGJUUFPVYJ3Z","created_at":"2026-07-05T07:59:15Z"},{"alias_kind":"pith_short_8","alias_value":"GDJ2ZGJU","created_at":"2026-07-05T07:59:15Z"}],"graph_snapshots":[{"event_id":"sha256:40eedacf8a3fa22be9b599f6836668a94438fe8d0d63d9ee9416739b91913535","target":"graph","created_at":"2026-07-05T07:59:15Z","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/2305.07766/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Temporal Logic (TL) can be used to rigorously specify complex high-level specification for systems in many engineering applications. The translation between natural language (NL) and TL has been under-explored due to the lack of dataset and generalizable model across different application domains. In this paper, we propose an accurate and generalizable transformation framework of English instructions from NL to TL, exploring the use of Large Language Models (LLMs) at multiple stages. Our contributions are twofold. First, we develop a framework to create a dataset of NL-TL pairs combining LLMs ","authors_text":"Chuchu Fan, Rujul Gandhi, Yang Zhang, Yongchao Chen","cross_cats":[],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.CL","submitted_at":"2023-05-12T21:22:08Z","title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.07766","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:98a5a3e87dd3667bb2af488b07d9dcc709b2b2c49f277168d065d6d906ae3f96","target":"record","created_at":"2026-07-05T07:59:15Z","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":"040e78b04a1d92d7a1a5a5d180a64a0a330d68e546f7017a65483cbafc1fa59e","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.CL","submitted_at":"2023-05-12T21:22:08Z","title_canon_sha256":"6f3e2688288dbf93074592395cba13d6a0d119c5dcdf91c0f11c2163fa0c5dc7"},"schema_version":"1.0","source":{"id":"2305.07766","kind":"arxiv","version":2}},"canonical_sha256":"30d3ac9934a15f5c27796f7f93b5a210fa9f9a5bf47853cbc3b11698043b57e9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"30d3ac9934a15f5c27796f7f93b5a210fa9f9a5bf47853cbc3b11698043b57e9","first_computed_at":"2026-07-05T07:59:15.046835Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:59:15.046835Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sfPijWjwfdGRPUNjB0JGcvjyoqzhB/RLTAVQBjcfEnomCZFadswooBBkBXrr4ksOSVNz22odiJ03zfn66DTKDw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:59:15.047447Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.07766","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:98a5a3e87dd3667bb2af488b07d9dcc709b2b2c49f277168d065d6d906ae3f96","sha256:40eedacf8a3fa22be9b599f6836668a94438fe8d0d63d9ee9416739b91913535"],"state_sha256":"011df9bfb13a279e8e84e8b2c65f0085a328e64fe4da1e689f625b8e3379f297"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eqJyGXDYyXXkxiZybP8UaMrrjGOH139tB/nlXuc3o8WhE+FhKmYR3fW9iRbfwOMlelD+lt1DL9krqoTl6vl+Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T12:44:54.306029Z","bundle_sha256":"a095689e5cc5332e16e71e7dae2e69a02a94eae31b50f832816030bd59f7079e"}}