{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:N6QWIJXCY2NADWL3XGO2GAKWW6","short_pith_number":"pith:N6QWIJXC","canonical_record":{"source":{"id":"2303.14464","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-03-25T13:17:21Z","cross_cats_sorted":[],"title_canon_sha256":"e12a5c660f2fb4578343adbe562525465aeccc936688172481c7b8d2b85d3d97","abstract_canon_sha256":"ad102b63e6f14bdb3ce1ada02ef0ddacb2b2c5ac66f88fe37c89564039266410"},"schema_version":"1.0"},"canonical_sha256":"6fa16426e2c69a01d97bb99da30156b7bfad1f244618b0f192ce5a48e3ad747b","source":{"kind":"arxiv","id":"2303.14464","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.14464","created_at":"2026-07-05T06:26:47Z"},{"alias_kind":"arxiv_version","alias_value":"2303.14464v2","created_at":"2026-07-05T06:26:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.14464","created_at":"2026-07-05T06:26:47Z"},{"alias_kind":"pith_short_12","alias_value":"N6QWIJXCY2NA","created_at":"2026-07-05T06:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"N6QWIJXCY2NADWL3","created_at":"2026-07-05T06:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"N6QWIJXC","created_at":"2026-07-05T06:26:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:N6QWIJXCY2NADWL3XGO2GAKWW6","target":"record","payload":{"canonical_record":{"source":{"id":"2303.14464","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-03-25T13:17:21Z","cross_cats_sorted":[],"title_canon_sha256":"e12a5c660f2fb4578343adbe562525465aeccc936688172481c7b8d2b85d3d97","abstract_canon_sha256":"ad102b63e6f14bdb3ce1ada02ef0ddacb2b2c5ac66f88fe37c89564039266410"},"schema_version":"1.0"},"canonical_sha256":"6fa16426e2c69a01d97bb99da30156b7bfad1f244618b0f192ce5a48e3ad747b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:26:47.323966Z","signature_b64":"aUkB5bHb+PllEz6T24IySE//45Nv6XXoyj2SL3zqQ4njgW0dQvJvfckaNVxJ7Va8QjXD7PpK1yfDoKUwfwATBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6fa16426e2c69a01d97bb99da30156b7bfad1f244618b0f192ce5a48e3ad747b","last_reissued_at":"2026-07-05T06:26:47.323410Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:26:47.323410Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.14464","source_version":2,"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-07-05T06:26:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3ztWw0XdgIZAPVqNCJYoGsH5yx+G7L+2+K5EOSYjDCW/9xsKHabNqLNHwbrcQtfW1Gm9HtH3FUhB5CcrT/moBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T22:03:09.171126Z"},"content_sha256":"734b59d4684300bd08574d72ca555e3be39aaaddbe645220d43c45a52e7e129c","schema_version":"1.0","event_id":"sha256:734b59d4684300bd08574d72ca555e3be39aaaddbe645220d43c45a52e7e129c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:N6QWIJXCY2NADWL3XGO2GAKWW6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifying Properties of Tsetlin Machines","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Ana Ozaki, Bimal Bhattarai, Cosimo Persia, Emilia Przybysz, Jivitesh Sharma, Ole-Christoffer Granmo","submitted_at":"2023-03-25T13:17:21Z","abstract_excerpt":"Tsetlin Machines (TsMs) are a promising and interpretable machine learning method which can be applied for various classification tasks. We present an exact encoding of TsMs into propositional logic and formally verify properties of TsMs using a SAT solver. In particular, we introduce in this work a notion of similarity of machine learning models and apply our notion to check for similarity of TsMs. We also consider notions of robustness and equivalence from the literature and adapt them for TsMs. Then, we show the correctness of our encoding and provide results for the properties: adversarial"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.14464","kind":"arxiv","version":2},"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/2303.14464/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"},"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-07-05T06:26:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"35OeYtgiVzkGzg/UmNlWAgXdUnquC2wJJZNs6LLuuawVr5XKu1TxP2gVsVXfFiL+TTk67b4wuUyDBMjIsXoGAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T22:03:09.172900Z"},"content_sha256":"a0c62b93317b95418d5ac1120b37cbbb9394730ad996cd8287632f598b5c06cf","schema_version":"1.0","event_id":"sha256:a0c62b93317b95418d5ac1120b37cbbb9394730ad996cd8287632f598b5c06cf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N6QWIJXCY2NADWL3XGO2GAKWW6/bundle.json","state_url":"https://pith.science/pith/N6QWIJXCY2NADWL3XGO2GAKWW6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N6QWIJXCY2NADWL3XGO2GAKWW6/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-08-23T22:03:09Z","links":{"resolver":"https://pith.science/pith/N6QWIJXCY2NADWL3XGO2GAKWW6","bundle":"https://pith.science/pith/N6QWIJXCY2NADWL3XGO2GAKWW6/bundle.json","state":"https://pith.science/pith/N6QWIJXCY2NADWL3XGO2GAKWW6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N6QWIJXCY2NADWL3XGO2GAKWW6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:N6QWIJXCY2NADWL3XGO2GAKWW6","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":"ad102b63e6f14bdb3ce1ada02ef0ddacb2b2c5ac66f88fe37c89564039266410","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-03-25T13:17:21Z","title_canon_sha256":"e12a5c660f2fb4578343adbe562525465aeccc936688172481c7b8d2b85d3d97"},"schema_version":"1.0","source":{"id":"2303.14464","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.14464","created_at":"2026-07-05T06:26:47Z"},{"alias_kind":"arxiv_version","alias_value":"2303.14464v2","created_at":"2026-07-05T06:26:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.14464","created_at":"2026-07-05T06:26:47Z"},{"alias_kind":"pith_short_12","alias_value":"N6QWIJXCY2NA","created_at":"2026-07-05T06:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"N6QWIJXCY2NADWL3","created_at":"2026-07-05T06:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"N6QWIJXC","created_at":"2026-07-05T06:26:47Z"}],"graph_snapshots":[{"event_id":"sha256:a0c62b93317b95418d5ac1120b37cbbb9394730ad996cd8287632f598b5c06cf","target":"graph","created_at":"2026-07-05T06:26:47Z","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/2303.14464/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Tsetlin Machines (TsMs) are a promising and interpretable machine learning method which can be applied for various classification tasks. We present an exact encoding of TsMs into propositional logic and formally verify properties of TsMs using a SAT solver. In particular, we introduce in this work a notion of similarity of machine learning models and apply our notion to check for similarity of TsMs. We also consider notions of robustness and equivalence from the literature and adapt them for TsMs. Then, we show the correctness of our encoding and provide results for the properties: adversarial","authors_text":"Ana Ozaki, Bimal Bhattarai, Cosimo Persia, Emilia Przybysz, Jivitesh Sharma, Ole-Christoffer Granmo","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-03-25T13:17:21Z","title":"Verifying Properties of Tsetlin Machines"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.14464","kind":"arxiv","version":2},"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:734b59d4684300bd08574d72ca555e3be39aaaddbe645220d43c45a52e7e129c","target":"record","created_at":"2026-07-05T06:26:47Z","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":"ad102b63e6f14bdb3ce1ada02ef0ddacb2b2c5ac66f88fe37c89564039266410","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-03-25T13:17:21Z","title_canon_sha256":"e12a5c660f2fb4578343adbe562525465aeccc936688172481c7b8d2b85d3d97"},"schema_version":"1.0","source":{"id":"2303.14464","kind":"arxiv","version":2}},"canonical_sha256":"6fa16426e2c69a01d97bb99da30156b7bfad1f244618b0f192ce5a48e3ad747b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6fa16426e2c69a01d97bb99da30156b7bfad1f244618b0f192ce5a48e3ad747b","first_computed_at":"2026-07-05T06:26:47.323410Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:26:47.323410Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aUkB5bHb+PllEz6T24IySE//45Nv6XXoyj2SL3zqQ4njgW0dQvJvfckaNVxJ7Va8QjXD7PpK1yfDoKUwfwATBA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:26:47.323966Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.14464","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:734b59d4684300bd08574d72ca555e3be39aaaddbe645220d43c45a52e7e129c","sha256:a0c62b93317b95418d5ac1120b37cbbb9394730ad996cd8287632f598b5c06cf"],"state_sha256":"58358c8930ae015cb4bb3304ff69e16642caa31ffced49778332db351d76d3b5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N9kKpgjHq5tVawqPzVrps/o7ZYTpYBM6ABuNvCtJFodREPyYYVq/rgaoFSLJGHu5FYg4EVkQE4IswXOiKzXfDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T22:03:09.179493Z","bundle_sha256":"257e11089ac449a247fd3e5b63f877f256bb001644ed33bf06db68b912751102"}}