{"as_of":"2026-08-10T09:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6f90c4b51ce3f5e07ad39d868008d5df15fd591d4adf43168aa420c2422621b3","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-10T06:31:04.303077+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-09T11:08:42.370443Z","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:8ec01517517a25947081e7c8ab6c035bfb1ccd6211cbc64c0482df94e580aefe","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:9dc29c8fc10209cbcab27ea5aa41bf6973faff4bf3cc9e31c06b2d6cf4484c3a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:553af44fb0d3453e3ee92b94122a795ed040a7beef5098aaa7125ef3be89ee89","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:2c7a25b87264bb1e8571e2501ccc671076b51a5118c7d406a780b59663f5034c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:0c0a6c3fbeda4d21dc16088357312b50a9c4f30e33820262ab2028b741fae7d1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:d230b758c1f8178f0d94b7c390fbe68835692346639f58a9ba911243776ffb3f","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-09T11:08:42.370443Z","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:0840a22bbf586d96f8c2063a13b88388fd54ff711dbd56525aa84e1e2966a487","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:4cdbd0a06542476fdd6fdcac670dd794dfdb5f0675b2c3db699044d121fa92cf","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-09T11:08:42.370443Z","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:e5e9b234052d8d502a3a85085e7959880e23b7c34a7f5b968cb3104379983431","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-09T11:08:42.370443Z","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:752d806046779032763c63008095ce93d7e742fec92410fd82c922136852b3a4","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-09T11:08:42.370443Z","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:02a0da77c1945c76d8229eb2295b323c50fc3ee19daa9278a274e97c66bdf090","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-09T11:08:42.370443Z","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:ef6cb65cd71b65d584ae329f678693f60e1f3b6391af948c90d479da80021068","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:ba02eb37d88e963705da8be205c5f1a84813e055a12454acc6511e1146d3c576","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:c318bcbf80e5010fd2c6c54fa8fe06f693224fddee0489320ce33da2ae6d0bd3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T05:45:21.615261Z","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-09T11:08:42.370443Z","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:cbff1c76adb2b084c371c9962ce956bf2e1194722ef70a78b51b46487105e836","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-09T11:08:42.370443Z","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:ae75578c0ac5f2314b39891c197f61bec7d0f4040ad97057149ad17f60c60b09","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:6ee1b800f1363f0cd28231a6aad3449df253103d7822175781406c93fda76a7d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:00f1052dbf2b71f94a9e5e9ed621d43ec3bb567a3148693e1f75c3bc28712396","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:162dba8115351cbcedd22df37f988bd2245e0d1f46dc5b4adaabf0b401014d52","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:f2e1401743fbfae925bd635224e29855becdb3117e1a31cfc40aa7430197a893","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:fc10dd6710e7014e2654d84498caad549c32ded2b205b70afca620ba9cd438ff","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-09T11:08:42.370443Z","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:b1441ee7134749fce7a2138b84d11cb7038fa6a23df448f66db448700319e996","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1037/rev0000371","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"C., and Potts, C","venue":"Psychological Review","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-09T11:08:42.370443Z","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:b77081b0fcf3dfd11ad74c9b6474dc84dc160f11323c7b59b7d340cd0d2e61f2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:1d8646494a53e493e3cd67b061c5fa75051d5b95a7ad0d4dfdb9f5c507c1243a","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-09T11:08:42.370443Z","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:29f9a450a06f9e467516b6e29709f55c309f814d99743d1ef06a382cb4bd7abb","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-09T11:08:42.370443Z","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:ba03d14e3bbef2df678ba162b9ff7320b73c02d0c668adee9a12aa2c7ffc47cc","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-09T20:34:52.923500Z","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-09T11:08:42.370443Z","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:3fe51391b93e562fe3e527c53408f9895be58dc44bbdd7176feb0eab437f19a2","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-09T11:08:42.370443Z","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:64514d6ff9b4ce74e76484d799a1db768375c360d9c734b663ed67d5bebe44f4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:e8e88beb1c98ac43b45d04fdcf9395b7b5cd1c330355310796dec10d4aa7b03d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:4a69bbc5183dc3cc1ec3c8d2e2086404fc2cf23606084543ee29dae7fb6669f1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:1be626ef5d676e3b30e6b9817209f1b6313ba7a8e0bea04efd645f09716ae150","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-09T11:08:42.370443Z","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:1917c8df19c8b5913164ab94b00be0c07923bc596b61958027ec5fdbd994b589","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:29c47efb1225462e7f61bfeff174402394b89ed6c6ae452e3aeefa95e8ef10c6","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-09T11:08:42.370443Z","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:bc09ca28e13ce39e4f2e7d99a0c7fa0e31b98d13ec2fde8c790698f406481b72","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:26f7b3094658d8709785babb1f9f50a50ccb87b6d0fe1c3bc8288a17c6d7d678","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:4ceb2a8552a0c1c1dd6090fdef5fd6405362125cd33edfcee8a6eda8048da00a","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-09T11:08:42.370443Z","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:0f97a4554cdb44b4cf47fcbd64bd3e7a289375f43fe33114fb80f1bcea746581","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:51885f8c0ee6211ce27b49a8bb6f9cb2938ad0c5fd3af9ef624f253062bb6646","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:1e77cc19e6129453690b6a49aab1d71ab70374b8f60a5b629b281e50ce78bc8a","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-09T11:08:42.370443Z","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:8f89d15ac481b7d7638ee731dc820a3586d0a9ca2059e38be6ac8eb0bd48392a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:31ad4d2d3e39ef44e89665d150c46dce221f8a435ac4484a1c71e96637b883af","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:967be65108b725ed66a87f08e82576dc236f5afc6d7fdd2a59c1e9ac58552cb9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:641c64d4993f74d57f37510121f86a3c4813a92d722046daacbb9ad67421f736","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-09T11:08:42.370443Z","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:e9bd87edacf6d1b8a1b0a42df15b6b2489daea4490ae3d7751161b332db04f67","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-09T11:08:42.370443Z","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:f854494e2f65e789d4878d43b71001eeda975e5dcc5b31672b4f48e80b9813e9","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-09T11:08:42.370443Z","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:48bcce98724ba2e2003dcd17d49b72ea88926645587e18a83a70d6d4f58e3a0c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:7bd426fe3a59339c08f754fbfbef0e6c70efbad81458c086348e79a629ba35d3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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:d27d09a2dbc7c55cec192ce66f387330765d5888553079b19962e0fa5bc8421c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T11:08:42.370443Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 5 inbound Pith citation observations for arXiv:2505.20896."}