{"as_of":"2026-08-10T04:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:546b89b780df574495a1539d69ba878d4658834369af7993543a603011fb4aca","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-09T06:31:02.800959+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-08T11:27:34.501967Z","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:0de16bd21cd9e56aa05f7d24ace8e0096b40b75a569175929a4e9e84de598a6d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-08T11:58:24.516369Z","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-08T11:27:34.501967Z","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:04ebddade89a5af48a3a57ba3f2aaacb1e862e1442a7e511443fb2feed364a19","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-08T11:27:34.501967Z","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:fc6beaa227a657c2eccdaad297229fffaf6db99e0fa11a68181506936f3cc23d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:945cb1b43f898adbc75d835de24c7fe54157f24693a0bab815d2d67b02d7e164","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-08T11:27:34.501967Z","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:a62ba8c11dc83d93f5f3a26b96e8e4d4ca00081ca57a66098265a9bd3c3fd4f8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:2aa8d1ef8973b2ac1c49aa66bce1edca292571b2594f4c8446f33eaa5b2fdcc7","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-08T11:27:34.501967Z","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:eadbe9938acf314cdec62d45505c294d91ea4796456c4faa6360c53678dcda89","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-08T11:27:34.501967Z","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:cab6983cd9867d8006d3fc7ec299ced07c6e0f143e31fb24c6a3a0caeb7cc5c8","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-08T11:27:34.501967Z","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:0aad3f4ca016d22972f12a12ea2f6456122ab43d81067eb323d9c7863b537c07","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:2df07038c080d8a4a055ab161fa9fb89eade479f465a51ee6c4187a457ba11f1","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:dcf49214aa8da9e248fea7cc6f0f481abe185e5463b66f6bec1ad5685da95486","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-08T11:27:34.501967Z","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:1cab7bfd567454a3b48ebd97f27f59c39a3f18fbd48a957812f2c58c3f7f4120","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-08T11:27:34.501967Z","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:212121b5d40b7f5431892f7ed7cd54b6bd307e8a73c823a15a33c47b203b1b8e","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-08T11:27:34.501967Z","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:a8590397c7a877753055bc83d513ee319fa19e9c5aa426d172fcfc694755077d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:3dfa5ad17ed60d2bc3dfcf6b7aaf104064e71178514559e38a77ddc50327330c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:c6a19508e8598986a063c8ddc7c3643ca245731d2061ef403f45af1bddd5c1d9","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-08T11:27:34.501967Z","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:c3715e987ed67a7a91c4ddd72676e050f77899dcd917743492f33a3dce4dfb0c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:e256352c413b6d408a90fe588d7b6b1159291e5bd0dfd02f5c80b4fc16fcad4c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T18:33:45.335910Z","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-08T11:27:34.501967Z","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:a06cddf04534ac3df1ee06f996d0646d2c54b3cf7acfc1d0c94b4c3f8c47e4a4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:8df2051b6e920c6e5346d1af5f1ac5c9c6b3ccc1fce21fa3a0821382b6c4fc61","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:134a3172ef0faf017dff55c6b2e07bf015547a64492f3086710f6e4a093ede0e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:804c8bac4471098b5dcf68b2843e56bd4df103721649683fdf04763bf04eef6d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:a40ab02b018f12d183b7c6aea2a1c1b438ec7bb6edc8d6cbda110da22570ca11","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:4f239aca797cf0b192391ddf7df7d7cd37adc381c1ff3a1aa480ad4030970cbb","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:7968d3a2250233b70ae7265166b60316cdd39c0ce3c62a951a8324c0f6ce2c8a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:a2c56c358e7150460d0c5e13f217fd147d504812e07b8d0d1fd9fffde4c2b08b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:e84a11bb51c04da2e62ab988890146809ffbebf7c8214db1f7af9808653a54f7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:94216976b33e5fd6f137971639b0c93d9f91d5cc53eda8db6cb42c2647d163f5","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-08T11:27:34.501967Z","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:2f2e8ab3339ddc19d9cf3f5225628fa75b5dfa05679ed3efa7cc1f1cecbe81c4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:1fdb0fd175c6a7e8604490a70d1f405679cf5f78b1dc40e64215a0eb611ded9c","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-08T11:27:34.501967Z","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:cba02b10534c36f352f7dd8fe0d696bdc8b81390065758452b028cd2061a5956","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:62276f618f9bed1681a09b2502a222c9fcd9e065b6dc95787d1cf4c6ced447b8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:8f3ce9b0809f712250346e2bcf278606794af102358b017f5556ec0237d006a9","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:43103a9e7ef262144f2ae3dbaa701c322e2a7d5b5d13b0cebc350ec0fac75e6a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:5983d6ad070ccd5f16b58eabcfde70d753f722ddc74099ebfcd268db70a6dbd2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:fe62b89cd268bc4f94f92fff340d15a765732db74369410863b38429878d7555","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T11:27:34.501967Z","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:0bfe36fd1f70cdad13cb0d4a8f17d0c57f5cbc0a24fd6837fcb0347af3dd6f7b","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-08T11:27:34.501967Z","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:9e133136a92da453331e78a34d0ad9999e4317ccc17982942c7a0d4f55ce0ebe","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-08T11:27:34.501967Z","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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2507.19372."}