{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:NEOKPVI6GIS6WLJNMSO57VWJBP","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":"db845212d886122057a984d7835142d1dbed6c7ab6757c5732511f76e1525075","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2017-08-27T11:47:57Z","title_canon_sha256":"9972377e349e42fefb1196244705f60ce392106dd389094f8f8b6d02f29e1ba9"},"schema_version":"1.0","source":{"id":"1708.08081","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.08081","created_at":"2026-05-18T00:36:37Z"},{"alias_kind":"arxiv_version","alias_value":"1708.08081v1","created_at":"2026-05-18T00:36:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.08081","created_at":"2026-05-18T00:36:37Z"},{"alias_kind":"pith_short_12","alias_value":"NEOKPVI6GIS6","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NEOKPVI6GIS6WLJN","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NEOKPVI6","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:6c731db88d67b062e492af0b46e0c9baeb30f5b33dd713148e2ba73764671756","target":"graph","created_at":"2026-05-18T00:36:37Z","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 study the classification problems over string data for hypotheses specified by formulas of monadic second-order logic MSO. The goal is to design learning algorithms that run in time polynomial in the size of the training set, independently of or at least sublinear in the size of the whole data set. We prove negative as well as positive results. If the data set is an unprocessed string to which our algorithms have local access, then learning in sublinear time is impossible even for hypotheses definable in a small fragment of first-order logic. If we allow for a linear time pre-processing of ","authors_text":"Christof L\\\"oding, Martin Grohe, Martin Ritzert","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2017-08-27T11:47:57Z","title":"Learning MSO-definable hypotheses on string"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.08081","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:84b61a2d946ba97f206562f5fb92790ec4854787d5bf5e1cbd1245ffd48abee2","target":"record","created_at":"2026-05-18T00:36:37Z","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":"db845212d886122057a984d7835142d1dbed6c7ab6757c5732511f76e1525075","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2017-08-27T11:47:57Z","title_canon_sha256":"9972377e349e42fefb1196244705f60ce392106dd389094f8f8b6d02f29e1ba9"},"schema_version":"1.0","source":{"id":"1708.08081","kind":"arxiv","version":1}},"canonical_sha256":"691ca7d51e3225eb2d2d649ddfd6c90bc324febf69853eea2f81e93b8ff80fe8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"691ca7d51e3225eb2d2d649ddfd6c90bc324febf69853eea2f81e93b8ff80fe8","first_computed_at":"2026-05-18T00:36:37.094896Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:36:37.094896Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CCVkghocwIQl2DK3yIJo5CY7ESYEFBs39+CeccylFzl9hdnRMkwBCBu6mddhQI3fLePpTCLQ706cbvpdLwEyBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:36:37.095571Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.08081","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:84b61a2d946ba97f206562f5fb92790ec4854787d5bf5e1cbd1245ffd48abee2","sha256:6c731db88d67b062e492af0b46e0c9baeb30f5b33dd713148e2ba73764671756"],"state_sha256":"5292230c07cd320cd1e7db8995c5c3e84491662481e0307c88a3b6c9743855ba"}