{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:O7PMU5LI2ADIJVYCKN4K3SDGEJ","short_pith_number":"pith:O7PMU5LI","canonical_record":{"source":{"id":"2208.05440","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-08-10T16:52:23Z","cross_cats_sorted":["cs.AI","cs.LO","cs.SE"],"title_canon_sha256":"31baa140eabaef1ad7901a199b74a7757ff1b633c44be7b8a200b36776b7588e","abstract_canon_sha256":"8f38191de5c7d9d7069b67ef0b282f6c199b625d311bb4783dc5a5a6036244a1"},"schema_version":"1.0"},"canonical_sha256":"77deca7568d00684d7025378adc86622477e9eda24995ae69e0d58d68f4de20f","source":{"kind":"arxiv","id":"2208.05440","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.05440","created_at":"2026-07-05T04:47:36Z"},{"alias_kind":"arxiv_version","alias_value":"2208.05440v1","created_at":"2026-07-05T04:47:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.05440","created_at":"2026-07-05T04:47:36Z"},{"alias_kind":"pith_short_12","alias_value":"O7PMU5LI2ADI","created_at":"2026-07-05T04:47:36Z"},{"alias_kind":"pith_short_16","alias_value":"O7PMU5LI2ADIJVYC","created_at":"2026-07-05T04:47:36Z"},{"alias_kind":"pith_short_8","alias_value":"O7PMU5LI","created_at":"2026-07-05T04:47:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:O7PMU5LI2ADIJVYCKN4K3SDGEJ","target":"record","payload":{"canonical_record":{"source":{"id":"2208.05440","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-08-10T16:52:23Z","cross_cats_sorted":["cs.AI","cs.LO","cs.SE"],"title_canon_sha256":"31baa140eabaef1ad7901a199b74a7757ff1b633c44be7b8a200b36776b7588e","abstract_canon_sha256":"8f38191de5c7d9d7069b67ef0b282f6c199b625d311bb4783dc5a5a6036244a1"},"schema_version":"1.0"},"canonical_sha256":"77deca7568d00684d7025378adc86622477e9eda24995ae69e0d58d68f4de20f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:47:36.035945Z","signature_b64":"wbSqF8uICUqf+br3kLBM2zcWPbGQSmjgBltS5dRBvuqXczUnVymgn3/wTyOwfNdrhm+pvk/Mhngm/a0CSG7bCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77deca7568d00684d7025378adc86622477e9eda24995ae69e0d58d68f4de20f","last_reissued_at":"2026-07-05T04:47:36.035493Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:47:36.035493Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2208.05440","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-05T04:47:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pVuLXFLoSt81oNxgQQon8qffqOJ/IAkJ9WPBoERoyIpN300zEYAc7jn/Wu5JZ5k07z4YJJQuWaqcnuICLo8SCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T23:30:42.904758Z"},"content_sha256":"9c3290dff0344e5d59de5a07f8aed6e9c654d1b8b696afcecee3bf9fc697825b","schema_version":"1.0","event_id":"sha256:9c3290dff0344e5d59de5a07f8aed6e9c654d1b8b696afcecee3bf9fc697825b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:O7PMU5LI2ADIJVYCKN4K3SDGEJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Differentiable Inference of Temporal Logic Formulas","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LO","cs.SE"],"primary_cat":"cs.LG","authors_text":"Houssam Abbas, Nicole Fronda","submitted_at":"2022-08-10T16:52:23Z","abstract_excerpt":"We demonstrate the first Recurrent Neural Network architecture for learning Signal Temporal Logic formulas, and present the first systematic comparison of formula inference methods. Legacy systems embed much expert knowledge which is not explicitly formalized. There is great interest in learning formal specifications that characterize the ideal behavior of such systems -- that is, formulas in temporal logic that are satisfied by the system's output signals. Such specifications can be used to better understand the system's behavior and improve design of its next iteration. Previous inference me"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.05440","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/2208.05440/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:47:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZmwfzQ75s+9URsFJnU2aC8xsDSZlCkGJ1Vo5lps/e6/jS3ki+e1Y2+CTEt7d/WkWUk6PYHNRgQ8ySDXYLZ80AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T23:30:42.905633Z"},"content_sha256":"f5aae3aff6452b9d3934fdf09b54e51dff13ddb268d3713b9226a9336a96c1eb","schema_version":"1.0","event_id":"sha256:f5aae3aff6452b9d3934fdf09b54e51dff13ddb268d3713b9226a9336a96c1eb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ/bundle.json","state_url":"https://pith.science/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ/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-04T23:30:42Z","links":{"resolver":"https://pith.science/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ","bundle":"https://pith.science/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ/bundle.json","state":"https://pith.science/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:O7PMU5LI2ADIJVYCKN4K3SDGEJ","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":"8f38191de5c7d9d7069b67ef0b282f6c199b625d311bb4783dc5a5a6036244a1","cross_cats_sorted":["cs.AI","cs.LO","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-08-10T16:52:23Z","title_canon_sha256":"31baa140eabaef1ad7901a199b74a7757ff1b633c44be7b8a200b36776b7588e"},"schema_version":"1.0","source":{"id":"2208.05440","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.05440","created_at":"2026-07-05T04:47:36Z"},{"alias_kind":"arxiv_version","alias_value":"2208.05440v1","created_at":"2026-07-05T04:47:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.05440","created_at":"2026-07-05T04:47:36Z"},{"alias_kind":"pith_short_12","alias_value":"O7PMU5LI2ADI","created_at":"2026-07-05T04:47:36Z"},{"alias_kind":"pith_short_16","alias_value":"O7PMU5LI2ADIJVYC","created_at":"2026-07-05T04:47:36Z"},{"alias_kind":"pith_short_8","alias_value":"O7PMU5LI","created_at":"2026-07-05T04:47:36Z"}],"graph_snapshots":[{"event_id":"sha256:f5aae3aff6452b9d3934fdf09b54e51dff13ddb268d3713b9226a9336a96c1eb","target":"graph","created_at":"2026-07-05T04:47:36Z","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/2208.05440/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We demonstrate the first Recurrent Neural Network architecture for learning Signal Temporal Logic formulas, and present the first systematic comparison of formula inference methods. Legacy systems embed much expert knowledge which is not explicitly formalized. There is great interest in learning formal specifications that characterize the ideal behavior of such systems -- that is, formulas in temporal logic that are satisfied by the system's output signals. Such specifications can be used to better understand the system's behavior and improve design of its next iteration. Previous inference me","authors_text":"Houssam Abbas, Nicole Fronda","cross_cats":["cs.AI","cs.LO","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-08-10T16:52:23Z","title":"Differentiable Inference of Temporal Logic Formulas"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.05440","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:9c3290dff0344e5d59de5a07f8aed6e9c654d1b8b696afcecee3bf9fc697825b","target":"record","created_at":"2026-07-05T04:47:36Z","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":"8f38191de5c7d9d7069b67ef0b282f6c199b625d311bb4783dc5a5a6036244a1","cross_cats_sorted":["cs.AI","cs.LO","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-08-10T16:52:23Z","title_canon_sha256":"31baa140eabaef1ad7901a199b74a7757ff1b633c44be7b8a200b36776b7588e"},"schema_version":"1.0","source":{"id":"2208.05440","kind":"arxiv","version":1}},"canonical_sha256":"77deca7568d00684d7025378adc86622477e9eda24995ae69e0d58d68f4de20f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"77deca7568d00684d7025378adc86622477e9eda24995ae69e0d58d68f4de20f","first_computed_at":"2026-07-05T04:47:36.035493Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:47:36.035493Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wbSqF8uICUqf+br3kLBM2zcWPbGQSmjgBltS5dRBvuqXczUnVymgn3/wTyOwfNdrhm+pvk/Mhngm/a0CSG7bCw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:47:36.035945Z","signed_message":"canonical_sha256_bytes"},"source_id":"2208.05440","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9c3290dff0344e5d59de5a07f8aed6e9c654d1b8b696afcecee3bf9fc697825b","sha256:f5aae3aff6452b9d3934fdf09b54e51dff13ddb268d3713b9226a9336a96c1eb"],"state_sha256":"2747fb0a277a4b82b25f7b6cd20a072f3dab4b9e707a0df008ca3b895c23af7a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NQzGZx99e0WY0qP2IeMfOv6+gDRlF7Ptb4ggxWwBx+7BJpVfYQ0/akCs5CGLAwVROJ2jBQyHffJlwvmtLaSFAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T23:30:42.920418Z","bundle_sha256":"8a1f9df73d306145c1c4481f85fe8d9c8512d2b624341f58c38eea9e523a268b"}}