Paper Citation Record · LEDGER

Learning neuro-symbolic convergent term rewriting systems

As of 17 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2507.19372.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.19372 v1

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T14:28:49.730209Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

38 of 38 outbound references displayed

verified exact6
verified fuzzy12
unresolved18
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2b63f0ff-9f9d-44d9-8f8c-b953972e8259 · outbound

This paper cites 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.

Learning neuro-symbolic convergent term rewriting systems 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

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:28:58.944119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d705abca-d4b4-4d7c-9146-aa419359d3db · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Learning neuro-symbolic convergent term rewriting systems Evaluating Large Language Models Trained on Code

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T14:28:45.780645Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 490e3c8b-dc1e-4c94-854e-aea2ad35f3c7 · outbound

This paper cites an unresolved cited work.

Learning neuro-symbolic convergent term rewriting systems Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-06T14:28:57.964005Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation cdf02c70-b278-4201-abcb-a9a5ccf4775a · outbound

This paper cites an unresolved cited work.

Learning neuro-symbolic convergent term rewriting systems Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T14:28:46.111519Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a993f3a-cbb5-4c03-aef7-5fa84fa6d2ba · outbound

This paper cites URL: https://openreview.net/forum?id=KBQP4A_J1K.

Learning neuro-symbolic convergent term rewriting systems URL: https://openreview.net/forum?id=KBQP4A_J1K

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:28:57.576243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d46cc21b-0b19-4068-a289-365b88b85027 · outbound

This paper cites an unresolved cited work.

Learning neuro-symbolic convergent term rewriting systems Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T14:28:46.665055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a518629-fbc7-4b67-9a05-f29ee28fe26d · outbound

This paper cites an unresolved cited work.

Learning neuro-symbolic convergent term rewriting systems Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T14:28:46.819402Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8818979-cb23-4c5b-b2cc-ca164bd49c4c · outbound

This paper cites an unresolved cited work.

Learning neuro-symbolic convergent term rewriting systems Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T14:28:47.112655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 599913ad-963f-464c-a3c4-91d7c591282c · outbound

