Paper Citation Record · LEDGER

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers

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

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

pith.paper-citation-record.v1
2608.02662 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T00:51:00.523766Z

measured 42 of 42 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

42 of 42 outbound references displayed

verified exact2
verified fuzzy28
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c3970e64-759a-452e-a27b-069f55c40a46 · outbound

This paper cites , title =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers , title =

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.373010Z

Source-reported events for the cited work

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

Observation cad95838-e29a-45a2-8fcb-776b5005c3e9 · outbound

This paper cites an unresolved cited work.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-05T00:51:01.358473Z

Source-reported events for the cited work

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

Observation 8001d499-65b1-477a-840b-41d264dd2656 · outbound

This paper cites Meteorology and Atmospheric Physics , volume =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Meteorology and Atmospheric Physics , volume =

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.343385Z

Source-reported events for the cited work

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

Observation ba7761bc-5edd-49f6-b212-1ff09aff83e4 · outbound

This paper cites an unresolved cited work.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-05T00:51:01.326878Z

Source-reported events for the cited work

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

Observation c6ace89a-3ac7-4989-a78f-37ea78239f95 · outbound

This paper cites and Nakariakov, V.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers and Nakariakov, V

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.312681Z

Source-reported events for the cited work

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

Observation ab1a954c-574f-47d7-85b9-8fa5efbe3b21 · outbound

This paper cites and Chutia, B.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers and Chutia, B

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.297278Z

Source-reported events for the cited work

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

Observation 1b8fc251-de59-456f-875d-c87eb3745c75 · outbound

This paper cites Quarterly of Applied Mathematics , volume =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Quarterly of Applied Mathematics , volume =

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.281858Z

Source-reported events for the cited work

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

Observation 01698255-180f-4c8f-baf0-4b1727d25259 · outbound

This paper cites , title =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers , title =

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.266551Z

Source-reported events for the cited work

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

Observation f55d0169-28b0-4147-8e26-2cc857b395f3 · outbound

This paper cites and Proctor, Joshua L.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers and Proctor, Joshua L

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-05T00:51:00.372508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c8b812f-aa08-4f24-9891-bf2404d13690 · outbound

This paper cites Nathan , title =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Nathan , title =

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.240231Z

Source-reported events for the cited work

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

Observation 29ef7710-62ad-4fae-8e23-17eb52e1d59a · outbound

This paper cites Nathan , title =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Nathan , title =

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.225163Z

Source-reported events for the cited work

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

Observation 76cfd6b6-5fea-4886-8c97-214e407c3cff · outbound

This paper cites an unresolved cited work.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-05T00:51:01.210321Z

Source-reported events for the cited work

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

Observation d0b505bd-f7bc-4ebf-896a-8dbf05b85fae · outbound

This paper cites International Conference on Learning Representations , year =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers International Conference on Learning Representations , year =

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.195753Z

Source-reported events for the cited work

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

Observation 5b1534a5-3843-40c7-bb6a-e2cb367aefbb · outbound

This paper cites Journal of Computational Physics , volume =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Journal of Computational Physics , volume =

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-05T00:51:00.394631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f04ec01e-f4c4-482d-a541-29ba2ed8a507 · outbound

This paper cites Advances in Neural Information Processing Systems , volume =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Advances in Neural Information Processing Systems , volume =

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.169926Z

Source-reported events for the cited work

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

Observation a90b556d-2e36-44bb-b3d7-93cc2299a2f2 · outbound

This paper cites Physics-Informed Neural Networks with Hard Constraints for Inverse Design , journal =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Physics-Informed Neural Networks with Hard Constraints for Inverse Design , journal =

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.154941Z

Source-reported events for the cited work

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

Observation 4159938c-c062-4d4b-8918-994a857e7a8b · outbound

This paper cites and Bortz, David M.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers and Bortz, David M

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.140167Z

Source-reported events for the cited work

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

Observation 2a28e1f9-aa56-478b-8fd5-175f7a6e456e · outbound

This paper cites Nathan and Brunton, Bingni W.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Nathan and Brunton, Bingni W

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.124398Z

Source-reported events for the cited work

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

Observation 215d75f2-c44d-4344-830a-7d3030d55b7b · outbound

This paper cites , title =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers , title =

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.110591Z

Source-reported events for the cited work

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

Observation d02ec505-1427-493f-8e12-3e6df4875030 · outbound

This paper cites , title =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers , title =

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.096283Z

Source-reported events for the cited work

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

Observation 8a4c2720-d871-4c7a-8f6e-6e946556435b · outbound

This paper cites Journal of Applied Physics , volume =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Journal of Applied Physics , volume =

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.081817Z

Source-reported events for the cited work

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

Observation f147e0bd-09e2-4805-b5f0-82ed6584d4e7 · outbound

This paper cites Discovery of Nonlinear Dynamics with Automated Basis Function Generation.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Discovery of Nonlinear Dynamics with Automated Basis Function Generation

Reference 22

Resolution: metadata mismatch; local_arxiv, observed 2026-08-05T00:51:00.884444Z

Source-reported events for the cited work

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

Observation 5bfe9121-f511-40ec-848b-bae5e576641d · outbound

This paper cites Science Advances , volume =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Science Advances , volume =

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.066859Z

