{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:KP45BC2FHBGCLZU6SOPZXNZZC5","short_pith_number":"pith:KP45BC2F","canonical_record":{"source":{"id":"1707.09430","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ML","submitted_at":"2017-07-28T22:19:50Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"5d579c7675875dcf5eb096fc67673c778a7428f86b1b4eee102df1bb3d79f90f","abstract_canon_sha256":"a32670da0e3cab47aacc266d2ba69df6c0df7ce0e04141be5937b1d712744367"},"schema_version":"1.0"},"canonical_sha256":"53f9d08b45384c25e69e939f9bb739176ca7e634236bccb54b16f848a7fdc064","source":{"kind":"arxiv","id":"1707.09430","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.09430","created_at":"2026-05-18T00:39:11Z"},{"alias_kind":"arxiv_version","alias_value":"1707.09430v1","created_at":"2026-05-18T00:39:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.09430","created_at":"2026-05-18T00:39:11Z"},{"alias_kind":"pith_short_12","alias_value":"KP45BC2FHBGC","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"KP45BC2FHBGCLZU6","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"KP45BC2F","created_at":"2026-05-18T12:31:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:KP45BC2FHBGCLZU6SOPZXNZZC5","target":"record","payload":{"canonical_record":{"source":{"id":"1707.09430","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ML","submitted_at":"2017-07-28T22:19:50Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"5d579c7675875dcf5eb096fc67673c778a7428f86b1b4eee102df1bb3d79f90f","abstract_canon_sha256":"a32670da0e3cab47aacc266d2ba69df6c0df7ce0e04141be5937b1d712744367"},"schema_version":"1.0"},"canonical_sha256":"53f9d08b45384c25e69e939f9bb739176ca7e634236bccb54b16f848a7fdc064","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:11.301251Z","signature_b64":"669QKyFCvXsWBpS5URPdwm7ULg8yyCuIjyj7RRv0ziwGBi1KKHXXoNKz9r6Fdtl2pvwNCBTc822AVIOBaKhsAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"53f9d08b45384c25e69e939f9bb739176ca7e634236bccb54b16f848a7fdc064","last_reissued_at":"2026-05-18T00:39:11.300708Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:11.300708Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.09430","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-05-18T00:39:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qwTr5V7YHNPALwW4nAFzR9rMkmWV7iA1/rEKM1sunON9/eJCoWjSwzgIg46KmXQR13geOK/oevflc/tbRNQjAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T16:56:11.760786Z"},"content_sha256":"c7372307d9656d77d0582e6d5cfbadfa3e86913233834f025bcfe7ec506ca24b","schema_version":"1.0","event_id":"sha256:c7372307d9656d77d0582e6d5cfbadfa3e86913233834f025bcfe7ec506ca24b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:KP45BC2FHBGCLZU6SOPZXNZZC5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"stat.ML","authors_text":"Christian A. Hammerschmidt, Radu State, Sicco Verwer","submitted_at":"2017-07-28T22:19:50Z","abstract_excerpt":"We present an interactive version of an evidence-driven state-merging (EDSM) algorithm for learning variants of finite state automata. Learning these automata often amounts to recovering or reverse engineering the model generating the data despite noisy, incomplete, or imperfectly sampled data sources rather than optimizing a purely numeric target function. Domain expertise and human knowledge about the target domain can guide this process, and typically is captured in parameter settings. Often, domain expertise is subconscious and not expressed explicitly. Directly interacting with the learni"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.09430","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":""},"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-05-18T00:39:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f+Jl8C/h7UwwH7u3rs58+N9tHd3OVD5DqYtSEd/BvsiJy0Znp4UdzIGEjQvT8sFcKo5DBDsKLCSRDRcHZsEYBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T16:56:11.761135Z"},"content_sha256":"29b81e88fcd95503067fa09b712f9b7cace0a638a00fbca3e3b1f7b2e67aae14","schema_version":"1.0","event_id":"sha256:29b81e88fcd95503067fa09b712f9b7cace0a638a00fbca3e3b1f7b2e67aae14"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KP45BC2FHBGCLZU6SOPZXNZZC5/bundle.json","state_url":"https://pith.science/pith/KP45BC2FHBGCLZU6SOPZXNZZC5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KP45BC2FHBGCLZU6SOPZXNZZC5/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-06-01T16:56:11Z","links":{"resolver":"https://pith.science/pith/KP45BC2FHBGCLZU6SOPZXNZZC5","bundle":"https://pith.science/pith/KP45BC2FHBGCLZU6SOPZXNZZC5/bundle.json","state":"https://pith.science/pith/KP45BC2FHBGCLZU6SOPZXNZZC5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KP45BC2FHBGCLZU6SOPZXNZZC5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:KP45BC2FHBGCLZU6SOPZXNZZC5","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":"a32670da0e3cab47aacc266d2ba69df6c0df7ce0e04141be5937b1d712744367","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ML","submitted_at":"2017-07-28T22:19:50Z","title_canon_sha256":"5d579c7675875dcf5eb096fc67673c778a7428f86b1b4eee102df1bb3d79f90f"},"schema_version":"1.0","source":{"id":"1707.09430","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.09430","created_at":"2026-05-18T00:39:11Z"},{"alias_kind":"arxiv_version","alias_value":"1707.09430v1","created_at":"2026-05-18T00:39:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.09430","created_at":"2026-05-18T00:39:11Z"},{"alias_kind":"pith_short_12","alias_value":"KP45BC2FHBGC","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"KP45BC2FHBGCLZU6","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"KP45BC2F","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:29b81e88fcd95503067fa09b712f9b7cace0a638a00fbca3e3b1f7b2e67aae14","target":"graph","created_at":"2026-05-18T00:39:11Z","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"},"paper":{"abstract_excerpt":"We present an interactive version of an evidence-driven state-merging (EDSM) algorithm for learning variants of finite state automata. Learning these automata often amounts to recovering or reverse engineering the model generating the data despite noisy, incomplete, or imperfectly sampled data sources rather than optimizing a purely numeric target function. Domain expertise and human knowledge about the target domain can guide this process, and typically is captured in parameter settings. Often, domain expertise is subconscious and not expressed explicitly. Directly interacting with the learni","authors_text":"Christian A. Hammerschmidt, Radu State, Sicco Verwer","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ML","submitted_at":"2017-07-28T22:19:50Z","title":"Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.09430","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:c7372307d9656d77d0582e6d5cfbadfa3e86913233834f025bcfe7ec506ca24b","target":"record","created_at":"2026-05-18T00:39:11Z","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":"a32670da0e3cab47aacc266d2ba69df6c0df7ce0e04141be5937b1d712744367","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.ML","submitted_at":"2017-07-28T22:19:50Z","title_canon_sha256":"5d579c7675875dcf5eb096fc67673c778a7428f86b1b4eee102df1bb3d79f90f"},"schema_version":"1.0","source":{"id":"1707.09430","kind":"arxiv","version":1}},"canonical_sha256":"53f9d08b45384c25e69e939f9bb739176ca7e634236bccb54b16f848a7fdc064","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"53f9d08b45384c25e69e939f9bb739176ca7e634236bccb54b16f848a7fdc064","first_computed_at":"2026-05-18T00:39:11.300708Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:11.300708Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"669QKyFCvXsWBpS5URPdwm7ULg8yyCuIjyj7RRv0ziwGBi1KKHXXoNKz9r6Fdtl2pvwNCBTc822AVIOBaKhsAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:11.301251Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.09430","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c7372307d9656d77d0582e6d5cfbadfa3e86913233834f025bcfe7ec506ca24b","sha256:29b81e88fcd95503067fa09b712f9b7cace0a638a00fbca3e3b1f7b2e67aae14"],"state_sha256":"6e534fe3c62ed91cf25d8be3c6f98cde0df7c8887bc59d64ce8730f4bac28ac9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k2477IPyysfKDPWF/hY014otCmZjPTTtTtpj6zLiH/khf1cfciwXS2eHYgLblYHpWCKa+SuJJMBlHu+K6OX+BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T16:56:11.763175Z","bundle_sha256":"fe2ee64f0dc7079a37e424ed1690e3fdbf7376019cedd0b8d646d5f5e6862621"}}