{"as_of":"2026-08-07T20:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:04fe12befaa236e6142e2e185ca770a5a032c399e802a8decd814f51d2313d03","coverage":[{"denominator":38,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":38,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T14:28:49.730209Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2507.19372/citation-record","integrity":"/paper/2507.19372/integrity","json":"/paper/2507.19372/citation-record.json","paper":"/paper/2507.19372"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:28:58.784833Z","title":"The number of parameters of o1-preview is a ballpark estimate based on the assumption that the model is a fine-tuned version of GPT-4","venue":null,"work_id":"64827db6-094b-4196-9a9b-107322abf6e2","year":2023},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:45.464841Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:45f0281810be9bf32aa8abf5a09f4a1f162fb4b9f1c2ec8a0fdce66c412286af","observation_id":"2b63f0ff-9f9d-44d9-8f8c-b953972e8259","resolution":{"observed_at":"2026-08-06T14:28:58.944119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-06T14:28:45.780645Z","title":"arXiv preprint arXiv:2107.03374","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:45.780645Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:d76c2fc418d584ba236fc4e6b33f7c15a492ef1ac4166fa0e98e1ec286849568","observation_id":"d705abca-d4b4-4d7c-9146-aa419359d3db","resolution":{"observed_at":"2026-08-06T14:28:45.780645Z","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-06T14:28:57.764887Z","title":null,"venue":null,"work_id":"66471a57-8a84-492f-9354-087e91e47357","year":2022},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:45.984746Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:df9d969835dc8258164f3ef4cc196d3bae3523b35622b12d3e51013b52e9baba","observation_id":"490e3c8b-dc1e-4c94-854e-aea2ad35f3c7","resolution":{"observed_at":"2026-08-06T14:28:57.964005Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T14:28:46.111519Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:46.111519Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:7fc953924023722cd14f6017fc399f87ac11980274a8fe413530ab8f0b77a910","observation_id":"cdf02c70-b278-4201-abcb-a9a5ccf4775a","resolution":{"observed_at":"2026-08-06T14:28:46.111519Z","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-06T14:28:57.454831Z","title":"URL: https://openreview.net/forum?id=KBQP4A_J1K","venue":null,"work_id":"2e356b6a-42e7-4d7a-97b1-35267e3cbb8d","year":2022},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:46.214739Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:2f4f1462fecb2f31ca62038700a4d198a5f4468799dd1122577c7622325d30d1","observation_id":"8a993f3a-cbb5-4c03-aef7-5fa84fa6d2ba","resolution":{"observed_at":"2026-08-06T14:28:57.576243Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T14:28:46.665055Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:46.665055Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:77a2b9497ab32345162ed7f2a0f3d033eec677f2a7521780a0e172febfc4d982","observation_id":"d46cc21b-0b19-4068-a289-365b88b85027","resolution":{"observed_at":"2026-08-06T14:28:46.665055Z","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-06T14:28:46.819402Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:46.819402Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:5c45030edf046ca936126ff3b383c4947ff9bc970b14a9a3e47476ec4d3b893b","observation_id":"2a518629-fbc7-4b67-9a05-f29ee28fe26d","resolution":{"observed_at":"2026-08-06T14:28:46.819402Z","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-06T14:28:47.112655Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:47.112655Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:6025e81ed1eadd1f77a736561fbf7ac4d6d65cb6dd91f7191a55a5bb5f5d4100","observation_id":"b8818979-cb23-4c5b-b2cc-ca164bd49c4c","resolution":{"observed_at":"2026-08-06T14:28:47.112655Z","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-06T14:28:57.103402Z","title":"(Eds.), Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16,","venue":null,"work_id":"73edd840-306d-4ded-a4cc-4879279882a8","year":2023},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:47.204754Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:acefc7b6093640444f959c01d86a6146d6aa6a6677a0ccbf7f8dbfa8b96d1395","observation_id":"599913ad-963f-464c-a3c4-91d7c591282c","resolution":{"observed_at":"2026-08-06T14:28:57.247990Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T14:28:56.716216Z","title":null,"venue":null,"work_id":"e325d648-9147-4c5c-86df-893fae341aa3","year":2022},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:47.336144Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:86b0caf9dec53a39e0aeb6fe7a5610a14d6580f79871a6a119b05daa17013a6c","observation_id":"60583023-6529-4930-8615-b9979afed38c","resolution":{"observed_at":"2026-08-06T14:28:56.872120Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1912.01412","last_updated":"2019-12-02T15:05:24Z","snapshot_observed_at":"2026-08-07T08:07:25.563461Z","submitted_at":"2019-12-02T15:05:24Z","title":"Deep Learning for Symbolic Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1912.01412","snapshot_observed_at":"2026-08-06T14:28:47.722854Z","title":"ArXiv abs/1912.01412","venue":null,"work_id":null,"year":1912},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:47.722854Z"},"links":{"cited_paper":"/paper/1912.01412","citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:0172e2b70e99488f79dada8206ac60c6b501b9953dcefdcad528eba69901e918","observation_id":"5a4811e1-aa20-4b8b-a2c7-7bce4d7ef0f6","resolution":{"observed_at":"2026-08-06T14:28:47.722854Z","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-06T14:28:47.956659Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:47.956659Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:55813dd3c36fcff9a027ee89f5b43f4dbff86542cb069234d64e9bada782d84d","observation_id":"e0872deb-4cc3-41b3-8d51-b75b1001eac9","resolution":{"observed_at":"2026-08-06T14:28:47.956659Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-06T14:28:48.091439Z","title":"arXiv:2303.08774","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:48.091439Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:fcc190a8ff30dca1bd3c81d1c5d9606cb050c0873a1a2de510ce7fd537b66de4","observation_id":"cd1fe0df-34bf-4b62-bf2a-4d469a173ecb","resolution":{"observed_at":"2026-08-06T14:28:48.091439Z","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-06T14:28:55.993707Z","title":"Accessed: 2024-09-29","venue":null,"work_id":"c47f52e3-035d-4cd5-b402-709ad0aba890","year":2024},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:48.177949Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:049da170ce912f9f1ff5abc70cac976624c1222629c280734c01e4871cdde841","observation_id":"62369cc1-1b09-46fb-81f5-59db56799d43","resolution":{"observed_at":"2026-08-06T14:28:56.101627Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2110.04169","last_updated":"2021-12-09T20:26:08Z","snapshot_observed_at":"2026-08-05T05:43:41.625918Z","submitted_at":"2021-10-08T14:52:25Z","title":"Iterative Decoding for Compositional Generalization in Transformers","version":2},"cited_work":{"arxiv_id":"2110.04169","doi":null,"metadata_source":"pith","pith_arxiv_id":"2110.04169","snapshot_observed_at":"2026-08-06T14:28:52.214755Z","title":"Iterative Decoding for Compositional Generalization in Transformers","venue":"cs.LG","work_id":"c1fc0be4-c2ae-4e83-be61-2bdc164c804b","year":2021},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:48.284813Z"},"links":{"cited_paper":"/paper/2110.04169","citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:b6731b07e448804d7973be15442760ac41232f01222d86f9f172dce41b99fafe","observation_id":"eb138bcb-c0c8-4a80-af6f-801b55c6c71d","resolution":{"observed_at":"2026-08-06T14:28:52.382583Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T14:28:48.363299Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:48.363299Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:abb5eb2a31d039c2635d9a93a483614aac482e2760195cf3aa4cc354ea4a3947","observation_id":"52f4e173-386b-4ce1-8c12-124e405734cf","resolution":{"observed_at":"2026-08-06T14:28:48.363299Z","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-06T14:28:55.774803Z","title":"URL: https://openreview.net/forum?id= H1gR5iR5FX","venue":null,"work_id":"c13204be-cb67-4dff-aa79-26fed186f64f","year":2019},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:48.444792Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:59a8427c931c229c738cb4b0977c187d3e4e33ac1919a5d50732ba57bf598778","observation_id":"012b4aec-ef85-4b77-b522-8031efd4d41f","resolution":{"observed_at":"2026-08-06T14:28:55.877555Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"web/2023071","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:28:51.834254Z","title":"https://web.archive","venue":null,"work_id":"eeaa5bcb-cc63-4224-9923-8d96db341054","year":2023},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:48.549453Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:c334d0ada8c9f4a54cbe5b076b065672532aca936fbd0162652042fe5b752ab5","observation_id":"14bcbdcd-59fe-47ad-83bb-bf392713e781","resolution":{"observed_at":"2026-08-06T14:28:51.970786Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2201.11766","last_updated":"2022-02-18T18:39:29Z","snapshot_observed_at":"2026-08-05T23:38:01.563209Z","submitted_at":"2022-01-27T19:13:42Z","title":"Recursive Decoding: A Situated Cognition Approach to Compositional Generation in Grounded Language Understanding","version":2},"cited_work":{"arxiv_id":"2201.11766","doi":null,"metadata_source":"pith","pith_arxiv_id":"2201.11766","snapshot_observed_at":"2026-08-06T14:28:51.374751Z","title":"Recursive Decoding: A Situated Cognition Approach to Compositional Generation in Grounded Language Understanding","venue":"cs.CL","work_id":"a12b7ec0-d09c-460c-b07f-9ca0a7525872","year":2022},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:48.686732Z"},"links":{"cited_paper":"/paper/2201.11766","citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:e686d795ec06cfe08a60678427ace89c7a43f91d5ac9200ad7547af6f21bc293","observation_id":"86d447ef-15bb-41b1-b012-554e14fed258","resolution":{"observed_at":"2026-08-06T14:28:51.470550Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2021.10027","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:28:50.862845Z","title":"Patterns 2, 100273","venue":null,"work_id":"9936a23e-72bf-4423-964d-7cb7273f75d3","year":2021},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:48.954098Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:0dd4e36e8edccdfa15a905474c51f34df4c9f1c9abdac336864acfac0671191e","observation_id":"eb5847fa-f375-4912-9eda-cfbbc85898e7","resolution":{"observed_at":"2026-08-06T14:28:50.996685Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T14:28:55.206559Z","title":"URL: https://openreview.net/forum?id= SkgKO0EtvS","venue":null,"work_id":"2dc69069-4fec-4270-b0fb-51a6e21348bd","year":2020},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:49.134763Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:497b757112c01d60882b8895418ae9373c8a7cc621a307dd73f1f666c2c25563","observation_id":"11c44628-8d80-4d6e-aa54-d780b8a8bed2","resolution":{"observed_at":"2026-08-06T14:28:55.334442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T14:28:54.644741Z","title":null,"venue":null,"work_id":"03228879-f2db-425b-9ba0-d38395958219","year":2023},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:49.336671Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:2c0723ba6611598ded1633d0a3119354007256752714d1defa89b319954f8d55","observation_id":"b3bcbb36-e093-400a-8c0c-bc79de0a8704","resolution":{"observed_at":"2026-08-06T14:28:54.748997Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T14:28:54.423411Z","title":null,"venue":null,"work_id":"24a13dfd-d93e-49d6-abc2-9c0f70c39fc5","year":2022},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:49.452005Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:ab075551b9c0d42f507d58183961f9dd7d823718ec969ab4ca2e5748a8be3f4e","observation_id":"974ef333-0762-4d93-af6c-3e16969d7515","resolution":{"observed_at":"2026-08-06T14:28:54.479255Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T14:28:54.186177Z","title":"(Eds.), Advances in Neural Information Processing Systems 34: Annual Conference on Neu- ral Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual, pp","venue":null,"work_id":"aa8aa15b-d2ce-45b3-b3f7-0168946d32bd","year":2021},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:49.593871Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:3a7ec55c797a642fceaf351cded163237c6a2c7717a774392a7d11d87c5b8a4b","observation_id":"5300ae30-263c-4e17-a653-9f9d9b012b8f","resolution":{"observed_at":"2026-08-06T14:28:54.292168Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T14:28:53.801350Z","title":"URL: https://openreview.net/forum?id= AssIuHnmHX","venue":null,"work_id":"914f81cb-9b6b-4dab-ad3b-5799455c87fb","year":2024},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:49.730209Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:4f4c60cb7f6541f6d1b1f26fff319ff9621879753392502fca34da009f371c7d","observation_id":"d6d74257-3773-4771-81f1-230107e5460b","resolution":{"observed_at":"2026-08-06T14:28:53.954754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0004-3702(90)90002-h","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:28:50.290963Z","title":null,"venue":null,"work_id":"46a72be5-5cbf-4b81-8b77-09dda94e4db8","year":null},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":1990,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:46.945268Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:df7e168c5f67334eeba152751fc69f7d2b2a6d598cdf4404331ac4c5aa127c21","observation_id":"ecd65ec2-a964-44e5-ab75-c3789541d4cc","resolution":{"observed_at":"2026-08-06T14:28:50.400826Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5220/0002319704520458","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T14:28:50.005910Z","title":"SciTePress","venue":null,"work_id":"d4cd170e-523b-4e4e-9940-ab59bceb8951","year":null},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:47.488103Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:f3c91192c94ee239837ae4a29b16f14c1936886cb1757d30b88cbaba333b85d8","observation_id":"e1f709f9-abbf-4f58-a3d7-f40822195b4e","resolution":{"observed_at":"2026-08-06T14:28:50.097617Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1410.5401","last_updated":"2014-12-10T16:01:39Z","snapshot_observed_at":"2026-08-01T22:22:04.725773Z","submitted_at":"2014-10-20T19:28:26Z","title":"Neural Turing Machines","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1410.5401","snapshot_observed_at":"2026-08-06T14:28:46.415845Z","title":"CoRR abs/1410.5401","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:46.415845Z"},"links":{"cited_paper":"/paper/1410.5401","citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:1c6cb35359f8c28f46702fcccc3b4aaa506d3324560473f9b1b54510ac777510","observation_id":"8dee96af-c87e-4311-ae3e-d8382f3714fa","resolution":{"observed_at":"2026-08-06T14:28:46.415845Z","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-06T14:28:54.954969Z","title":"(Eds.), Advances in Neural Information Processing Systems 28: Annual Conference on Neu- ral Information Processing Systems 2015, December 7-12, 2015, Montreal, Quebec, Canada, pp","venue":null,"work_id":"80d54e97-daa7-4d26-9d7a-e6288b7d54de","year":2015},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:49.228261Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:d8bfc49b9c3b32949bd67482fcb1b14647aec16def873d861ca1653d0fabba5f","observation_id":"11e556a2-e1b7-4747-a3eb-5da6ed9808cb","resolution":{"observed_at":"2026-08-06T14:28:55.054824Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T14:28:46.514810Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:46.514810Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:e58d54140eb22b83c0bcfbbadeba37fe3d570e5850f8bdfb43ad24a4c2e99f24","observation_id":"c4d6e94b-f803-40fe-92f3-1a65ce3b6bee","resolution":{"observed_at":"2026-08-06T14:28:46.514810Z","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-06T14:28:55.509259Z","title":"(Eds.), Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, December 4-9, 2017, Long Beach, CA, USA, pp","venue":null,"work_id":"8a1661f9-c058-4f06-b86a-b794ee6c9ea5","year":2017},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:48.833225Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:b77618622bcfc1a3ef02348e73f0d73fac4f3be6b3dda7640d2a4eb36a98dc85","observation_id":"d15c81af-a0f3-4f47-bff1-6700b5d624b1","resolution":{"observed_at":"2026-08-06T14:28:55.613361Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T14:28:56.394351Z","title":"(Eds.), Proceedings of the 35th International Con- ference on Machine Learning, ICML 2018, Stockholmsm¨ assan, Stock- holm, Sweden, July 10-15, 2018, PMLR","venue":null,"work_id":"e36862ae-7404-4ef2-a5ba-6e416ccb6f30","year":2018},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:47.570714Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:3f4f8717a47b14ff46b90d95a4881d8d15b0b1c58a45681e6dd20dbeb2b39dc8","observation_id":"562eb4af-3fe6-45b9-beb8-581472694b4f","resolution":{"observed_at":"2026-08-06T14:28:56.554825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T14:28:58.154739Z","title":null,"venue":null,"work_id":"3fd36582-07d8-44bf-9734-6ddb4db68e71","year":2019},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:45.934747Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:7e1a2e80b3cd144d12015aaeed284e3d89504a72611703ba81e1548447d1da08","observation_id":"89899abc-cefc-4647-bcf8-582c1c02bbda","resolution":{"observed_at":"2026-08-06T14:28:58.263840Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T14:28:58.447410Z","title":"(Eds.), Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual","venue":null,"work_id":"bbcb2e81-5cce-48db-b1cb-794bacc15300","year":2020},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:45.635667Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:ea6ba4b380d512fb80ed8c36db42fcde7e47db882cbb636b8386eb0810a3ef7a","observation_id":"96240ad8-bc37-4f93-bd10-8945906f66a2","resolution":{"observed_at":"2026-08-06T14:28:58.604898Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2104.14095","last_updated":"2021-04-29T03:52:46Z","snapshot_observed_at":"2026-07-06T11:04:37.806972Z","submitted_at":"2021-04-29T03:52:46Z","title":"Analyzing the Nuances of Transformers' Polynomial Simplification Abilities","version":1},"cited_work":{"arxiv_id":"2104.14095","doi":null,"metadata_source":"pith","pith_arxiv_id":"2104.14095","snapshot_observed_at":"2026-08-06T14:28:53.514750Z","title":"Analyzing the Nuances of Transformers' Polynomial Simplification Abilities","venue":"cs.AI","work_id":"6927e409-c665-44c7-9222-744ef051aa3f","year":2021},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:45.322598Z"},"links":{"cited_paper":"/paper/2104.14095","citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:0f845601e2ec1364731a30a574b1bef5bc83f658716b647156256534dc5bc326","observation_id":"b7d075b3-eeba-455e-86e0-eaecc53913fb","resolution":{"observed_at":"2026-08-06T14:28:53.655157Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T14:28:59.153591Z","title":null,"venue":null,"work_id":"62f03653-0832-4d6b-bb4e-fa0a4b3d54c2","year":2022},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:45.389743Z"},"links":{"citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:2b520da82fb1eabffffa3a9f7bdb6b950d91159b92cdd66013334b85e747e4a2","observation_id":"f6a81fa4-0cc1-476f-af4f-d2b276157333","resolution":{"observed_at":"2026-08-06T14:28:59.284835Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2301.00704","last_updated":"2023-01-02T14:43:38Z","snapshot_observed_at":"2026-08-03T00:33:47.397969Z","submitted_at":"2023-01-02T14:43:38Z","title":"Muse: Text-To-Image Generation via Masked Generative Transformers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.00704","snapshot_observed_at":"2026-08-06T14:28:45.675804Z","title":"URL: https://arxiv.org/abs/2301.00704, arXiv:2301.00704","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:45.675804Z"},"links":{"cited_paper":"/paper/2301.00704","citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:efc2664a5eba3a6d91ceb59abefa2dff6d26d1a23bd933cb9637da14f3e7765a","observation_id":"3469a9a0-887f-4059-ad72-6d7dc63615e5","resolution":{"observed_at":"2026-08-06T14:28:45.675804Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.05229","last_updated":"2025-08-27T16:24:39Z","snapshot_observed_at":"2026-07-06T19:29:09.714725Z","submitted_at":"2024-10-07T17:36:37Z","title":"GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.05229","snapshot_observed_at":"2026-08-06T14:28:47.884795Z","title":"CoRR abs/2410.05229","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-06T14:28:47.884795Z"},"links":{"cited_paper":"/paper/2410.05229","citing_paper":"/paper/2507.19372"},"observation_digest":"sha256:5d2e4f70c8f10a0262c5498e2132dfa322396d2550710647890a3087c38faea4","observation_id":"e3580ffa-6245-4b93-9aaf-571c4239dbdd","resolution":{"observed_at":"2026-08-06T14:28:47.884795Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.19372","last_updated":"2025-07-25T15:24:56Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T03:09:58.031141Z","submitted_at":"2025-07-25T15:24:56Z","title":"Learning neuro-symbolic convergent term rewriting systems"},"reference_resolution":{"displayed":38,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":18,"verified_exact":6,"verified_fuzzy":12},"total_outbound_references":38},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2507.19372."}