{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:GNN5T7GVU6C7F6OGNVUEQIB6TS","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":"0a9409f8de1c968f894d9a253e03487ffee40e3206bc70222c81e11c01e9ae56","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2026-06-04T11:45:39Z","title_canon_sha256":"892e4c7512b8bda82754ddef1222ea6928d1e933c8a9b2a342434cacd5784ec3"},"schema_version":"1.0","source":{"id":"2606.06050","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.06050","created_at":"2026-06-05T01:15:31Z"},{"alias_kind":"arxiv_version","alias_value":"2606.06050v1","created_at":"2026-06-05T01:15:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.06050","created_at":"2026-06-05T01:15:31Z"},{"alias_kind":"pith_short_12","alias_value":"GNN5T7GVU6C7","created_at":"2026-06-05T01:15:31Z"},{"alias_kind":"pith_short_16","alias_value":"GNN5T7GVU6C7F6OG","created_at":"2026-06-05T01:15:31Z"},{"alias_kind":"pith_short_8","alias_value":"GNN5T7GV","created_at":"2026-06-05T01:15:31Z"}],"graph_snapshots":[{"event_id":"sha256:77306e034734db78767ab139aac12526da9bc63de331ab7ee9ef1cc69530f811","target":"graph","created_at":"2026-06-05T01:15:31Z","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.06050/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Symbolic automata extend classical finite-state automata to handle large or infinite alphabets by labeling transitions by predicates coming from a boolean algebra. Many results from automata theory have been lifted to this model, and it has proved its usefulness for example in multiple software verification applications. Here, we tackle the passive learning problem of identification in the limit, i.e. learning a model from a sample without access to an oracle to query. We provide an algorithm, SAI, that efficiently identifies in the limit symbolic automata over any monotonic algebra where pred","authors_text":"Erwann Loulergue, Peter Habermehl","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2026-06-04T11:45:39Z","title":"Passive Learning of Symbolic Automata over Monotonic Algebras"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.06050","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:785e2537f0d92c71250e3f7e92634cf4e83d594604a90876a84b3a3a1e2af651","target":"record","created_at":"2026-06-05T01:15:31Z","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":"0a9409f8de1c968f894d9a253e03487ffee40e3206bc70222c81e11c01e9ae56","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2026-06-04T11:45:39Z","title_canon_sha256":"892e4c7512b8bda82754ddef1222ea6928d1e933c8a9b2a342434cacd5784ec3"},"schema_version":"1.0","source":{"id":"2606.06050","kind":"arxiv","version":1}},"canonical_sha256":"335bd9fcd5a785f2f9c66d6848203e9c83cfb8354e5a672b66f98761bc19b14d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"335bd9fcd5a785f2f9c66d6848203e9c83cfb8354e5a672b66f98761bc19b14d","first_computed_at":"2026-06-05T01:15:31.567471Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-05T01:15:31.567471Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1lYTiwYP7UtUOgr4FOuqpnyE/AeVnd+u0ZGTjw97cVF5v0gPnjzuuA/Afn4OZdf/SICinffP6jnt3qFX4maIDg==","signature_status":"signed_v1","signed_at":"2026-06-05T01:15:31.567863Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.06050","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:785e2537f0d92c71250e3f7e92634cf4e83d594604a90876a84b3a3a1e2af651","sha256:77306e034734db78767ab139aac12526da9bc63de331ab7ee9ef1cc69530f811"],"state_sha256":"63bd831b53d7b893e4ac07518c668c036dbe0b550d34c0d18a22815459444d6f"}