{"as_of":"2026-08-08T11:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:33ae657f9604c93ab6d48471d8b688590ffc3b4ce8001ebe5e565e245d6e73cb","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:50:10.446055Z","state":"measured"},{"denominator":48,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":48,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":5,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-28T22:57:08.127769Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-04T13:09:51.104464Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"cited_work":{"arxiv_id":"2505.20896","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.20896","snapshot_observed_at":"2026-07-04T13:09:51.104464Z","title":"How do transformers learn variable binding in symbolic programs?arXiv preprint arXiv:2505.20896","venue":null,"work_id":"5b9d904c-68c5-41e1-900f-948064f66270","year":2025},"citing_paper":{"arxiv_id":"2604.12426","last_updated":"2026-04-14T08:16:49Z","snapshot_observed_at":"2026-07-06T23:00:37.144068Z","submitted_at":"2026-04-14T08:16:49Z","title":"Do Transformers Use their Depth Adaptively? Evidence from a Relational Reasoning Task","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-10T15:34:02.796850Z"},"links":{"cited_paper":"/paper/2505.20896","citing_paper":"/paper/2604.12426"},"observation_digest":"sha256:f593b45ea004b576c2c54ebe1ee45d17081ed9a8327e7d24363531536fb85239","observation_id":"faa8ded1-7880-4a76-9615-01489e70ff03","resolution":{"observed_at":"2026-05-11T10:16:07.537276Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"cited_work":{"arxiv_id":"2505.20896","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.20896","snapshot_observed_at":"2026-07-04T13:09:51.104464Z","title":"How do transformers learn variable binding in symbolic programs?arXiv preprint arXiv:2505.20896","venue":null,"work_id":"5b9d904c-68c5-41e1-900f-948064f66270","year":2025},"citing_paper":{"arxiv_id":"2605.07120","last_updated":"2026-05-08T01:50:52Z","snapshot_observed_at":"2026-08-02T08:53:28.669688Z","submitted_at":"2026-05-08T01:50:52Z","title":"When Symbol Names Should Not Matter: A Logistic Theory of Fresh-Symbol Classification","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-11T01:28:41.227355Z"},"links":{"cited_paper":"/paper/2505.20896","citing_paper":"/paper/2605.07120"},"observation_digest":"sha256:23800ca09f656941824c1e13dc2c3652df5d668743bf8057bbd01ae7744c38b0","observation_id":"c5c6d36a-4c53-48d0-8fea-ee20128a7f39","resolution":{"observed_at":"2026-05-11T01:45:52.261329Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"cited_work":{"arxiv_id":"2505.20896","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.20896","snapshot_observed_at":"2026-07-04T13:09:51.104464Z","title":"How do transformers learn variable binding in symbolic programs?arXiv preprint arXiv:2505.20896","venue":null,"work_id":"5b9d904c-68c5-41e1-900f-948064f66270","year":2025},"citing_paper":{"arxiv_id":"2605.31497","last_updated":"2026-05-29T16:19:20Z","snapshot_observed_at":"2026-08-06T19:09:52.547131Z","submitted_at":"2026-05-29T16:19:20Z","title":"Assign and Add: A Mechanistic Study of Compositional Arithmetic","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-28T22:57:08.127769Z"},"links":{"cited_paper":"/paper/2505.20896","citing_paper":"/paper/2605.31497"},"observation_digest":"sha256:9c12aa75cde7e3b4b296e860a4bf8a219719a60bc6a5142ffe3aa8fd56376846","observation_id":"a57121f8-a65e-4fe4-a363-5fbacde6e7f0","resolution":{"observed_at":"2026-06-28T23:02:46.908260Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"cited_work":{"arxiv_id":"2505.20896","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.20896","snapshot_observed_at":"2026-07-04T13:09:51.104464Z","title":"How do transformers learn variable binding in symbolic programs?arXiv preprint arXiv:2505.20896","venue":null,"work_id":"5b9d904c-68c5-41e1-900f-948064f66270","year":2025},"citing_paper":{"arxiv_id":"2606.03976","last_updated":"2026-06-02T17:56:24Z","snapshot_observed_at":"2026-08-06T11:51:16.540999Z","submitted_at":"2026-06-02T17:56:24Z","title":"Formalizing the Binding Problem","version":1},"reference_index":93,"source":"arxiv_source","source_observed_at":"2026-06-28T10:21:50.279366Z"},"links":{"cited_paper":"/paper/2505.20896","citing_paper":"/paper/2606.03976"},"observation_digest":"sha256:aa32a14265a2dbd28e661a3f1ecb595db32351c9f050cac1197a46a4ffb1899c","observation_id":"13e0fe76-b9fb-4612-a7a8-90d33989f234","resolution":{"observed_at":"2026-07-02T03:06:29.847762Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"cited_work":{"arxiv_id":"2505.20896","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.20896","snapshot_observed_at":"2026-07-04T13:09:51.104464Z","title":"How do transformers learn variable binding in symbolic programs?arXiv preprint arXiv:2505.20896","venue":null,"work_id":"5b9d904c-68c5-41e1-900f-948064f66270","year":2025},"citing_paper":{"arxiv_id":"2606.26523","last_updated":"2026-06-25T01:58:38Z","snapshot_observed_at":"2026-08-06T19:44:14.778081Z","submitted_at":"2026-06-25T01:58:38Z","title":"Radical AI Interpretability","version":1},"reference_index":101,"source":"arxiv_source","source_observed_at":"2026-06-26T05:26:47.854890Z"},"links":{"cited_paper":"/paper/2505.20896","citing_paper":"/paper/2606.26523"},"observation_digest":"sha256:3d61c117be20dfc0e380cf2cf80ddd8bde90c8bfb18e49d02c583c77e7d0ba4a","observation_id":"867b183c-e7f6-40d8-b8c5-d48ab4ca12f3","resolution":{"observed_at":"2026-07-04T13:09:51.105712Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.20896/citation-record","integrity":"/paper/2505.20896/integrity","json":"/paper/2505.20896/citation-record.json","paper":"/paper/2505.20896"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:04.962041Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:04.962041Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:dc8c0536143a8d20ba1eddd52d095ef097d9602f289443c2365be42f23b19db4","observation_id":"790663cc-956d-4ca4-83d9-283c2770bb8c","resolution":{"observed_at":"2026-08-07T13:50:04.962041Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:15.451011Z","title":null,"venue":null,"work_id":"87c3c980-0538-4e4a-a284-913201f7e15b","year":2019},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:05.074682Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:3d10e0832d12f6df8eb3351a7e54fc8cde166df35dcaf5cb538c2294b6d295dc","observation_id":"2da02e3a-c05b-4b16-9a50-70e86586493f","resolution":{"observed_at":"2026-08-07T13:50:15.537294Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1607.06450","last_updated":"2016-07-21T19:57:52Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2016-07-21T19:57:52Z","title":"Layer Normalization","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1607.06450","snapshot_observed_at":"2026-08-07T13:50:05.267517Z","title":"L., Kiros, J","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:05.267517Z"},"links":{"cited_paper":"/paper/1607.06450","citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:a29c97f173431864aa113b6612c7d71316427d3e4a8cdbbee6496563b643f0ca","observation_id":"8209d497-689d-47bb-9492-a5a77e8b1112","resolution":{"observed_at":"2026-08-07T13:50:05.267517Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:05.386622Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:05.386622Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:592d1c07edc6bc46cef24c04b6a286c5fb4785b3d1e35b5e75df90c1e9798b23","observation_id":"485dad34-ecc5-4738-b6d9-902590a27cf9","resolution":{"observed_at":"2026-08-07T13:50:05.386622Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:05.503814Z","title":"D., Schlichtkrull, M","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:05.503814Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:68ede37e5a18b35cb7072565f3d0a4fb179c52a086e87d76fa7926ee4f1cc497","observation_id":"7146ba49-059f-49cd-88f1-51961cd36b84","resolution":{"observed_at":"2026-08-07T13:50:05.503814Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:05.690384Z","title":"D., Schmid, L., Hupkes, D., and Titov, I","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:05.690384Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:f75f0e7be64056f4f641ad96fbf6568b70076afbe5cc7cab9b850f157bca5663","observation_id":"886a3397-8170-4ba7-9d6b-316069b3459e","resolution":{"observed_at":"2026-08-07T13:50:05.690384Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:15.289367Z","title":"Causal scrubbing, a method for rigorously testing interpretability hypotheses","venue":null,"work_id":"c5a71be6-496f-4738-854b-6ec6f362fdbe","year":2022},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:05.811619Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:5e8c41a7d33ef55b2e2eff277c34728c58de7c8618a3620ab02f89cdefc8625c","observation_id":"54bae7f5-2152-4eea-87b5-02ce0dfe1bd0","resolution":{"observed_at":"2026-08-07T13:50:15.334410Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:15.158786Z","title":"Are neural nets modular? inspecting functional modularity through differentiable weight masks","venue":null,"work_id":"3cd15574-5792-4142-9033-e6817a646af8","year":2021},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:05.981123Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:26313df8fb31dbf2bc1766dc641aa9f45649fe2db2cc9a9b2b2f2a54fb3d3ae6","observation_id":"d2f30315-43b8-467d-a715-d7ea4fce2871","resolution":{"observed_at":"2026-08-07T13:50:15.235491Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:15.004811Z","title":"Representational Analysis of Binding in Language Models","venue":null,"work_id":"7fc02fa4-a7da-44e9-803f-918ddbfeaeb8","year":2024},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:06.174635Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:ab52ba96972336616411caa0927fe08c25768c08bd95d7b3a3904c7a9f9aa8db","observation_id":"b7fd3691-7c91-44c4-96f5-8f9ec9f1614e","resolution":{"observed_at":"2026-08-07T13:50:15.047630Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.03637","last_updated":"2023-07-07T14:51:30Z","snapshot_observed_at":"2026-08-07T06:56:35.290746Z","submitted_at":"2023-07-07T14:51:30Z","title":"Discovering Variable Binding Circuitry with Desiderata","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.03637","snapshot_observed_at":"2026-08-07T13:50:06.347611Z","title":"R., and Bau, D","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:06.347611Z"},"links":{"cited_paper":"/paper/2307.03637","citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:9ec339a4eb48878a8dbc6141e43beebf5560585e0f6cbd2204c89310f42a5c85","observation_id":"755b4f8f-ac79-4b01-bef7-2381e9a7d276","resolution":{"observed_at":"2026-08-07T13:50:06.347611Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:14.803480Z","title":null,"venue":null,"work_id":"cd3ca335-4404-4858-8b5b-2d3401c654f3","year":1999},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:06.531495Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:c717e788cae5f2ae218381aab3765200b5c7b569b8ad908b01b9d09ca5497f79","observation_id":"861ab519-de3c-499f-adcc-a734b20a7117","resolution":{"observed_at":"2026-08-07T13:50:14.883112Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:14.703018Z","title":"and Steinhardt, J","venue":null,"work_id":"124a50a7-6c61-45bb-a1e9-365750bc4afe","year":2024},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:06.750186Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:28dab1c9f8a28b41a560483bab6af7cdd19bfa756a49eace7ca865ad3001b145","observation_id":"4b07a2d2-e807-40a7-9c27-abd2d94b61ec","resolution":{"observed_at":"2026-08-07T13:50:14.744930Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:14.517354Z","title":"and Steinhardt, J","venue":null,"work_id":"35b3099e-1621-448b-8fa0-146ff90b3f17","year":2024},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:06.904360Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:d74d1f6072208e519c9ebefe7ad66209955a1b4d37d2074bbd038a96f6e210c8","observation_id":"1034321e-acb8-4785-8960-2fdd6297720a","resolution":{"observed_at":"2026-08-07T13:50:14.609552Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:14.277669Z","title":"Monitoring Latent World States in Language Models with Propositional Probes , June 2024","venue":null,"work_id":"22c1cb4e-e739-4907-8879-0553f7060bfb","year":2024},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:07.093062Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:1271c493d41a9e43e48e29f62a3e1a4b81cee0940d02ebc33d0fee37d94f7b94","observation_id":"3796cca7-0046-44af-9df7-74711e434061","resolution":{"observed_at":"2026-08-07T13:50:14.388149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:14.037435Z","title":"and King, A","venue":null,"work_id":"e087261e-d95c-445f-a470-2f2f561aaf52","year":2011},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:07.210056Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:aec0862d37ab7d77631276668748f0b6484ea4d1114c39b1e57aa60640e6b041","observation_id":"5136d1c0-a587-475c-811c-b1e34a5153af","resolution":{"observed_at":"2026-08-07T13:50:14.162893Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:07.368506Z","title":"Neural natural language inference models partially embed theories of lexical entailment and negation","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:07.368506Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:d78e5c37b775dbea167fd77686b4378042b2c1ebcf1983fd97344498a04f702f","observation_id":"390edfd7-026a-476e-85bc-14b6fde05e00","resolution":{"observed_at":"2026-08-07T13:50:07.368506Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:13.843195Z","title":"Causal abstractions of neural networks","venue":null,"work_id":"321f02c6-9ef8-4ffd-94a1-9e44343567ce","year":2021},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:07.500599Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:24561751ac6773783ccbef1b2dd3028528dfe50935482cf3879e9a688b411d7f","observation_id":"33082fb5-34c6-47b9-a166-640058c08c7a","resolution":{"observed_at":"2026-08-07T13:50:13.935220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1037/rev0000371","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:10.601614Z","title":"C., and Potts, C","venue":null,"work_id":"364f9d5d-9d4c-442e-9e7c-c1efecf277ea","year":2023},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:07.684635Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:fd6cb07e43d6bf42b16caded056d0aceeffe7b640c69ea3d47f56425b727b789","observation_id":"c47790f2-5683-4dac-8f9c-dbdcddadee20","resolution":{"observed_at":"2026-08-07T13:50:10.692843Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2301.04709","last_updated":"2025-05-08T23:00:37Z","snapshot_observed_at":"2026-08-07T20:10:01.593677Z","submitted_at":"2023-01-11T20:42:41Z","title":"Causal Abstraction: A Theoretical Foundation for Mechanistic Interpretability","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.04709","snapshot_observed_at":"2026-08-07T13:50:07.811798Z","title":"Causal abstraction: A theoretical foundation for mechanistic interpretability, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:07.811798Z"},"links":{"cited_paper":"/paper/2301.04709","citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:95ca1700a5f123a27301039dfb945fc9445b2ed7bc22582c90a0431068785636","observation_id":"60b65955-83ca-44f0-98ca-bf7a822f87cd","resolution":{"observed_at":"2026-08-07T13:50:07.811798Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1606.08415","last_updated":"2023-06-06T01:53:32Z","snapshot_observed_at":"2026-07-06T05:01:27.910364Z","submitted_at":"2016-06-27T19:20:40Z","title":"Gaussian Error Linear Units (GELUs)","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1606.08415","snapshot_observed_at":"2026-08-07T13:50:07.945135Z","title":"and Gimpel, K","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:07.945135Z"},"links":{"cited_paper":"/paper/1606.08415","citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:7fa48fd4eb269f9cf360c75b86313aeefbd0181c6ca6a635de5328859fddf6df","observation_id":"c20c7ce7-2c68-48ee-8504-30bb4edc5fd0","resolution":{"observed_at":"2026-08-07T13:50:07.945135Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:13.618128Z","title":"S., Michaud, E., Tegmark, M., and Williams, M","venue":null,"work_id":"598425b4-4650-4082-ac19-bc61347a020f","year":2022},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:08.098659Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:0c29e7df58d9b0a82cb7b88e70012e28f4d1061a4c80f06a25f2db2394276b27","observation_id":"41c31ea3-b8a6-42b9-907f-ec071cbe9237","resolution":{"observed_at":"2026-08-07T13:50:13.717023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1711.05101","last_updated":"2019-01-04T21:01:49Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2017-11-14T14:24:06Z","title":"Decoupled Weight Decay Regularization","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1711.05101","snapshot_observed_at":"2026-08-07T13:50:08.265504Z","title":"and Hutter, F","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:08.265504Z"},"links":{"cited_paper":"/paper/1711.05101","citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:27f1ffa63ddcbcea416ba9db4e1c9e75b0d454d17a69ecac060119e23e7393cf","observation_id":"180baef2-2efe-4477-9efd-3bcd7ed26d21","resolution":{"observed_at":"2026-08-07T13:50:08.265504Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:13.421120Z","title":"Predicting inductive biases of pre-trained models","venue":null,"work_id":"3aa7d9aa-8d46-41dd-b974-c62da1e79a95","year":2021},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:08.391654Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:cb97634179cbc49f5b9a37f201e4b488d523f831c3823eaf07ce5c440b80735e","observation_id":"65211d17-79fe-43a4-870e-a943ca65811c","resolution":{"observed_at":"2026-08-07T13:50:13.538841Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:13.318002Z","title":"Hashhop: Long context evaluation","venue":null,"work_id":"113ceec3-f12b-4666-bf91-86e9164c5842","year":2024},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:08.578805Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:803ad24f44fb795964c0d4e09b557e80b242fc4defe94171c916967282222ca0","observation_id":"7f23c211-e615-4ab1-8f78-281645e158d1","resolution":{"observed_at":"2026-08-07T13:50:13.345630Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:13.113880Z","title":null,"venue":null,"work_id":"cc972d90-1b21-4339-8f09-5c933a69a260","year":1998},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:08.760664Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:1344aac4140d4a44df6635a9cf6ed3cea330d3601703564b89121e4113fb538b","observation_id":"69d65ec7-5e79-4622-8c04-a27a7248d3cf","resolution":{"observed_at":"2026-08-07T13:50:13.213801Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:08.875560Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:08.875560Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:43cace0d3ef8c8d721475b79d69e1542a59fae87fb38d046214c3405318cbc0d","observation_id":"ad4afa0d-b1e5-4f9d-943e-d2b83c296ff6","resolution":{"observed_at":"2026-08-07T13:50:08.875560Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:12.932363Z","title":"F., Vijayan, S., Rao, S","venue":null,"work_id":"01e8b615-5655-47a6-866e-a0c75d7a7a8b","year":1999},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:08.983981Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:9ffc22d1761ecfd2e1379eeb7901cb8d6d997d50ebf4153b4276ae8294723830","observation_id":"38362840-46e8-4301-8216-8c286c3e5dcd","resolution":{"observed_at":"2026-08-07T13:50:13.026695Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1802.03426","last_updated":"2020-09-18T01:56:41Z","snapshot_observed_at":"2026-08-02T15:32:07.466568Z","submitted_at":"2018-02-09T19:39:33Z","title":"UMAP: Uniform Manifold Approximation and Projection for Dimension Reduction","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1802.03426","snapshot_observed_at":"2026-08-07T13:50:09.050519Z","title":"Umap: Uniform manifold approximation and projection for dimension reduction","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:09.050519Z"},"links":{"cited_paper":"/paper/1802.03426","citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:87218b7bf2103619365c170b5acd13132cca3e91c6d8e7947dd93d59b2e803f2","observation_id":"1ba7672e-6891-44c6-9660-f9c64078a08c","resolution":{"observed_at":"2026-08-07T13:50:09.050519Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:12.789601Z","title":"J., and Belinkov, Y","venue":null,"work_id":"a4a46e05-6f1e-4e9b-9795-c5629b68461a","year":2022},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:09.154692Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:cba25fd8db7c8e5abb77f16afbdda6d4bd6d3a9b2b2fa2668c62227857a485e7","observation_id":"0b1da28c-5298-4e06-bbe9-9400cda60024","resolution":{"observed_at":"2026-08-07T13:50:12.860371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:12.621155Z","title":"A tale of two circuits: Grokking as competition of sparse and dense subnetworks","venue":null,"work_id":"c2a34923-bda1-4aaf-8512-d3522bdca340","year":2023},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:09.242075Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:d77bafbb21a3b488d574e4eb716cf1e0b3a64b0f493254e1dcf53eb52357158b","observation_id":"191bb10d-048d-410c-8264-9b0467b3801c","resolution":{"observed_at":"2026-08-07T13:50:12.681514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:09.330362Z","title":"S., Sun, J., Todd, E., Bau, D., and Belinkov, Y","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:09.330362Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:f946ff09df426623100957e4e24acaa5c0d6ab126544a042778a2b4802a29655","observation_id":"9b666188-da79-4e2c-ac65-58ffca101649","resolution":{"observed_at":"2026-08-07T13:50:09.330362Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:12.429062Z","title":"Progress measures for grokking via mechanistic interpretability","venue":null,"work_id":"f9d9a038-430c-414d-8c17-7cdd69fa2441","year":2023},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:09.415105Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:fe38e053ec899b83b37e2f83cb6ba244ddada29fb3a92720abcf97339b3aad40","observation_id":"6f7f1153-0400-4a86-b9db-fba564f26305","resolution":{"observed_at":"2026-08-07T13:50:12.526060Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:12.270555Z","title":"R., Haklay, T., Belinkov, Y., and Bau, D","venue":null,"work_id":"d55c9142-2ccd-4e62-8621-8824a3325f3e","year":2024},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:09.538881Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:6dbaf530db7b23fbcc6fb3dc47d7efc10e2833ef83b91d3a886153c73ca841e3","observation_id":"504870ea-af48-4bfd-af8b-5e25884db169","resolution":{"observed_at":"2026-08-07T13:50:12.339552Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:09.633083Z","title":"Language models are unsupervised multitask learners","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:09.633083Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:0664fb00552e1ab97e5417a55e13d052cdcb8ff0d227d6504f5c3be7c9f41393","observation_id":"8559864f-e3aa-47bd-979e-5d33e1a01751","resolution":{"observed_at":"2026-08-07T13:50:09.633083Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:12.036563Z","title":"and Wiegreffe, S","venue":null,"work_id":"266a0b5d-66ad-4437-a12e-24cf50a693d7","year":2024},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:09.729684Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:fa94496fbcce02ecf4287cf0c9ab0e5b65efdb844bbda6822edcd534e683cd3e","observation_id":"f09fcbb4-94b3-47cd-8c17-00a19976dbbc","resolution":{"observed_at":"2026-08-07T13:50:12.124086Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:11.831713Z","title":null,"venue":null,"work_id":"c471de1d-f4cb-4d10-8cbb-b72747185993","year":1999},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:09.819548Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:a76032547289517b34ec3cbd841eef1cb940fdb2fc175444c686b6966c889212","observation_id":"7942d6b8-edfb-4f21-b091-d9f10c7b3e3f","resolution":{"observed_at":"2026-08-07T13:50:11.896762Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:11.653027Z","title":null,"venue":null,"work_id":"83cbd2be-dbb2-420d-96ef-5b1d49a6913d","year":1999},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:09.906938Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:5a592c97ad4db59fa1450e4340f3cca706c68def7d8a9b87e44af27219e35471","observation_id":"205d12fc-a0fd-49b2-8b6b-d2f7078670b5","resolution":{"observed_at":"2026-08-07T13:50:11.740324Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.16496","last_updated":"2025-01-27T20:57:18Z","snapshot_observed_at":"2026-07-06T20:27:04.664873Z","submitted_at":"2025-01-27T20:57:18Z","title":"Open Problems in Mechanistic Interpretability","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.16496","snapshot_observed_at":"2026-08-07T13:50:09.978542Z","title":"J., Casper, S., Tegmark, M., Saunders, W., Bau, D., Todd, E., Geiger, A., Geva, M., Hoogland, J., Murfet, D., and McGrath, T","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:09.978542Z"},"links":{"cited_paper":"/paper/2501.16496","citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:8367fa10593f10717a1e26fdf1e48fd7b532c5c5b11437476825c85cadddb569","observation_id":"4591e58e-693c-4a8d-b7f6-dc5599d4d472","resolution":{"observed_at":"2026-08-07T13:50:09.978542Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:10.121182Z","title":"Tensor product variable binding and the representation of symbolic structures in connectionist systems","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:10.121182Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:697a16a0aba274f35af10d66d879e3574afc9181a8067b0ce77ab6ba20a81421","observation_id":"35eb6fb9-dc93-4c74-892a-57204211c392","resolution":{"observed_at":"2026-08-07T13:50:10.121182Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:10.184696Z","title":"Roformer: Enhanced transformer with rotary position embedding","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:10.184696Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:07dc6d5a9f11d9a46d6037dba82ef7eddb8cf05ef8c3683c9987c4519e361c17","observation_id":"8c1eb90f-87b5-4781-893b-7e16ef55176c","resolution":{"observed_at":"2026-08-07T13:50:10.184696Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:11.485551Z","title":"N., Kaiser, ., and Polosukhin, I","venue":null,"work_id":"506c7355-9f79-4368-9818-dc5df5c3a6f1","year":2017},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:10.258577Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:321cffbf8d03db4085b19ce86cf81f783683c8b1e2b7286f902b6ed4658cfb37","observation_id":"6e7571e4-657e-46a0-9ed6-599debba5df0","resolution":{"observed_at":"2026-08-07T13:50:11.567779Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:11.253656Z","title":"Investigating gender bias in language models using causal mediation analysis","venue":null,"work_id":"9cc511b9-5093-4a1d-a42d-90d6c257cf75","year":2020},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:10.344617Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:aae59ebe09502f6598c872c3d891822c84709df3e7087d2eb44d3db34bd1a92c","observation_id":"8c1cdd81-da35-47f5-bcd8-5288b82e5799","resolution":{"observed_at":"2026-08-07T13:50:11.345955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:50:11.085879Z","title":"Unveiling transformers with LEGO : A synthetic reasoning task, 2023","venue":null,"work_id":"7e6e15db-e7b8-4a51-88ca-6502ee69bd5d","year":2023},"citing_paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-07T13:50:10.446055Z"},"links":{"citing_paper":"/paper/2505.20896"},"observation_digest":"sha256:3a61d9e3c27b0ae91737fc904f05b6b23b49a5667393f1e4b435ccae82211486","observation_id":"6b568520-53f4-4172-b43a-cfc80959e6ab","resolution":{"observed_at":"2026-08-07T13:50:11.153216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.20896","last_updated":"2025-05-30T18:08:50Z","latest_version":2,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-07T13:42:27.092718Z","submitted_at":"2025-05-27T08:39:20Z","title":"How Do Transformers Learn Variable Binding in Symbolic Programs?"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":22,"verified_exact":1,"verified_fuzzy":20},"total_outbound_references":43},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 5 inbound Pith citation observations for arXiv:2505.20896."}