{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:O7PMU5LI2ADIJVYCKN4K3SDGEJ","short_pith_number":"pith:O7PMU5LI","schema_version":"1.0","canonical_sha256":"77deca7568d00684d7025378adc86622477e9eda24995ae69e0d58d68f4de20f","source":{"kind":"arxiv","id":"2208.05440","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2208.05440","created_at":"2026-07-05T04:47:36.035550+00:00"},{"alias_kind":"arxiv_version","alias_value":"2208.05440v1","created_at":"2026-07-05T04:47:36.035550+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.05440","created_at":"2026-07-05T04:47:36.035550+00:00"},{"alias_kind":"pith_short_12","alias_value":"O7PMU5LI2ADI","created_at":"2026-07-05T04:47:36.035550+00:00"},{"alias_kind":"pith_short_16","alias_value":"O7PMU5LI2ADIJVYC","created_at":"2026-07-05T04:47:36.035550+00:00"},{"alias_kind":"pith_short_8","alias_value":"O7PMU5LI","created_at":"2026-07-05T04:47:36.035550+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ","json":"https://pith.science/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ.json","graph_json":"https://pith.science/api/pith-number/O7PMU5LI2ADIJVYCKN4K3SDGEJ/graph.json","events_json":"https://pith.science/api/pith-number/O7PMU5LI2ADIJVYCKN4K3SDGEJ/events.json","paper":"https://pith.science/paper/O7PMU5LI"},"agent_actions":{"view_html":"https://pith.science/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ","download_json":"https://pith.science/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ.json","view_paper":"https://pith.science/paper/O7PMU5LI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2208.05440&json=true","fetch_graph":"https://pith.science/api/pith-number/O7PMU5LI2ADIJVYCKN4K3SDGEJ/graph.json","fetch_events":"https://pith.science/api/pith-number/O7PMU5LI2ADIJVYCKN4K3SDGEJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ/action/storage_attestation","attest_author":"https://pith.science/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ/action/author_attestation","sign_citation":"https://pith.science/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ/action/citation_signature","submit_replication":"https://pith.science/pith/O7PMU5LI2ADIJVYCKN4K3SDGEJ/action/replication_record"}},"created_at":"2026-07-05T04:47:36.035550+00:00","updated_at":"2026-07-05T04:47:36.035550+00:00"}