{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:EIDLY4N3R777RNGAP7PNORDRWO","short_pith_number":"pith:EIDLY4N3","canonical_record":{"source":{"id":"2403.09728","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-03-12T21:54:34Z","cross_cats_sorted":["cs.AI","cs.CC"],"title_canon_sha256":"fa9fb92d56d35c504e74c85f8b58a755d06cb2e15ef1ea7933025ad1ff1da304","abstract_canon_sha256":"d45dddedfa4ce86730b08be57b4df236d0133b7f98e7ab685cb4800f3b4f7dea"},"schema_version":"1.0"},"canonical_sha256":"2206bc71bb8ffff8b4c07fded74471b3a0df026b1cd5c78be81c3feef08fa376","source":{"kind":"arxiv","id":"2403.09728","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.09728","created_at":"2026-07-05T07:56:24Z"},{"alias_kind":"arxiv_version","alias_value":"2403.09728v1","created_at":"2026-07-05T07:56:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.09728","created_at":"2026-07-05T07:56:24Z"},{"alias_kind":"pith_short_12","alias_value":"EIDLY4N3R777","created_at":"2026-07-05T07:56:24Z"},{"alias_kind":"pith_short_16","alias_value":"EIDLY4N3R777RNGA","created_at":"2026-07-05T07:56:24Z"},{"alias_kind":"pith_short_8","alias_value":"EIDLY4N3","created_at":"2026-07-05T07:56:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:EIDLY4N3R777RNGAP7PNORDRWO","target":"record","payload":{"canonical_record":{"source":{"id":"2403.09728","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-03-12T21:54:34Z","cross_cats_sorted":["cs.AI","cs.CC"],"title_canon_sha256":"fa9fb92d56d35c504e74c85f8b58a755d06cb2e15ef1ea7933025ad1ff1da304","abstract_canon_sha256":"d45dddedfa4ce86730b08be57b4df236d0133b7f98e7ab685cb4800f3b4f7dea"},"schema_version":"1.0"},"canonical_sha256":"2206bc71bb8ffff8b4c07fded74471b3a0df026b1cd5c78be81c3feef08fa376","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:56:24.114935Z","signature_b64":"BvfSqsjbkTXLrS9/cLMlN4+QXxzQ3+4czk9im7A1+Z5lszmU3p1gDrtPHFQfAaNJ4sL635Q3K7YV7rkl5DMtDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2206bc71bb8ffff8b4c07fded74471b3a0df026b1cd5c78be81c3feef08fa376","last_reissued_at":"2026-07-05T07:56:24.114515Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:56:24.114515Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.09728","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-07-05T07:56:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+uA/aTDpm0589ZqTpvt2w1TSCe5w0VxTc5xQu9oeS0EezJT+xEaUsNjS+QkJ675t+No51TmG/l9bUyxjM8pjDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T08:25:50.910132Z"},"content_sha256":"5cdbb5098aca642a093c6e18202b0d538a519144c2bb0a042d2f40d114d397f8","schema_version":"1.0","event_id":"sha256:5cdbb5098aca642a093c6e18202b0d538a519144c2bb0a042d2f40d114d397f8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:EIDLY4N3R777RNGAP7PNORDRWO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Simulating Weighted Automata over Sequences and Trees with Transformers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.CC"],"primary_cat":"cs.CL","authors_text":"Clara Lacroce, Guillaume Rabusseau, Maude Lizaire, Michael Rizvi","submitted_at":"2024-03-12T21:54:34Z","abstract_excerpt":"Transformers are ubiquitous models in the natural language processing (NLP) community and have shown impressive empirical successes in the past few years. However, little is understood about how they reason and the limits of their computational capabilities. These models do not process data sequentially, and yet outperform sequential neural models such as RNNs. Recent work has shown that these models can compactly simulate the sequential reasoning abilities of deterministic finite automata (DFAs). This leads to the following question: can transformers simulate the reasoning of more complex fin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.09728","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2403.09728/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:56:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7+dglEFVOHXnAis3eYrztAlLA3yUSEm2QnfO7m3JLYBTaE2XpOBbFbDuXgOPGV67RYkEqtHqJ4vKxsbYEwsgDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T08:25:50.910930Z"},"content_sha256":"db07741a036aab47a8a78214244eeff7130b690cb03bdf6e3493e05b7e183637","schema_version":"1.0","event_id":"sha256:db07741a036aab47a8a78214244eeff7130b690cb03bdf6e3493e05b7e183637"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EIDLY4N3R777RNGAP7PNORDRWO/bundle.json","state_url":"https://pith.science/pith/EIDLY4N3R777RNGAP7PNORDRWO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EIDLY4N3R777RNGAP7PNORDRWO/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-09T08:25:50Z","links":{"resolver":"https://pith.science/pith/EIDLY4N3R777RNGAP7PNORDRWO","bundle":"https://pith.science/pith/EIDLY4N3R777RNGAP7PNORDRWO/bundle.json","state":"https://pith.science/pith/EIDLY4N3R777RNGAP7PNORDRWO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EIDLY4N3R777RNGAP7PNORDRWO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:EIDLY4N3R777RNGAP7PNORDRWO","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":"d45dddedfa4ce86730b08be57b4df236d0133b7f98e7ab685cb4800f3b4f7dea","cross_cats_sorted":["cs.AI","cs.CC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-03-12T21:54:34Z","title_canon_sha256":"fa9fb92d56d35c504e74c85f8b58a755d06cb2e15ef1ea7933025ad1ff1da304"},"schema_version":"1.0","source":{"id":"2403.09728","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.09728","created_at":"2026-07-05T07:56:24Z"},{"alias_kind":"arxiv_version","alias_value":"2403.09728v1","created_at":"2026-07-05T07:56:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.09728","created_at":"2026-07-05T07:56:24Z"},{"alias_kind":"pith_short_12","alias_value":"EIDLY4N3R777","created_at":"2026-07-05T07:56:24Z"},{"alias_kind":"pith_short_16","alias_value":"EIDLY4N3R777RNGA","created_at":"2026-07-05T07:56:24Z"},{"alias_kind":"pith_short_8","alias_value":"EIDLY4N3","created_at":"2026-07-05T07:56:24Z"}],"graph_snapshots":[{"event_id":"sha256:db07741a036aab47a8a78214244eeff7130b690cb03bdf6e3493e05b7e183637","target":"graph","created_at":"2026-07-05T07:56:24Z","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/2403.09728/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Transformers are ubiquitous models in the natural language processing (NLP) community and have shown impressive empirical successes in the past few years. However, little is understood about how they reason and the limits of their computational capabilities. These models do not process data sequentially, and yet outperform sequential neural models such as RNNs. Recent work has shown that these models can compactly simulate the sequential reasoning abilities of deterministic finite automata (DFAs). This leads to the following question: can transformers simulate the reasoning of more complex fin","authors_text":"Clara Lacroce, Guillaume Rabusseau, Maude Lizaire, Michael Rizvi","cross_cats":["cs.AI","cs.CC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-03-12T21:54:34Z","title":"Simulating Weighted Automata over Sequences and Trees with Transformers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.09728","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:5cdbb5098aca642a093c6e18202b0d538a519144c2bb0a042d2f40d114d397f8","target":"record","created_at":"2026-07-05T07:56:24Z","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":"d45dddedfa4ce86730b08be57b4df236d0133b7f98e7ab685cb4800f3b4f7dea","cross_cats_sorted":["cs.AI","cs.CC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-03-12T21:54:34Z","title_canon_sha256":"fa9fb92d56d35c504e74c85f8b58a755d06cb2e15ef1ea7933025ad1ff1da304"},"schema_version":"1.0","source":{"id":"2403.09728","kind":"arxiv","version":1}},"canonical_sha256":"2206bc71bb8ffff8b4c07fded74471b3a0df026b1cd5c78be81c3feef08fa376","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2206bc71bb8ffff8b4c07fded74471b3a0df026b1cd5c78be81c3feef08fa376","first_computed_at":"2026-07-05T07:56:24.114515Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:56:24.114515Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BvfSqsjbkTXLrS9/cLMlN4+QXxzQ3+4czk9im7A1+Z5lszmU3p1gDrtPHFQfAaNJ4sL635Q3K7YV7rkl5DMtDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:56:24.114935Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.09728","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5cdbb5098aca642a093c6e18202b0d538a519144c2bb0a042d2f40d114d397f8","sha256:db07741a036aab47a8a78214244eeff7130b690cb03bdf6e3493e05b7e183637"],"state_sha256":"d23f562f014c8369cfe58dfbe5224948de3a7d6b5ed3f81419d26fbedd34c3ea"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GDKMhKRvGXYZNnBl9PmJE2bEfyT4bkAb7SSp8+zxkp/qn2WyQ5bd6dn+VCxuQqXf6Y68YTJrs6qxHXFnd96MCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T08:25:50.916895Z","bundle_sha256":"03dfe8fb575590ee5770067c9874c09f08b92d5863c82c396ba3cdef2ea1be10"}}