Paper Citation Record · LEDGER

Deep Learning for Symbolic Mathematics

As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 16 inbound Pith citation observations for arXiv:1912.01412.

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

pith.paper-citation-record.v1
1912.01412 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 16 of 16 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 16 of 16 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T20:07:01.542196Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-02T20:47:22.644628Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation ee4d2856-da40-4f7d-990e-eccae78b468c · inbound

Generative Language Modeling for Automated Theorem Proving cites this paper.

Generative Language Modeling for Automated Theorem Proving Deep Learning for Symbolic Mathematics

Reference 39

Resolution: metadata mismatch; arxiv_id, observed 2026-05-23T05:18:10.748234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 494c7d82-258f-4169-917f-e511c5c6122b · inbound

Training Verifiers to Solve Math Word Problems cites this paper.

Training Verifiers to Solve Math Word Problems Deep Learning for Symbolic Mathematics

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-05-24T13:04:30.050779Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e5a57c1f-6aa7-4811-9b0c-a7a2fa2bccab · inbound

Massive Activations in Large Language Models cites this paper.

Massive Activations in Large Language Models Deep Learning for Symbolic Mathematics

Reference 52

Resolution: metadata mismatch; arxiv_id, observed 2026-05-16T07:02:53.877938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ed39d132-cc6d-4309-ad3b-5280ff3a743b · inbound

Statistical Patterns in the Equations of Physics and the Emergence of a Meta-Law of Nature cites this paper.

Statistical Patterns in the Equations of Physics and the Emergence of a Meta-Law of Nature Deep Learning for Symbolic Mathematics

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-05-23T21:53:29.663749Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 07252835-2c13-4f14-9dfb-5dbb2498b601 · inbound

Neuro-Symbolic AI for Analytical Solutions of Differential Equations cites this paper.

Neuro-Symbolic AI for Analytical Solutions of Differential Equations Deep Learning for Symbolic Mathematics

Reference 9

Resolution: metadata mismatch; arxiv_id, observed 2026-05-23T03:35:21.186511Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2cc12ab7-4301-450d-bc5e-ef5c395fe215 · inbound

A Better Multi-Objective GP-GOMEA -- But do we Need it? cites this paper.

A Better Multi-Objective GP-GOMEA -- But do we Need it? Deep Learning for Symbolic Mathematics

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T20:07:01.542196Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

Learning neuro-symbolic convergent term rewriting systems cites this paper.

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 632e2d06-17d5-4c53-8579-f5c9ace356e7 · inbound

Learning to Unscramble: Simplifying Symbolic Expressions via Self-Supervised Oracle Trajectories cites this paper.

Learning to Unscramble: Simplifying Symbolic Expressions via Self-Supervised Oracle Trajectories Deep Learning for Symbolic Mathematics

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-05-15T12:35:35.505770Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 631006c5-6fb6-4f93-a0d1-e9d5346b3c9b · inbound

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture cites this paper.

$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture Deep Learning for Symbolic Mathematics

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-05-11T06:05:58.127984Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f553e130-ced5-45d7-8a6d-1b717b4966e9 · inbound

The Long Delay to Arithmetic Generalization: When Learned Representations Outrun Behavior cites this paper.

The Long Delay to Arithmetic Generalization: When Learned Representations Outrun Behavior Deep Learning for Symbolic Mathematics

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-05-14T21:17:58.870861Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7d7f98c8-ea15-47c3-8c10-9d16181d9b9a · inbound

Neuro-Symbolic ODE Discovery with Latent Grammar Flow cites this paper.

Neuro-Symbolic ODE Discovery with Latent Grammar Flow Deep Learning for Symbolic Mathematics

Reference 4

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T08:48:02.483395Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ae6ad72e-c7ca-460f-9f0f-2e21c0d24e24 · inbound

Neuro-Symbolic ODE Discovery with Latent Grammar Flow cites this paper.

Neuro-Symbolic ODE Discovery with Latent Grammar Flow Deep Learning for Symbolic Mathematics

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-15T12:27:15.229823Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 821c59ef-65ed-44d6-9e3c-7c739619ca32 · inbound

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability cites this paper.

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability Deep Learning for Symbolic Mathematics

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-05-11T16:31:10.143243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a8f68d3a-6f1d-4b4d-ba7e-05516193250e · inbound

Learning First Integrals via Backward-Generated Data and Guided Reinforcement Learning cites this paper.

Learning First Integrals via Backward-Generated Data and Guided Reinforcement Learning Deep Learning for Symbolic Mathematics

Reference 9

Resolution: metadata mismatch; arxiv_id, observed 2026-05-21T05:59:41.175059Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4326ba60-8bf3-44a9-83cb-0ef862582057 · inbound

Symbolic Regression via Latent Iterative Refinement cites this paper.

Symbolic Regression via Latent Iterative Refinement Deep Learning for Symbolic Mathematics

Reference 10

Resolution: metadata mismatch; arxiv_id, observed 2026-06-29T18:33:50.946501Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e4a4c2eb-488f-45b1-a4c0-d92be367d679 · inbound

EditSR: Enhancing Neural Symbolic Regression via Edit-based Rectification cites this paper.

EditSR: Enhancing Neural Symbolic Regression via Edit-based Rectification Deep Learning for Symbolic Mathematics

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-07-02T20:47:22.646336Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.