{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:VZ45MGI7HJF246S25H22NB7V36","short_pith_number":"pith:VZ45MGI7","canonical_record":{"source":{"id":"2406.07400","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-06-11T16:07:24Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"8ce3d4695532318c5da5ea500337508d9fc517dfb5af16919229910c47529fb2","abstract_canon_sha256":"9322ac9ae201e72803fd3c314cb726e223bbfe5b26a09353d70dd4ad19596540"},"schema_version":"1.0"},"canonical_sha256":"ae79d6191f3a4bae7a5ae9f5a687f5dfaaf7940cc725ceeaeeda12fe93cfafb4","source":{"kind":"arxiv","id":"2406.07400","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.07400","created_at":"2026-07-05T08:30:22Z"},{"alias_kind":"arxiv_version","alias_value":"2406.07400v1","created_at":"2026-07-05T08:30:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.07400","created_at":"2026-07-05T08:30:22Z"},{"alias_kind":"pith_short_12","alias_value":"VZ45MGI7HJF2","created_at":"2026-07-05T08:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"VZ45MGI7HJF246S2","created_at":"2026-07-05T08:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"VZ45MGI7","created_at":"2026-07-05T08:30:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:VZ45MGI7HJF246S25H22NB7V36","target":"record","payload":{"canonical_record":{"source":{"id":"2406.07400","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-06-11T16:07:24Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"8ce3d4695532318c5da5ea500337508d9fc517dfb5af16919229910c47529fb2","abstract_canon_sha256":"9322ac9ae201e72803fd3c314cb726e223bbfe5b26a09353d70dd4ad19596540"},"schema_version":"1.0"},"canonical_sha256":"ae79d6191f3a4bae7a5ae9f5a687f5dfaaf7940cc725ceeaeeda12fe93cfafb4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:30:22.953270Z","signature_b64":"2gv/OGlmXt+LO17BDJ8YgsGiRbXMQRy3jGnjrwwCAljE6Bqhkpft8vsps4tzEGCTzWOXmr3t6SAwuVsGrKDXBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ae79d6191f3a4bae7a5ae9f5a687f5dfaaf7940cc725ceeaeeda12fe93cfafb4","last_reissued_at":"2026-07-05T08:30:22.952798Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:30:22.952798Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.07400","source_version":1,"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-05T08:30:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9phkUWmrTlD6LVZs5a1jK+s7OiAR4p7u8QKr1f1hCSho1qrniU51dOmU5gzkTTBKxGGVDPT/n38+3o8qCFgdBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T11:24:07.913560Z"},"content_sha256":"7e90f8a1310672529c9660f9898fe3abbff1fcc4f4e450ffa8f5d2035e49c61d","schema_version":"1.0","event_id":"sha256:7e90f8a1310672529c9660f9898fe3abbff1fcc4f4e450ffa8f5d2035e49c61d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:VZ45MGI7HJF246S25H22NB7V36","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.LG","authors_text":"Feitong Qiao, Leyi Cui, Mark Santolucito, Nathan Koenig, Nikolaus Holzer, Raven Rothkopf, William Murphy","submitted_at":"2024-06-11T16:07:24Z","abstract_excerpt":"Temporal logics are powerful tools that are widely used for the synthesis and verification of reactive systems. The recent progress on Large Language Models (LLMs) has the potential to make the process of writing such specifications more accessible. However, writing specifications in temporal logics remains challenging for all but the most expert users. A key question in using LLMs for temporal logic specification engineering is to understand what kind of guidance is most helpful to the LLM and the users to easily produce specifications. Looking specifically at the problem of reactive program "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.07400","kind":"arxiv","version":1},"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/2406.07400/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-05T08:30:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fAA/dyupJPMycq5Armu9TdU+cROetIG0BCYqgITr6ChX3yv8+z6gi7Tt/ZrtGnGTwfvV7F2WhyXR6SKB74HUDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T11:24:07.914059Z"},"content_sha256":"c813809d79fd6a49764b4d217a3ae4eb9d0ff302daf6ca4c8d1bcb39ab27091d","schema_version":"1.0","event_id":"sha256:c813809d79fd6a49764b4d217a3ae4eb9d0ff302daf6ca4c8d1bcb39ab27091d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VZ45MGI7HJF246S25H22NB7V36/bundle.json","state_url":"https://pith.science/pith/VZ45MGI7HJF246S25H22NB7V36/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VZ45MGI7HJF246S25H22NB7V36/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:24:07Z","links":{"resolver":"https://pith.science/pith/VZ45MGI7HJF246S25H22NB7V36","bundle":"https://pith.science/pith/VZ45MGI7HJF246S25H22NB7V36/bundle.json","state":"https://pith.science/pith/VZ45MGI7HJF246S25H22NB7V36/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VZ45MGI7HJF246S25H22NB7V36/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:VZ45MGI7HJF246S25H22NB7V36","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":"9322ac9ae201e72803fd3c314cb726e223bbfe5b26a09353d70dd4ad19596540","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-06-11T16:07:24Z","title_canon_sha256":"8ce3d4695532318c5da5ea500337508d9fc517dfb5af16919229910c47529fb2"},"schema_version":"1.0","source":{"id":"2406.07400","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.07400","created_at":"2026-07-05T08:30:22Z"},{"alias_kind":"arxiv_version","alias_value":"2406.07400v1","created_at":"2026-07-05T08:30:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.07400","created_at":"2026-07-05T08:30:22Z"},{"alias_kind":"pith_short_12","alias_value":"VZ45MGI7HJF2","created_at":"2026-07-05T08:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"VZ45MGI7HJF246S2","created_at":"2026-07-05T08:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"VZ45MGI7","created_at":"2026-07-05T08:30:22Z"}],"graph_snapshots":[{"event_id":"sha256:c813809d79fd6a49764b4d217a3ae4eb9d0ff302daf6ca4c8d1bcb39ab27091d","target":"graph","created_at":"2026-07-05T08:30:22Z","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/2406.07400/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Temporal logics are powerful tools that are widely used for the synthesis and verification of reactive systems. The recent progress on Large Language Models (LLMs) has the potential to make the process of writing such specifications more accessible. However, writing specifications in temporal logics remains challenging for all but the most expert users. A key question in using LLMs for temporal logic specification engineering is to understand what kind of guidance is most helpful to the LLM and the users to easily produce specifications. Looking specifically at the problem of reactive program ","authors_text":"Feitong Qiao, Leyi Cui, Mark Santolucito, Nathan Koenig, Nikolaus Holzer, Raven Rothkopf, William Murphy","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-06-11T16:07:24Z","title":"Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.07400","kind":"arxiv","version":1},"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:7e90f8a1310672529c9660f9898fe3abbff1fcc4f4e450ffa8f5d2035e49c61d","target":"record","created_at":"2026-07-05T08:30:22Z","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":"9322ac9ae201e72803fd3c314cb726e223bbfe5b26a09353d70dd4ad19596540","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2024-06-11T16:07:24Z","title_canon_sha256":"8ce3d4695532318c5da5ea500337508d9fc517dfb5af16919229910c47529fb2"},"schema_version":"1.0","source":{"id":"2406.07400","kind":"arxiv","version":1}},"canonical_sha256":"ae79d6191f3a4bae7a5ae9f5a687f5dfaaf7940cc725ceeaeeda12fe93cfafb4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ae79d6191f3a4bae7a5ae9f5a687f5dfaaf7940cc725ceeaeeda12fe93cfafb4","first_computed_at":"2026-07-05T08:30:22.952798Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:30:22.952798Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2gv/OGlmXt+LO17BDJ8YgsGiRbXMQRy3jGnjrwwCAljE6Bqhkpft8vsps4tzEGCTzWOXmr3t6SAwuVsGrKDXBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:30:22.953270Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.07400","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7e90f8a1310672529c9660f9898fe3abbff1fcc4f4e450ffa8f5d2035e49c61d","sha256:c813809d79fd6a49764b4d217a3ae4eb9d0ff302daf6ca4c8d1bcb39ab27091d"],"state_sha256":"15154902b6277e49e0a31f309a7e2baa9ee611785dcc867f3873effd486adc88"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VXYyaZ+6dRXl8rNTUki65VZxsEbXzSmbhRKCi96+yd+3fsib83y3qu07YA15F+RDlNT4MIc3GzlQFJiVsPNTCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T11:24:07.918132Z","bundle_sha256":"2989377e2e4106d80093006555437622d86c7d6f2249f5a8d47598f16575a246"}}