{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:XFRG7J4U3K3CXFJRUIN4I3UWL2","short_pith_number":"pith:XFRG7J4U","canonical_record":{"source":{"id":"2310.13897","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2023-10-21T03:26:39Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"fa1500149c4c8d648e215792865a7de3cacb870519f38e664e29ee1dbdc13597","abstract_canon_sha256":"9ae2f91a43ec8d2ce6c6e26144560daab123b810465d6916522f603e8282e782"},"schema_version":"1.0"},"canonical_sha256":"b9626fa794dab62b9531a21bc46e965e8ac70c96c3925e478a700333c8d55bcd","source":{"kind":"arxiv","id":"2310.13897","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.13897","created_at":"2026-07-05T09:28:09Z"},{"alias_kind":"arxiv_version","alias_value":"2310.13897v4","created_at":"2026-07-05T09:28:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.13897","created_at":"2026-07-05T09:28:09Z"},{"alias_kind":"pith_short_12","alias_value":"XFRG7J4U3K3C","created_at":"2026-07-05T09:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"XFRG7J4U3K3CXFJR","created_at":"2026-07-05T09:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"XFRG7J4U","created_at":"2026-07-05T09:28:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:XFRG7J4U3K3CXFJRUIN4I3UWL2","target":"record","payload":{"canonical_record":{"source":{"id":"2310.13897","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2023-10-21T03:26:39Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"fa1500149c4c8d648e215792865a7de3cacb870519f38e664e29ee1dbdc13597","abstract_canon_sha256":"9ae2f91a43ec8d2ce6c6e26144560daab123b810465d6916522f603e8282e782"},"schema_version":"1.0"},"canonical_sha256":"b9626fa794dab62b9531a21bc46e965e8ac70c96c3925e478a700333c8d55bcd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:28:09.687279Z","signature_b64":"FSMB0hHFGsAjfRf3K8MHT0OVNtudNrqHp7t+lS9gV15gVpkkIo5L9EY3ykvc/wzsn0qXrySPD85w28L9HynACg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b9626fa794dab62b9531a21bc46e965e8ac70c96c3925e478a700333c8d55bcd","last_reissued_at":"2026-07-05T09:28:09.686832Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:28:09.686832Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2310.13897","source_version":4,"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-05T09:28:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cgbI9kRDSQ7ERAa3N5sHzayZWCC1mbv1+y6NS10Oc+XD1hlK/7JEAu5xq2xRGCY+ygr4sSkN3PKc1FbfRADjDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T15:37:14.252280Z"},"content_sha256":"9aad62845578607ac5767d7d91bb72d591605d6503e27a1f19a113107e68d17e","schema_version":"1.0","event_id":"sha256:9aad62845578607ac5767d7d91bb72d591605d6503e27a1f19a113107e68d17e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:XFRG7J4U3K3CXFJRUIN4I3UWL2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Masked Hard-Attention Transformers Recognize Exactly the Star-Free Languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.LO"],"primary_cat":"cs.FL","authors_text":"Andy Yang, Dana Angluin, David Chiang","submitted_at":"2023-10-21T03:26:39Z","abstract_excerpt":"The expressive power of transformers over inputs of unbounded size can be studied through their ability to recognize classes of formal languages. In this paper, we establish exact characterizations of transformers with hard attention (in which all attention is focused on exactly one position) and attention masking (in which each position only attends to positions on one side). With strict masking (each position cannot attend to itself) and without position embeddings, these transformers are expressively equivalent to linear temporal logic (LTL), which defines exactly the star-free languages. A"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.13897","kind":"arxiv","version":4},"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/2310.13897/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-05T09:28:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o9u3tDcaAhbJxBc/2ZCt49a2gBcUykXquO962RmbNgOnELu+5RMVF7xswg49k6IQXohTLrQp60XytCL0xNj0BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T15:37:14.252866Z"},"content_sha256":"c5ae38df2b8a77b91a18de630ae7afed7cd5b47adc66be2f78d68367b37f40f9","schema_version":"1.0","event_id":"sha256:c5ae38df2b8a77b91a18de630ae7afed7cd5b47adc66be2f78d68367b37f40f9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XFRG7J4U3K3CXFJRUIN4I3UWL2/bundle.json","state_url":"https://pith.science/pith/XFRG7J4U3K3CXFJRUIN4I3UWL2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XFRG7J4U3K3CXFJRUIN4I3UWL2/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-11T15:37:14Z","links":{"resolver":"https://pith.science/pith/XFRG7J4U3K3CXFJRUIN4I3UWL2","bundle":"https://pith.science/pith/XFRG7J4U3K3CXFJRUIN4I3UWL2/bundle.json","state":"https://pith.science/pith/XFRG7J4U3K3CXFJRUIN4I3UWL2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XFRG7J4U3K3CXFJRUIN4I3UWL2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:XFRG7J4U3K3CXFJRUIN4I3UWL2","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":"9ae2f91a43ec8d2ce6c6e26144560daab123b810465d6916522f603e8282e782","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2023-10-21T03:26:39Z","title_canon_sha256":"fa1500149c4c8d648e215792865a7de3cacb870519f38e664e29ee1dbdc13597"},"schema_version":"1.0","source":{"id":"2310.13897","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.13897","created_at":"2026-07-05T09:28:09Z"},{"alias_kind":"arxiv_version","alias_value":"2310.13897v4","created_at":"2026-07-05T09:28:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.13897","created_at":"2026-07-05T09:28:09Z"},{"alias_kind":"pith_short_12","alias_value":"XFRG7J4U3K3C","created_at":"2026-07-05T09:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"XFRG7J4U3K3CXFJR","created_at":"2026-07-05T09:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"XFRG7J4U","created_at":"2026-07-05T09:28:09Z"}],"graph_snapshots":[{"event_id":"sha256:c5ae38df2b8a77b91a18de630ae7afed7cd5b47adc66be2f78d68367b37f40f9","target":"graph","created_at":"2026-07-05T09:28:09Z","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/2310.13897/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The expressive power of transformers over inputs of unbounded size can be studied through their ability to recognize classes of formal languages. In this paper, we establish exact characterizations of transformers with hard attention (in which all attention is focused on exactly one position) and attention masking (in which each position only attends to positions on one side). With strict masking (each position cannot attend to itself) and without position embeddings, these transformers are expressively equivalent to linear temporal logic (LTL), which defines exactly the star-free languages. A","authors_text":"Andy Yang, Dana Angluin, David Chiang","cross_cats":["cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2023-10-21T03:26:39Z","title":"Masked Hard-Attention Transformers Recognize Exactly the Star-Free Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.13897","kind":"arxiv","version":4},"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:9aad62845578607ac5767d7d91bb72d591605d6503e27a1f19a113107e68d17e","target":"record","created_at":"2026-07-05T09:28:09Z","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":"9ae2f91a43ec8d2ce6c6e26144560daab123b810465d6916522f603e8282e782","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2023-10-21T03:26:39Z","title_canon_sha256":"fa1500149c4c8d648e215792865a7de3cacb870519f38e664e29ee1dbdc13597"},"schema_version":"1.0","source":{"id":"2310.13897","kind":"arxiv","version":4}},"canonical_sha256":"b9626fa794dab62b9531a21bc46e965e8ac70c96c3925e478a700333c8d55bcd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b9626fa794dab62b9531a21bc46e965e8ac70c96c3925e478a700333c8d55bcd","first_computed_at":"2026-07-05T09:28:09.686832Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:28:09.686832Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FSMB0hHFGsAjfRf3K8MHT0OVNtudNrqHp7t+lS9gV15gVpkkIo5L9EY3ykvc/wzsn0qXrySPD85w28L9HynACg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:28:09.687279Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.13897","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9aad62845578607ac5767d7d91bb72d591605d6503e27a1f19a113107e68d17e","sha256:c5ae38df2b8a77b91a18de630ae7afed7cd5b47adc66be2f78d68367b37f40f9"],"state_sha256":"b49572e9e0b8837af6bf650b730961f09986be4403b4885b3d642c17d07bf88f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M41wEk3wNNo64KkLl04Y7DtYH5pFMcyf8LU9I9LzY7exUx9/0huIDLpCY9rpf61OOjdhvaX9od086u+SHFeeAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T15:37:14.257696Z","bundle_sha256":"e6416a5ce48b62e6b7ccab9f2f9af85839ed4eee7b5ab4b3fdb2db6a8ee3ef5f"}}