Source-reported events for the cited work

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

Observation 7e38bff3-97d7-47d1-b1a3-22f78813ae98 · outbound

This paper cites Inferring the Structure of Ordinary Differential Equations.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Inferring the Structure of Ordinary Differential Equations

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-05T00:51:00.438023Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d85f97f9-70a3-4be8-8dd6-bca451709c24 · outbound

This paper cites Probabilistic Grammars for Equation Discovery , journal =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Probabilistic Grammars for Equation Discovery , journal =

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.051614Z

Source-reported events for the cited work

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

Observation f7cf41ab-9636-416f-ac83-078ad99e9260 · outbound

This paper cites Probabilistic Grammars for Modeling Dynamical Systems from Coarse, Noisy, and Partial Data , journal =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Probabilistic Grammars for Modeling Dynamical Systems from Coarse, Noisy, and Partial Data , journal =

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.037071Z

Source-reported events for the cited work

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

Observation 1a6751d8-7cc1-4c80-b209-885cc49d7066 · outbound

This paper cites and Landajuela, Mikel and Mundhenk, T.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers and Landajuela, Mikel and Mundhenk, T

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.021496Z

Source-reported events for the cited work

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

Observation c089c0f9-335d-42e6-8872-d32b3d5c2287 · outbound

This paper cites SymbolicGPT: A Generative Transformer Model for Symbolic Regression.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers SymbolicGPT: A Generative Transformer Model for Symbolic Regression

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-05T00:51:00.457718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a7eaefd-40b8-4152-96ec-7317a2022d41 · outbound

This paper cites , title =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers , title =

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:01.006665Z

Source-reported events for the cited work

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

Observation a49c5149-6f0d-49af-9f84-f156c74def82 · outbound

This paper cites The Twelfth International Conference on Learning Representations , year =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers The Twelfth International Conference on Learning Representations , year =

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:00.989861Z

Source-reported events for the cited work

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

Observation df589f05-a0b3-4e51-a5fe-13952c76458d · outbound

This paper cites Diffusion-Based Symbolic Regression.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Diffusion-Based Symbolic Regression

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-05T00:51:00.474364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f48b29b-3921-436a-a52b-e627c73a0102 · outbound

This paper cites Scientific Reports , volume =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Scientific Reports , volume =

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:00.975282Z

Source-reported events for the cited work

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

Observation 02cf0c4a-6924-4ead-8fb9-1e3b4227f28e · outbound

This paper cites arXiv preprint arXiv:2602.13021 , year =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers arXiv preprint arXiv:2602.13021 , year =

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-05T00:51:00.483811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f88b4618-5311-4297-8216-4388f27765a1 · outbound

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

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Neuro-Symbolic ODE Discovery with Latent Grammar Flow

Reference 34

Resolution: metadata mismatch; local_arxiv, observed 2026-08-05T00:51:00.724473Z

Source-reported events for the cited work

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

Observation 34b57d33-0317-4131-bed1-3b9bce327397 · outbound

This paper cites NeurIPS 2025 Workshop on Machine Learning and the Physical Sciences , year =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers NeurIPS 2025 Workshop on Machine Learning and the Physical Sciences , year =

Reference 35

Resolution: verified exact; doi, observed 2026-08-05T00:51:00.701722Z

Source-reported events for the cited work

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

Observation b7e2eace-5acb-4067-8a40-23cae8f8da66 · outbound

This paper cites Interpretable Machine Learning for Science with PySR and SymbolicRegression.jl.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Interpretable Machine Learning for Science with PySR and SymbolicRegression.jl

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-05T00:51:00.498071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 398d8dd6-1f6e-47ba-9bd0-1711306b5d61 · outbound

This paper cites Journal of Physics D: Applied Physics , volume =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Journal of Physics D: Applied Physics , volume =

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:00.959549Z

Source-reported events for the cited work

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

Observation f6cce7fc-3a0d-4418-a2ee-af72d4dfca82 · outbound

This paper cites , title =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers , title =

Reference 38

Resolution: verified exact; doi, observed 2026-08-05T00:51:00.559841Z

Source-reported events for the cited work

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

Observation 2754fb8d-30f7-45da-849e-347ba63f6cc2 · outbound

This paper cites From Statistical Relational to Neurosymbolic Artificial Intelligence: A Survey , journal =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers From Statistical Relational to Neurosymbolic Artificial Intelligence: A Survey , journal =

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:00.944762Z

Source-reported events for the cited work

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

Observation a8ee3073-ae03-4e37-8677-dd47985b22d8 · outbound

This paper cites Advances in Neural Information Processing Systems , volume =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Advances in Neural Information Processing Systems , volume =

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:00.929696Z

Source-reported events for the cited work

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

Observation 25c52acc-0e7d-49b2-ab86-d4bbf3b3981b · outbound

This paper cites Proceedings of the 38th International Conference on Machine Learning , series =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Proceedings of the 38th International Conference on Machine Learning , series =

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:00.914724Z

Source-reported events for the cited work

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

Observation f4b40bbd-d934-4567-8199-f156c7cf8e03 · outbound

This paper cites Advances in Neural Information Processing Systems , volume =.

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers Advances in Neural Information Processing Systems , volume =

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:51:00.899149Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.