{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VLG6YYXUM5OAPTXRK6AUY2BLIX","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":"692e5d58b58834a6dd1b5bc1037a040f7e0f8af48b92c1f24fb0f6eea5abbed0","cross_cats_sorted":["cs.FL","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-09-02T16:40:38Z","title_canon_sha256":"44fab9e0259ce1b339c2784e1f6b5d7fc73dde0b28da01e52418f5cc6288d9b3"},"schema_version":"1.0","source":{"id":"2509.02491","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.02491","created_at":"2026-07-05T12:03:39Z"},{"alias_kind":"arxiv_version","alias_value":"2509.02491v1","created_at":"2026-07-05T12:03:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.02491","created_at":"2026-07-05T12:03:39Z"},{"alias_kind":"pith_short_12","alias_value":"VLG6YYXUM5OA","created_at":"2026-07-05T12:03:39Z"},{"alias_kind":"pith_short_16","alias_value":"VLG6YYXUM5OAPTXR","created_at":"2026-07-05T12:03:39Z"},{"alias_kind":"pith_short_8","alias_value":"VLG6YYXU","created_at":"2026-07-05T12:03:39Z"}],"graph_snapshots":[{"event_id":"sha256:030aaae52ef1109f79dab067317f88785dd9eaf82e180c856c493e425537c96c","target":"graph","created_at":"2026-07-05T12:03:39Z","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/2509.02491/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"B\\\"uchi automata (BAs) recognize $\\omega$-regular languages defined by formal specifications like linear temporal logic (LTL) and are commonly used in the verification of reactive systems. However, BAs face scalability challenges when handling and manipulating complex system behaviors. As neural networks are increasingly used to address these scalability challenges in areas like model checking, investigating their ability to generalize beyond training data becomes necessary. This work presents the first study investigating whether recurrent neural networks (RNNs) can generalize to $\\omega$-reg","authors_text":"Alessandra Russo, Charles Pert, Dalal Alrajeh","cross_cats":["cs.FL","cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-09-02T16:40:38Z","title":"RNN Generalization to Omega-Regular Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.02491","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:f6b9e5c72345da170a8e67602f03fa62d806bc893d98b31147990b756d2ae0ad","target":"record","created_at":"2026-07-05T12:03:39Z","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":"692e5d58b58834a6dd1b5bc1037a040f7e0f8af48b92c1f24fb0f6eea5abbed0","cross_cats_sorted":["cs.FL","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-09-02T16:40:38Z","title_canon_sha256":"44fab9e0259ce1b339c2784e1f6b5d7fc73dde0b28da01e52418f5cc6288d9b3"},"schema_version":"1.0","source":{"id":"2509.02491","kind":"arxiv","version":1}},"canonical_sha256":"aacdec62f4675c07cef157814c682b45d006dbda7333bcbbbeece844ced9580b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aacdec62f4675c07cef157814c682b45d006dbda7333bcbbbeece844ced9580b","first_computed_at":"2026-07-05T12:03:39.513080Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:03:39.513080Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UCfVbs5j048RU3eDZQaqHo1kBy6EA8nNO10/J3XfnOGyX3IPVilYKCnQYZCafIZh8ePSfRouvfexBUgLFMDlCg==","signature_status":"signed_v1","signed_at":"2026-07-05T12:03:39.514588Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.02491","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f6b9e5c72345da170a8e67602f03fa62d806bc893d98b31147990b756d2ae0ad","sha256:030aaae52ef1109f79dab067317f88785dd9eaf82e180c856c493e425537c96c"],"state_sha256":"2409cb675fcaf557d9b5fea0d546095b6bf0814b744f861aef9c8d20e7d6872d"}