{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:GDMJXILJJ7N5E3ZFL25GAUUOIB","short_pith_number":"pith:GDMJXILJ","canonical_record":{"source":{"id":"2109.10294","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2021-09-21T16:13:29Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"e7830f9550428e066f8dc5d70ad9fa5f9099fc2bdfc9b41b4fd4f6e011c357da","abstract_canon_sha256":"cab40bf8daaa91a9947c699c7a91dba9ffc258bf2008342feb0f0ae834fcd2f7"},"schema_version":"1.0"},"canonical_sha256":"30d89ba1694fdbd26f255eba60528e406d3d02edf4ea32d262cf16872f0481fd","source":{"kind":"arxiv","id":"2109.10294","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.10294","created_at":"2026-07-05T04:08:16Z"},{"alias_kind":"arxiv_version","alias_value":"2109.10294v4","created_at":"2026-07-05T04:08:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.10294","created_at":"2026-07-05T04:08:16Z"},{"alias_kind":"pith_short_12","alias_value":"GDMJXILJJ7N5","created_at":"2026-07-05T04:08:16Z"},{"alias_kind":"pith_short_16","alias_value":"GDMJXILJJ7N5E3ZF","created_at":"2026-07-05T04:08:16Z"},{"alias_kind":"pith_short_8","alias_value":"GDMJXILJ","created_at":"2026-07-05T04:08:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:GDMJXILJJ7N5E3ZFL25GAUUOIB","target":"record","payload":{"canonical_record":{"source":{"id":"2109.10294","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2021-09-21T16:13:29Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"e7830f9550428e066f8dc5d70ad9fa5f9099fc2bdfc9b41b4fd4f6e011c357da","abstract_canon_sha256":"cab40bf8daaa91a9947c699c7a91dba9ffc258bf2008342feb0f0ae834fcd2f7"},"schema_version":"1.0"},"canonical_sha256":"30d89ba1694fdbd26f255eba60528e406d3d02edf4ea32d262cf16872f0481fd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:08:16.249930Z","signature_b64":"FnV/egbvYr/IfIELOfbhSoDqhJQnx3dixX/0d5exzhJsEf07y8+NJenUJED3re4IRRhspC4LtS8+9FPN4dnBAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"30d89ba1694fdbd26f255eba60528e406d3d02edf4ea32d262cf16872f0481fd","last_reissued_at":"2026-07-05T04:08:16.249448Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:08:16.249448Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2109.10294","source_version":4,"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-05T04:08:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UmMLWFW2HDtq+/XFPcb2857m+VPr3xvtZuOxJvuqPTTzXVZiOlfTMSrGmP+RtQZ1YmyhtvEY8Tu1vLp86ImWDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T17:42:49.315300Z"},"content_sha256":"062e789d01e1e9afeb45dcdf3592a3a6960ae9c5505b2948def25e7dcbbcb4e4","schema_version":"1.0","event_id":"sha256:062e789d01e1e9afeb45dcdf3592a3a6960ae9c5505b2948def25e7dcbbcb4e4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:GDMJXILJJ7N5E3ZFL25GAUUOIB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DeepSTL -- From English Requirements to Signal Temporal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CL","authors_text":"Dejan Ni\\v{c}kovi\\'c, Ezio Bartocci, Haris Isakovic, Jie He, Radu Grosu","submitted_at":"2021-09-21T16:13:29Z","abstract_excerpt":"Formal methods provide very powerful tools and techniques for the design and analysis of complex systems. Their practical application remains however limited, due to the widely accepted belief that formal methods require extensive expertise and a steep learning curve. Writing correct formal specifications in form of logical formulas is still considered to be a difficult and error prone task.\n  In this paper we propose DeepSTL, a tool and technique for the translation of informal requirements, given as free English sentences, into Signal Temporal Logic (STL), a formal specification language for"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.10294","kind":"arxiv","version":4},"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/2109.10294/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-05T04:08:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ss04zBHKESJ8UeJNMklqeWcAMDMOqpdYqyzFAOazBlPmbI2Au7rP7XtJnz+IhGw4Aw4EnOrHQQD6dhJo+QgOBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T17:42:49.315595Z"},"content_sha256":"99f6ee5097abc48da9107be608d20f0e8c358b54e38fb8dba0748c4a71563e5f","schema_version":"1.0","event_id":"sha256:99f6ee5097abc48da9107be608d20f0e8c358b54e38fb8dba0748c4a71563e5f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GDMJXILJJ7N5E3ZFL25GAUUOIB/bundle.json","state_url":"https://pith.science/pith/GDMJXILJJ7N5E3ZFL25GAUUOIB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GDMJXILJJ7N5E3ZFL25GAUUOIB/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-31T17:42:49Z","links":{"resolver":"https://pith.science/pith/GDMJXILJJ7N5E3ZFL25GAUUOIB","bundle":"https://pith.science/pith/GDMJXILJJ7N5E3ZFL25GAUUOIB/bundle.json","state":"https://pith.science/pith/GDMJXILJJ7N5E3ZFL25GAUUOIB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GDMJXILJJ7N5E3ZFL25GAUUOIB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:GDMJXILJJ7N5E3ZFL25GAUUOIB","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":"cab40bf8daaa91a9947c699c7a91dba9ffc258bf2008342feb0f0ae834fcd2f7","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2021-09-21T16:13:29Z","title_canon_sha256":"e7830f9550428e066f8dc5d70ad9fa5f9099fc2bdfc9b41b4fd4f6e011c357da"},"schema_version":"1.0","source":{"id":"2109.10294","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.10294","created_at":"2026-07-05T04:08:16Z"},{"alias_kind":"arxiv_version","alias_value":"2109.10294v4","created_at":"2026-07-05T04:08:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.10294","created_at":"2026-07-05T04:08:16Z"},{"alias_kind":"pith_short_12","alias_value":"GDMJXILJJ7N5","created_at":"2026-07-05T04:08:16Z"},{"alias_kind":"pith_short_16","alias_value":"GDMJXILJJ7N5E3ZF","created_at":"2026-07-05T04:08:16Z"},{"alias_kind":"pith_short_8","alias_value":"GDMJXILJ","created_at":"2026-07-05T04:08:16Z"}],"graph_snapshots":[{"event_id":"sha256:99f6ee5097abc48da9107be608d20f0e8c358b54e38fb8dba0748c4a71563e5f","target":"graph","created_at":"2026-07-05T04:08:16Z","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/2109.10294/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Formal methods provide very powerful tools and techniques for the design and analysis of complex systems. Their practical application remains however limited, due to the widely accepted belief that formal methods require extensive expertise and a steep learning curve. Writing correct formal specifications in form of logical formulas is still considered to be a difficult and error prone task.\n  In this paper we propose DeepSTL, a tool and technique for the translation of informal requirements, given as free English sentences, into Signal Temporal Logic (STL), a formal specification language for","authors_text":"Dejan Ni\\v{c}kovi\\'c, Ezio Bartocci, Haris Isakovic, Jie He, Radu Grosu","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2021-09-21T16:13:29Z","title":"DeepSTL -- From English Requirements to Signal Temporal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.10294","kind":"arxiv","version":4},"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:062e789d01e1e9afeb45dcdf3592a3a6960ae9c5505b2948def25e7dcbbcb4e4","target":"record","created_at":"2026-07-05T04:08:16Z","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":"cab40bf8daaa91a9947c699c7a91dba9ffc258bf2008342feb0f0ae834fcd2f7","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2021-09-21T16:13:29Z","title_canon_sha256":"e7830f9550428e066f8dc5d70ad9fa5f9099fc2bdfc9b41b4fd4f6e011c357da"},"schema_version":"1.0","source":{"id":"2109.10294","kind":"arxiv","version":4}},"canonical_sha256":"30d89ba1694fdbd26f255eba60528e406d3d02edf4ea32d262cf16872f0481fd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"30d89ba1694fdbd26f255eba60528e406d3d02edf4ea32d262cf16872f0481fd","first_computed_at":"2026-07-05T04:08:16.249448Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:08:16.249448Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FnV/egbvYr/IfIELOfbhSoDqhJQnx3dixX/0d5exzhJsEf07y8+NJenUJED3re4IRRhspC4LtS8+9FPN4dnBAg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:08:16.249930Z","signed_message":"canonical_sha256_bytes"},"source_id":"2109.10294","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:062e789d01e1e9afeb45dcdf3592a3a6960ae9c5505b2948def25e7dcbbcb4e4","sha256:99f6ee5097abc48da9107be608d20f0e8c358b54e38fb8dba0748c4a71563e5f"],"state_sha256":"7263d92281350eaf7a9b814ef18fce7c9664bb73fe607450d03296fbf0251353"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NmCvAly6yUEjAOf2aJviewTixROzIrkOkYADer1D1gAgkJLqE/O04/1gHX7B24I7H7uY8ovf4ATcoC580qI2Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-31T17:42:49.318773Z","bundle_sha256":"9d0ce7657bb0dbc64a63902c5b4eca5518f3e27c6606249b803526e7755d888d"}}