{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:273YSLVJOMROBAXT2DM7EI6OBX","short_pith_number":"pith:273YSLVJ","canonical_record":{"source":{"id":"2606.30441","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2026-06-29T15:15:40Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c81d6904a351feaeeebd7a3e1a2b94193877cebe77c5d2a93df02d61e3917a6d","abstract_canon_sha256":"b8c0a53cb2e7fbb57779eeb5591649f8f1fea412c31891f0b96eeb7fee7afe95"},"schema_version":"1.0"},"canonical_sha256":"d7f7892ea97322e082f3d0d9f223ce0dd35ea04d8da12538b6cefa5353512f38","source":{"kind":"arxiv","id":"2606.30441","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.30441","created_at":"2026-06-30T02:18:15Z"},{"alias_kind":"arxiv_version","alias_value":"2606.30441v1","created_at":"2026-06-30T02:18:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.30441","created_at":"2026-06-30T02:18:15Z"},{"alias_kind":"pith_short_12","alias_value":"273YSLVJOMRO","created_at":"2026-06-30T02:18:15Z"},{"alias_kind":"pith_short_16","alias_value":"273YSLVJOMROBAXT","created_at":"2026-06-30T02:18:15Z"},{"alias_kind":"pith_short_8","alias_value":"273YSLVJ","created_at":"2026-06-30T02:18:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:273YSLVJOMROBAXT2DM7EI6OBX","target":"record","payload":{"canonical_record":{"source":{"id":"2606.30441","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2026-06-29T15:15:40Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c81d6904a351feaeeebd7a3e1a2b94193877cebe77c5d2a93df02d61e3917a6d","abstract_canon_sha256":"b8c0a53cb2e7fbb57779eeb5591649f8f1fea412c31891f0b96eeb7fee7afe95"},"schema_version":"1.0"},"canonical_sha256":"d7f7892ea97322e082f3d0d9f223ce0dd35ea04d8da12538b6cefa5353512f38","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-30T02:18:15.297922Z","signature_b64":"SuPQsA7g/9N6Oi/Rl3J6djm3gujuI/ux/M9Hs5MrwK/P5OmWyrQJSElVx0FjYpGoG8LI9PgwjdVysNZ6rnG+Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d7f7892ea97322e082f3d0d9f223ce0dd35ea04d8da12538b6cefa5353512f38","last_reissued_at":"2026-06-30T02:18:15.297379Z","signature_status":"signed_v1","first_computed_at":"2026-06-30T02:18:15.297379Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.30441","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-06-30T02:18:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E6C7haLd+f6WOM3fJpuY9ybYE+knkJJUbyoamYHte3gWQXRP0E3j13CwynGYhISfe/J3WQWPy+pLC99eZiQkAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T05:24:47.014497Z"},"content_sha256":"5a59d0dd5e529fb3175f6843049e826d4d392616682b2d001da81a148c277243","schema_version":"1.0","event_id":"sha256:5a59d0dd5e529fb3175f6843049e826d4d392616682b2d001da81a148c277243"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:273YSLVJOMROBAXT2DM7EI6OBX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Translating Natural Language to Strategic Temporal Specifications via LLMs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.MA","authors_text":"Aniello Murano, Francesco Improta, Marco Aruta, Vadim Malvone, Vladana Perlic","submitted_at":"2026-06-29T15:15:40Z","abstract_excerpt":"A rigorous formalization of system requirements is a fundamental prerequisite for the verification of Multi-Agent Systems (MAS). However, writing correct formal specifications is well known as an error-prone, time-consuming, and expertise-intensive task. This difficulty is further accentuated in MAS, where requirements must capture strategic abilities and temporal objectives. At present, there is no established methodology for deriving MAS specifications from natural language. We present a framework for translating Natural Language descriptions of strategic requirements into well-formed ATL/AT"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.30441","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/2606.30441/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-06-30T02:18:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MJS8zX6A7sk1PhduUiOed0wFwkvFx6tzFSBcKsifJqT5E7r5hJwRxFcYlaLB87eUExIbTiWKKhNdB+4maKvKDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T05:24:47.014869Z"},"content_sha256":"042f57c7bb6f41c7268653dad46918babe6662ca336247a777ac3e8563b260dd","schema_version":"1.0","event_id":"sha256:042f57c7bb6f41c7268653dad46918babe6662ca336247a777ac3e8563b260dd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/273YSLVJOMROBAXT2DM7EI6OBX/bundle.json","state_url":"https://pith.science/pith/273YSLVJOMROBAXT2DM7EI6OBX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/273YSLVJOMROBAXT2DM7EI6OBX/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-07-04T05:24:47Z","links":{"resolver":"https://pith.science/pith/273YSLVJOMROBAXT2DM7EI6OBX","bundle":"https://pith.science/pith/273YSLVJOMROBAXT2DM7EI6OBX/bundle.json","state":"https://pith.science/pith/273YSLVJOMROBAXT2DM7EI6OBX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/273YSLVJOMROBAXT2DM7EI6OBX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:273YSLVJOMROBAXT2DM7EI6OBX","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":"b8c0a53cb2e7fbb57779eeb5591649f8f1fea412c31891f0b96eeb7fee7afe95","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2026-06-29T15:15:40Z","title_canon_sha256":"c81d6904a351feaeeebd7a3e1a2b94193877cebe77c5d2a93df02d61e3917a6d"},"schema_version":"1.0","source":{"id":"2606.30441","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.30441","created_at":"2026-06-30T02:18:15Z"},{"alias_kind":"arxiv_version","alias_value":"2606.30441v1","created_at":"2026-06-30T02:18:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.30441","created_at":"2026-06-30T02:18:15Z"},{"alias_kind":"pith_short_12","alias_value":"273YSLVJOMRO","created_at":"2026-06-30T02:18:15Z"},{"alias_kind":"pith_short_16","alias_value":"273YSLVJOMROBAXT","created_at":"2026-06-30T02:18:15Z"},{"alias_kind":"pith_short_8","alias_value":"273YSLVJ","created_at":"2026-06-30T02:18:15Z"}],"graph_snapshots":[{"event_id":"sha256:042f57c7bb6f41c7268653dad46918babe6662ca336247a777ac3e8563b260dd","target":"graph","created_at":"2026-06-30T02:18: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/2606.30441/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A rigorous formalization of system requirements is a fundamental prerequisite for the verification of Multi-Agent Systems (MAS). However, writing correct formal specifications is well known as an error-prone, time-consuming, and expertise-intensive task. This difficulty is further accentuated in MAS, where requirements must capture strategic abilities and temporal objectives. At present, there is no established methodology for deriving MAS specifications from natural language. We present a framework for translating Natural Language descriptions of strategic requirements into well-formed ATL/AT","authors_text":"Aniello Murano, Francesco Improta, Marco Aruta, Vadim Malvone, Vladana Perlic","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2026-06-29T15:15:40Z","title":"Translating Natural Language to Strategic Temporal Specifications via LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.30441","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:5a59d0dd5e529fb3175f6843049e826d4d392616682b2d001da81a148c277243","target":"record","created_at":"2026-06-30T02:18: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":"b8c0a53cb2e7fbb57779eeb5591649f8f1fea412c31891f0b96eeb7fee7afe95","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2026-06-29T15:15:40Z","title_canon_sha256":"c81d6904a351feaeeebd7a3e1a2b94193877cebe77c5d2a93df02d61e3917a6d"},"schema_version":"1.0","source":{"id":"2606.30441","kind":"arxiv","version":1}},"canonical_sha256":"d7f7892ea97322e082f3d0d9f223ce0dd35ea04d8da12538b6cefa5353512f38","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d7f7892ea97322e082f3d0d9f223ce0dd35ea04d8da12538b6cefa5353512f38","first_computed_at":"2026-06-30T02:18:15.297379Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-30T02:18:15.297379Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SuPQsA7g/9N6Oi/Rl3J6djm3gujuI/ux/M9Hs5MrwK/P5OmWyrQJSElVx0FjYpGoG8LI9PgwjdVysNZ6rnG+Ag==","signature_status":"signed_v1","signed_at":"2026-06-30T02:18:15.297922Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.30441","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5a59d0dd5e529fb3175f6843049e826d4d392616682b2d001da81a148c277243","sha256:042f57c7bb6f41c7268653dad46918babe6662ca336247a777ac3e8563b260dd"],"state_sha256":"7dffeacdc84a2364b7684fbd1cca7ddf143687d200e45825d9b2873e0f32112f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zKOG7lYxXUlB3rVnlfGQjtqaKeKV2+p5BA7RTqdThb5BTbXz9LEDfox9lUCA5p0vgioACg/NjWWTNXh0/xjkBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T05:24:47.016804Z","bundle_sha256":"5a9233aac414a476e1216d71a5ee608836f971fa18a7114badcd8754e4dd6e00"}}