{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:VF452BDGJYYGO43MEMZJZDGY4E","short_pith_number":"pith:VF452BDG","canonical_record":{"source":{"id":"2301.10743","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-01-25T18:05:55Z","cross_cats_sorted":["cs.FL","cs.LO"],"title_canon_sha256":"53632277260b5b5a422c403713bc67d402193e951954ae0ba8460a93112b6efd","abstract_canon_sha256":"4bcc2b78745966bbee9658cf61f8b0736ca2f594a98f7f03037a0acf54f20f13"},"schema_version":"1.0"},"canonical_sha256":"a979dd04664e3067736c23329c8cd8e13c65a78412a815cc4e64031ae1df17ef","source":{"kind":"arxiv","id":"2301.10743","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.10743","created_at":"2026-07-05T07:11:53Z"},{"alias_kind":"arxiv_version","alias_value":"2301.10743v3","created_at":"2026-07-05T07:11:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.10743","created_at":"2026-07-05T07:11:53Z"},{"alias_kind":"pith_short_12","alias_value":"VF452BDGJYYG","created_at":"2026-07-05T07:11:53Z"},{"alias_kind":"pith_short_16","alias_value":"VF452BDGJYYGO43M","created_at":"2026-07-05T07:11:53Z"},{"alias_kind":"pith_short_8","alias_value":"VF452BDG","created_at":"2026-07-05T07:11:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:VF452BDGJYYGO43MEMZJZDGY4E","target":"record","payload":{"canonical_record":{"source":{"id":"2301.10743","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-01-25T18:05:55Z","cross_cats_sorted":["cs.FL","cs.LO"],"title_canon_sha256":"53632277260b5b5a422c403713bc67d402193e951954ae0ba8460a93112b6efd","abstract_canon_sha256":"4bcc2b78745966bbee9658cf61f8b0736ca2f594a98f7f03037a0acf54f20f13"},"schema_version":"1.0"},"canonical_sha256":"a979dd04664e3067736c23329c8cd8e13c65a78412a815cc4e64031ae1df17ef","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:11:53.239902Z","signature_b64":"5QT8Q9zPi0ZwoQqASna+XEbnvoiD+NYqRjB5VFUFocbkQmAdnIlBeDpiHMmZVBaP7/iUj/WzV6CmCofDdAQgCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a979dd04664e3067736c23329c8cd8e13c65a78412a815cc4e64031ae1df17ef","last_reissued_at":"2026-07-05T07:11:53.239425Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:11:53.239425Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2301.10743","source_version":3,"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-05T07:11:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"serlKb7qhok97ynJWGPIcPohssSAQ1DuuPZp+E512DX/sMPsOfKfxFyujyUYLQySRn3NkTb8K0gflHPHPn/pDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T07:33:23.743034Z"},"content_sha256":"701d0e9ce22be5734db2bff96b899f5c00ae79e554aed900c2b959a7047cdfaa","schema_version":"1.0","event_id":"sha256:701d0e9ce22be5734db2bff96b899f5c00ae79e554aed900c2b959a7047cdfaa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:VF452BDGJYYGO43MEMZJZDGY4E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tighter Bounds on the Expressivity of Transformer Encoders","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.LO"],"primary_cat":"cs.LG","authors_text":"Anand Pillay, David Chiang, Peter Cholak","submitted_at":"2023-01-25T18:05:55Z","abstract_excerpt":"Characterizing neural networks in terms of better-understood formal systems has the potential to yield new insights into the power and limitations of these networks. Doing so for transformers remains an active area of research. Bhattamishra and others have shown that transformer encoders are at least as expressive as a certain kind of counter machine, while Merrill and Sabharwal have shown that fixed-precision transformer encoders recognize only languages in uniform $TC^0$. We connect and strengthen these results by identifying a variant of first-order logic with counting quantifiers that is s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.10743","kind":"arxiv","version":3},"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/2301.10743/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-05T07:11:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L/jhQRQLkMF/sQzE8pnB3zPD4KLnvky8Oxb3BRx2CjGrFCbTa0Efz08nyzvBnweaIsMiVp2eT7VZOOziBiBHBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T07:33:23.743534Z"},"content_sha256":"8542d45c4df3dc94d84287fae0d7795027545be9f11993de49fc7202c1eb54c2","schema_version":"1.0","event_id":"sha256:8542d45c4df3dc94d84287fae0d7795027545be9f11993de49fc7202c1eb54c2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VF452BDGJYYGO43MEMZJZDGY4E/bundle.json","state_url":"https://pith.science/pith/VF452BDGJYYGO43MEMZJZDGY4E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VF452BDGJYYGO43MEMZJZDGY4E/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-10T07:33:23Z","links":{"resolver":"https://pith.science/pith/VF452BDGJYYGO43MEMZJZDGY4E","bundle":"https://pith.science/pith/VF452BDGJYYGO43MEMZJZDGY4E/bundle.json","state":"https://pith.science/pith/VF452BDGJYYGO43MEMZJZDGY4E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VF452BDGJYYGO43MEMZJZDGY4E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:VF452BDGJYYGO43MEMZJZDGY4E","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":"4bcc2b78745966bbee9658cf61f8b0736ca2f594a98f7f03037a0acf54f20f13","cross_cats_sorted":["cs.FL","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-01-25T18:05:55Z","title_canon_sha256":"53632277260b5b5a422c403713bc67d402193e951954ae0ba8460a93112b6efd"},"schema_version":"1.0","source":{"id":"2301.10743","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.10743","created_at":"2026-07-05T07:11:53Z"},{"alias_kind":"arxiv_version","alias_value":"2301.10743v3","created_at":"2026-07-05T07:11:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.10743","created_at":"2026-07-05T07:11:53Z"},{"alias_kind":"pith_short_12","alias_value":"VF452BDGJYYG","created_at":"2026-07-05T07:11:53Z"},{"alias_kind":"pith_short_16","alias_value":"VF452BDGJYYGO43M","created_at":"2026-07-05T07:11:53Z"},{"alias_kind":"pith_short_8","alias_value":"VF452BDG","created_at":"2026-07-05T07:11:53Z"}],"graph_snapshots":[{"event_id":"sha256:8542d45c4df3dc94d84287fae0d7795027545be9f11993de49fc7202c1eb54c2","target":"graph","created_at":"2026-07-05T07:11:53Z","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/2301.10743/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Characterizing neural networks in terms of better-understood formal systems has the potential to yield new insights into the power and limitations of these networks. Doing so for transformers remains an active area of research. Bhattamishra and others have shown that transformer encoders are at least as expressive as a certain kind of counter machine, while Merrill and Sabharwal have shown that fixed-precision transformer encoders recognize only languages in uniform $TC^0$. We connect and strengthen these results by identifying a variant of first-order logic with counting quantifiers that is s","authors_text":"Anand Pillay, David Chiang, Peter Cholak","cross_cats":["cs.FL","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-01-25T18:05:55Z","title":"Tighter Bounds on the Expressivity of Transformer Encoders"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.10743","kind":"arxiv","version":3},"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:701d0e9ce22be5734db2bff96b899f5c00ae79e554aed900c2b959a7047cdfaa","target":"record","created_at":"2026-07-05T07:11:53Z","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":"4bcc2b78745966bbee9658cf61f8b0736ca2f594a98f7f03037a0acf54f20f13","cross_cats_sorted":["cs.FL","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-01-25T18:05:55Z","title_canon_sha256":"53632277260b5b5a422c403713bc67d402193e951954ae0ba8460a93112b6efd"},"schema_version":"1.0","source":{"id":"2301.10743","kind":"arxiv","version":3}},"canonical_sha256":"a979dd04664e3067736c23329c8cd8e13c65a78412a815cc4e64031ae1df17ef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a979dd04664e3067736c23329c8cd8e13c65a78412a815cc4e64031ae1df17ef","first_computed_at":"2026-07-05T07:11:53.239425Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:11:53.239425Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5QT8Q9zPi0ZwoQqASna+XEbnvoiD+NYqRjB5VFUFocbkQmAdnIlBeDpiHMmZVBaP7/iUj/WzV6CmCofDdAQgCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:11:53.239902Z","signed_message":"canonical_sha256_bytes"},"source_id":"2301.10743","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:701d0e9ce22be5734db2bff96b899f5c00ae79e554aed900c2b959a7047cdfaa","sha256:8542d45c4df3dc94d84287fae0d7795027545be9f11993de49fc7202c1eb54c2"],"state_sha256":"5c74dd91f89daf6d2b64c45d4a4d0e402a5cb96c5257348aa8ed02b5b4b2114e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DMZyqJHq/wWCIRb7YNWH7P7Dv5o6sWpNXn+TDwAqwQHBxnmJGhC+4A7tZGbfX2WLmMdf1fz1c94gxoRTO79cDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T07:33:23.748692Z","bundle_sha256":"e05d82338286168ad9f657dcf549b6f17dd25f20a8d34d454f9d01beb3567ac5"}}