This paper cites (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,.

Learning neuro-symbolic convergent term rewriting systems (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,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:28:57.247990Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 60583023-6529-4930-8615-b9979afed38c · outbound

This paper cites an unresolved cited work.

Learning neuro-symbolic convergent term rewriting systems Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-06T14:28:56.872120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5a4811e1-aa20-4b8b-a2c7-7bce4d7ef0f6 · outbound

This paper cites Deep Learning for Symbolic Mathematics.

Learning neuro-symbolic convergent term rewriting systems Deep Learning for Symbolic Mathematics

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T14:28:47.722854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0872deb-4cc3-41b3-8d51-b75b1001eac9 · outbound

This paper cites an unresolved cited work.

Learning neuro-symbolic convergent term rewriting systems Unresolved cited work

Reference 23

Resolution: malformed identifier; no resolver link, observed 2026-08-06T14:28:47.956659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd1fe0df-34bf-4b62-bf2a-4d469a173ecb · outbound

This paper cites GPT-4 Technical Report.

Learning neuro-symbolic convergent term rewriting systems GPT-4 Technical Report

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-06T14:28:48.091439Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62369cc1-1b09-46fb-81f5-59db56799d43 · outbound

This paper cites Accessed: 2024-09-29.

Learning neuro-symbolic convergent term rewriting systems Accessed: 2024-09-29

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:28:56.101627Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation eb138bcb-c0c8-4a80-af6f-801b55c6c71d · outbound

This paper cites Iterative Decoding for Compositional Generalization in Transformers.

Learning neuro-symbolic convergent term rewriting systems Iterative Decoding for Compositional Generalization in Transformers

Reference 26

Resolution: verified exact; local_arxiv, observed 2026-08-06T14:28:52.382583Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 52f4e173-386b-4ce1-8c12-124e405734cf · outbound

This paper cites an unresolved cited work.

Learning neuro-symbolic convergent term rewriting systems Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T14:28:48.363299Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 012b4aec-ef85-4b77-b522-8031efd4d41f · outbound

This paper cites URL: https://openreview.net/forum?id= H1gR5iR5FX.

Learning neuro-symbolic convergent term rewriting systems URL: https://openreview.net/forum?id= H1gR5iR5FX

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:28:55.877555Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 14bcbdcd-59fe-47ad-83bb-bf392713e781 · outbound

This paper cites https://web.archive.

Learning neuro-symbolic convergent term rewriting systems https://web.archive

Reference 29

Resolution: verified exact; raw_fallback, observed 2026-08-06T14:28:51.970786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 86d447ef-15bb-41b1-b012-554e14fed258 · outbound

This paper cites Recursive Decoding: A Situated Cognition Approach to Compositional Generation in Grounded Language Understanding.

Learning neuro-symbolic convergent term rewriting systems Recursive Decoding: A Situated Cognition Approach to Compositional Generation in Grounded Language Understanding

Reference 30

Resolution: verified exact; local_arxiv, observed 2026-08-06T14:28:51.470550Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation eb5847fa-f375-4912-9eda-cfbbc85898e7 · outbound

This paper cites Patterns 2, 100273.

Learning neuro-symbolic convergent term rewriting systems Patterns 2, 100273

Reference 32

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T14:28:50.996685Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 11c44628-8d80-4d6e-aa54-d780b8a8bed2 · outbound

This paper cites URL: https://openreview.net/forum?id= SkgKO0EtvS.

Learning neuro-symbolic convergent term rewriting systems URL: https://openreview.net/forum?id= SkgKO0EtvS

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:28:55.334442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b3bcbb36-e093-400a-8c0c-bc79de0a8704 · outbound

This paper cites an unresolved cited work.

Learning neuro-symbolic convergent term rewriting systems Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-06T14:28:54.748997Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 974ef333-0762-4d93-af6c-3e16969d7515 · outbound

This paper cites an unresolved cited work.

Learning neuro-symbolic convergent term rewriting systems Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-06T14:28:54.479255Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5300ae30-263c-4e17-a653-9f9d9b012b8f · outbound

This paper cites (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.

Learning neuro-symbolic convergent term rewriting systems (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

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:28:54.292168Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d6d74257-3773-4771-81f1-230107e5460b · outbound

This paper cites URL: https://openreview.net/forum?id= AssIuHnmHX.

Learning neuro-symbolic convergent term rewriting systems URL: https://openreview.net/forum?id= AssIuHnmHX

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:28:53.954754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ecd65ec2-a964-44e5-ab75-c3789541d4cc · outbound

This paper cites an unresolved cited work.

Learning neuro-symbolic convergent term rewriting systems Unresolved cited work

Reference 1990

Resolution: verified exact; doi, observed 2026-08-06T14:28:50.400826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e1f709f9-abbf-4f58-a3d7-f40822195b4e · outbound

This paper cites SciTePress.

Learning neuro-symbolic convergent term rewriting systems SciTePress

Reference 2009

Resolution: verified exact; doi, observed 2026-08-06T14:28:50.097617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 8dee96af-c87e-4311-ae3e-d8382f3714fa · outbound

This paper cites Neural Turing Machines.

Learning neuro-symbolic convergent term rewriting systems Neural Turing Machines

Reference 2014

Resolution: unresolved; no resolver link, observed 2026-08-06T14:28:46.415845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11e556a2-e1b7-4747-a3eb-5da6ed9808cb · outbound

This paper cites (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.

Learning neuro-symbolic convergent term rewriting systems (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

Reference 2015

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:28:55.054824Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation c4d6e94b-f803-40fe-92f3-1a65ce3b6bee · outbound

This paper cites an unresolved cited work.

Learning neuro-symbolic convergent term rewriting systems Unresolved cited work

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-06T14:28:46.514810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d15c81af-a0f3-4f47-bff1-6700b5d624b1 · outbound

This paper cites (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.

Learning neuro-symbolic convergent term rewriting systems (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

Reference 2017

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:28:55.613361Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 562eb4af-3fe6-45b9-beb8-581472694b4f · outbound

This paper cites (Eds.), Proceedings of the 35th International Con- ference on Machine Learning, ICML 2018, Stockholmsm¨ assan, Stock- holm, Sweden, July 10-15, 2018, PMLR.

Learning neuro-symbolic convergent term rewriting systems (Eds.), Proceedings of the 35th International Con- ference on Machine Learning, ICML 2018, Stockholmsm¨ assan, Stock- holm, Sweden, July 10-15, 2018, PMLR

Reference 2018

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:28:56.554825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 89899abc-cefc-4647-bcf8-582c1c02bbda · outbound

This paper cites an unresolved cited work.

Learning neuro-symbolic convergent term rewriting systems Unresolved cited work

Reference 2019

Resolution: unresolved; raw_fallback, observed 2026-08-06T14:28:58.263840Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 96240ad8-bc37-4f93-bd10-8945906f66a2 · outbound

This paper cites (Eds.), Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual.

Learning neuro-symbolic convergent term rewriting systems (Eds.), Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual

Reference 2020

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T14:28:58.604898Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b7d075b3-eeba-455e-86e0-eaecc53913fb · outbound

This paper cites Analyzing the Nuances of Transformers' Polynomial Simplification Abilities.

Learning neuro-symbolic convergent term rewriting systems Analyzing the Nuances of Transformers' Polynomial Simplification Abilities

Reference 2021

Resolution: verified exact; local_arxiv, observed 2026-08-06T14:28:53.655157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f6a81fa4-0cc1-476f-af4f-d2b276157333 · outbound

This paper cites an unresolved cited work.

Learning neuro-symbolic convergent term rewriting systems Unresolved cited work

Reference 2022

Resolution: unresolved; raw_fallback, observed 2026-08-06T14:28:59.284835Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3469a9a0-887f-4059-ad72-6d7dc63615e5 · outbound

This paper cites Muse: Text-To-Image Generation via Masked Generative Transformers.

Learning neuro-symbolic convergent term rewriting systems Muse: Text-To-Image Generation via Masked Generative Transformers

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-06T14:28:45.675804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3580ffa-6245-4b93-9aaf-571c4239dbdd · outbound

This paper cites GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models.

Learning neuro-symbolic convergent term rewriting systems GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-06T14:28:47.884795Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.