{"as_of":"2026-08-10T10:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:44b46d3ade7dff62866aef090f5d9d4d56b5551982c04d972608d3667dfe1eaa","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T00:51:00.523766Z","state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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/2608.02662/citation-record","integrity":"/paper/2608.02662/integrity","json":"/paper/2608.02662/citation-record.json","paper":"/paper/2608.02662"},"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-05T00:51:01.368631Z","title":", title =","venue":null,"work_id":"b3ef60ca-c805-4518-a63e-c8e546518b90","year":1926},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.330737Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:c3f7e32ca0122b67184b1f1f56c8da0cdcf6cd6b8797840aeaf8956ec4b0ad71","observation_id":"c3970e64-759a-452e-a27b-069f55c40a46","resolution":{"observed_at":"2026-08-05T00:51:01.373010Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.354059Z","title":null,"venue":null,"work_id":"7af898f9-6027-44aa-88ca-1493aa803fc0","year":null},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.337081Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:c873e44acc0ee8493ee64d4279773e2de4618c9ffb98591c47e54137837132ec","observation_id":"cad95838-e29a-45a2-8fcb-776b5005c3e9","resolution":{"observed_at":"2026-08-05T00:51:01.358473Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.338132Z","title":"Meteorology and Atmospheric Physics , volume =","venue":null,"work_id":"491bb9d9-ca20-4a16-abe4-fedf8c6f4097","year":1990},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.342174Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:a7a9cbf8f20f70f7cb725121cc8bc380859bf5cadcd5bac43081e350629e0607","observation_id":"8001d499-65b1-477a-840b-41d264dd2656","resolution":{"observed_at":"2026-08-05T00:51:01.343385Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.322534Z","title":null,"venue":null,"work_id":"8684d47a-b2d9-4acd-be71-ba2c96033ec5","year":2004},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.347162Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:22d5f6db0d6444bf4663489f9cb2d0cf22b804b2a4a06e4a09e6e35043ac341d","observation_id":"ba7761bc-5edd-49f6-b212-1ff09aff83e4","resolution":{"observed_at":"2026-08-05T00:51:01.326878Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.307897Z","title":"and Nakariakov, V","venue":null,"work_id":"21e8a7a9-25d2-40b7-a4d1-1cd3f22af6eb","year":2010},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.352641Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:59eb469ebf839c3a70b45a8da4185afc26aec5e3d4a14aefac4db714461e195c","observation_id":"c6ace89a-3ac7-4989-a78f-37ea78239f95","resolution":{"observed_at":"2026-08-05T00:51:01.312681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.292367Z","title":"and Chutia, B","venue":null,"work_id":"76a03a4f-f1a4-4b98-8607-d8782a3250d7","year":2020},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.357540Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:e5bd0d4342736f3cb5463ea20e572e509743d51defc9ba7731a77f071d75fe89","observation_id":"ab1a954c-574f-47d7-85b9-8fa5efbe3b21","resolution":{"observed_at":"2026-08-05T00:51:01.297278Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.277060Z","title":"Quarterly of Applied Mathematics , volume =","venue":null,"work_id":"bbbee017-948f-4e75-85e2-3453f3640f2d","year":1987},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.362585Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:ec6374dc7693edd1e8f8657ec39deb8b7ab2ee57a4ab7dd7cf5daab0099c43e4","observation_id":"1b8fc251-de59-456f-875d-c87eb3745c75","resolution":{"observed_at":"2026-08-05T00:51:01.281858Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.262063Z","title":", title =","venue":null,"work_id":"229c8ad3-541e-4e31-99f7-d7044609fe12","year":2022},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.368028Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:760b38daa715916bcf42f98dd9513510a5f425d858ae2ac96e12c318da4b420f","observation_id":"01698255-180f-4c8f-baf0-4b1727d25259","resolution":{"observed_at":"2026-08-05T00:51:01.266551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:00.372508Z","title":"and Proctor, Joshua L","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.372508Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:4993cf1e5d658609fdf564ef2d87ec6f75e973152ec6840115ad9f796bed179c","observation_id":"f55d0169-28b0-4147-8e26-2cc857b395f3","resolution":{"observed_at":"2026-08-05T00:51:00.372508Z","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-05T00:51:01.235307Z","title":"Nathan , title =","venue":null,"work_id":"6f349b8a-d081-422d-a03d-85fc3b95fe75","year":2018},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.377076Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:63a3d6f82fbc20ec366bd525c47c58a94b7f1e32a4dd6e28def050db98396ebb","observation_id":"3c8b812f-aa08-4f24-9891-bf2404d13690","resolution":{"observed_at":"2026-08-05T00:51:01.240231Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.220472Z","title":"Nathan , title =","venue":null,"work_id":"273ff228-1d76-4be4-8b8f-9e68613639ed","year":2024},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.381616Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:5ad580f7886b0ef33be8b4cc2e6e5bef049345b6c4270ccd5dd5efbc368be98a","observation_id":"29ef7710-62ad-4fae-8e23-17eb52e1d59a","resolution":{"observed_at":"2026-08-05T00:51:01.225163Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.205978Z","title":null,"venue":null,"work_id":"89b46c26-0757-4401-95ad-e848f19819a7","year":null},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.385964Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:6057bcad7c4e4234f868b1e677b7e7be9b82bc639ca5af0ace2adfb495d85a09","observation_id":"76cfd6b6-5fea-4886-8c97-214e407c3cff","resolution":{"observed_at":"2026-08-05T00:51:01.210321Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.190888Z","title":"International Conference on Learning Representations , year =","venue":null,"work_id":"a0a236c1-3940-4136-91a3-95539882f77f","year":null},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.390243Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:2c3ed27f856e7257edbe3d140b83850b6c3fb9cbcca8626c0a39cd8f060a50e5","observation_id":"d0b505bd-f7bc-4ebf-896a-8dbf05b85fae","resolution":{"observed_at":"2026-08-05T00:51:01.195753Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:00.394631Z","title":"Journal of Computational Physics , volume =","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.394631Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:b1183b2740a9144b14c5463b7077ca1867d4e80bfb09f03024c8b2a9dd3a0e0a","observation_id":"5b1534a5-3843-40c7-bb6a-e2cb367aefbb","resolution":{"observed_at":"2026-08-05T00:51:00.394631Z","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-05T00:51:01.165325Z","title":"Advances in Neural Information Processing Systems , volume =","venue":null,"work_id":"8cc589d7-081e-412d-bc60-7f25cbb5e568","year":null},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.398851Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:08c46751edf9c4452cfeaf65e5d50e282e329abef8f317ee41b5c6e3ecf435b2","observation_id":"f04ec01e-f4c4-482d-a541-29ba2ed8a507","resolution":{"observed_at":"2026-08-05T00:51:01.169926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.150526Z","title":"Physics-Informed Neural Networks with Hard Constraints for Inverse Design , journal =","venue":null,"work_id":"c5b0316d-2498-4dea-a362-92e54dc963a5","year":2021},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.403315Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:af52e74d52aebf9f8e05eab788daecad02a6babed4f6b5274cf0abc734052d96","observation_id":"a90b556d-2e36-44bb-b3d7-93cc2299a2f2","resolution":{"observed_at":"2026-08-05T00:51:01.154941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.135790Z","title":"and Bortz, David M","venue":null,"work_id":"887be9d5-88be-4914-91bc-d3649f5e6f83","year":2021},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.407575Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:56ae52b8e19b37567b013a479555fd34de6b2511852c1f9f457259cb74c03f43","observation_id":"4159938c-c062-4d4b-8918-994a857e7a8b","resolution":{"observed_at":"2026-08-05T00:51:01.140167Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.120277Z","title":"Nathan and Brunton, Bingni W","venue":null,"work_id":"f82f4a9a-4db8-401b-9244-43bc574c0c6e","year":2022},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.411611Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:a364cbb5380fe9134ca570cc2da91cc2b2856b13079f29f4fa1b7c99e6b456e9","observation_id":"2a28e1f9-aa56-478b-8fd5-175f7a6e456e","resolution":{"observed_at":"2026-08-05T00:51:01.124398Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.106266Z","title":", title =","venue":null,"work_id":"2d0ee364-8ba8-4a83-8aa9-c0c0b0832d35","year":2025},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.415801Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:e5db5f270e416917f094ebd932a2ae59e92b24792e5cd95516766df7e84a1611","observation_id":"215d75f2-c44d-4344-830a-7d3030d55b7b","resolution":{"observed_at":"2026-08-05T00:51:01.110591Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.091650Z","title":", title =","venue":null,"work_id":"f233b1a4-6f49-451d-90ef-1289b82a793c","year":2018},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.419911Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:e402e0128fd2914b94f3d6e33847ce7f80e55118655947771a6d7a25eb77129d","observation_id":"d02ec505-1427-493f-8e12-3e6df4875030","resolution":{"observed_at":"2026-08-05T00:51:01.096283Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.077142Z","title":"Journal of Applied Physics , volume =","venue":null,"work_id":"4bb2f681-43ef-443d-9813-7faf78fcfd31","year":2025},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.424024Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:721a8f9695284561c2d469e5a501193ffbf7282ea318adf1e93298b873b20cd6","observation_id":"8a4c2720-d871-4c7a-8f6e-6e946556435b","resolution":{"observed_at":"2026-08-05T00:51:01.081817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.09696","last_updated":"2026-05-10T18:30:17Z","snapshot_observed_at":"2026-08-04T02:38:14.751201Z","submitted_at":"2026-05-10T18:30:17Z","title":"Discovery of Nonlinear Dynamics with Automated Basis Function Generation","version":1},"cited_work":{"arxiv_id":"2605.09696","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.09696","snapshot_observed_at":"2026-08-05T00:51:00.879631Z","title":"Discovery of Nonlinear Dynamics with Automated Basis Function Generation","venue":"cs.LG","work_id":"5097f724-7469-44ad-be1c-5b79faec822d","year":2026},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.428799Z"},"links":{"cited_paper":"/paper/2605.09696","citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:1ced6fb3392d74532f81556a0568385029647c30c91d7c29ca8ba93c6cac6bfa","observation_id":"f147e0bd-09e2-4805-b5f0-82ed6584d4e7","resolution":{"observed_at":"2026-08-05T00:51:00.884444Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.061846Z","title":"Science Advances , volume =","venue":null,"work_id":"465e80d8-543b-4d28-a42d-1761c168052f","year":2020},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.433650Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:3bb8c3d323d5e8599eae3a311b0b1f8e570ef981fb80c526968631af4fe36bc5","observation_id":"5bfe9121-f511-40ec-848b-bae5e576641d","resolution":{"observed_at":"2026-08-05T00:51:01.066859Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.07345","last_updated":"2021-07-05T07:55:05Z","snapshot_observed_at":"2026-07-06T11:29:27.164151Z","submitted_at":"2021-07-05T07:55:05Z","title":"Inferring the Structure of Ordinary Differential Equations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.07345","snapshot_observed_at":"2026-08-05T00:51:00.438023Z","title":"arXiv preprint arXiv:2107.07345 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.438023Z"},"links":{"cited_paper":"/paper/2107.07345","citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:c23427bfe0b1508e0d1ebab38bcd57571ff02b57a691d97031bee287753f797b","observation_id":"7e38bff3-97d7-47d1-b1a3-22f78813ae98","resolution":{"observed_at":"2026-08-05T00:51:00.438023Z","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-05T00:51:01.047199Z","title":"Probabilistic Grammars for Equation Discovery , journal =","venue":null,"work_id":"19073510-12dd-49cc-883d-5c200400a05f","year":2021},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.443991Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:218e220812e646ef2283ea6a71670d55517aff6058735ec61080d66071e504f1","observation_id":"d85f97f9-70a3-4be8-8dd6-bca451709c24","resolution":{"observed_at":"2026-08-05T00:51:01.051614Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.032416Z","title":"Probabilistic Grammars for Modeling Dynamical Systems from Coarse, Noisy, and Partial Data , journal =","venue":null,"work_id":"82e608eb-a017-46d2-abc6-934b16ff99a6","year":2024},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.449244Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:12c1e1feb8227ac19ef2a185f69fd82ac9ee7f9cb87774984a1928b7ab8858be","observation_id":"f7cf41ab-9636-416f-ac83-078ad99e9260","resolution":{"observed_at":"2026-08-05T00:51:01.037071Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:01.017027Z","title":"and Landajuela, Mikel and Mundhenk, T","venue":null,"work_id":"715cb74e-ea69-465d-b350-0f0d870e2678","year":null},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.453733Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:422ce686515873316ef4893a4cd79aad3b689b8a52f9498182183eb205c393db","observation_id":"1a6751d8-7cc1-4c80-b209-885cc49d7066","resolution":{"observed_at":"2026-08-05T00:51:01.021496Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2106.14131","last_updated":"2021-06-27T03:26:35Z","snapshot_observed_at":"2026-08-09T08:21:31.714408Z","submitted_at":"2021-06-27T03:26:35Z","title":"SymbolicGPT: A Generative Transformer Model for Symbolic Regression","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2106.14131","snapshot_observed_at":"2026-08-05T00:51:00.457718Z","title":"arXiv preprint arXiv:2106.14131 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.457718Z"},"links":{"cited_paper":"/paper/2106.14131","citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:acf15fe3167dc85df05890c450933da139fdaebfe5051ccae9e196017badb78f","observation_id":"c089c0f9-335d-42e6-8872-d32b3d5c2287","resolution":{"observed_at":"2026-08-05T00:51:00.457718Z","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-05T00:51:00.999959Z","title":", title =","venue":null,"work_id":"ea08f7b0-6d91-42a0-a173-6c7d7b70ff4f","year":2023},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.462391Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:0a8d233f8d9f8bee7cd9b676a798baa9fa74708e4b8c29c655608b643fe767fc","observation_id":"0a7eaefd-40b8-4152-96ec-7317a2022d41","resolution":{"observed_at":"2026-08-05T00:51:01.006665Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:00.985332Z","title":"The Twelfth International Conference on Learning Representations , year =","venue":null,"work_id":"74f56721-c413-402f-84f7-71cddf2561f7","year":null},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.469915Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:6f4111e4832a128dafa434a9dbed04a197df2c18297c0dcf289d270c77b60adf","observation_id":"a49c5149-6f0d-49af-9f84-f156c74def82","resolution":{"observed_at":"2026-08-05T00:51:00.989861Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.24776","last_updated":"2025-05-30T16:39:29Z","snapshot_observed_at":"2026-08-08T23:32:12.181350Z","submitted_at":"2025-05-30T16:39:29Z","title":"Diffusion-Based Symbolic Regression","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.24776","snapshot_observed_at":"2026-08-05T00:51:00.474364Z","title":"and Hochhalter, Jacob and Zhe, Shandian , title =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.474364Z"},"links":{"cited_paper":"/paper/2505.24776","citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:a4955a3a6cc63d58e58b9817acce6557564e807e0c94fe0bf80c8083ce8f6d89","observation_id":"df589f05-a0b3-4e51-a5fe-13952c76458d","resolution":{"observed_at":"2026-08-05T00:51:00.474364Z","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-05T00:51:00.970802Z","title":"Scientific Reports , volume =","venue":null,"work_id":"2066aeed-7168-492f-b458-1f575da3cf6f","year":2026},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.479430Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:defd2744290c57332f47dc8096f262887fe32965ce503104e9832f2f2b810798","observation_id":"8f48b29b-3921-436a-a52b-e627c73a0102","resolution":{"observed_at":"2026-08-05T00:51:00.975282Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:00.483811Z","title":"arXiv preprint arXiv:2602.13021 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.483811Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:cfe1917ed570f136eb98175d98e19b0c22ee393192e68a5f9fe7ae4b302b6628","observation_id":"02cf0c4a-6924-4ead-8fb9-1e3b4227f28e","resolution":{"observed_at":"2026-08-05T00:51:00.483811Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.16232","last_updated":"2026-07-13T18:09:31Z","snapshot_observed_at":"2026-08-03T00:53:45.328889Z","submitted_at":"2026-04-17T16:46:23Z","title":"Neuro-Symbolic ODE Discovery with Latent Grammar Flow","version":2},"cited_work":{"arxiv_id":"2604.16232","doi":"10.48550/arxiv.2604.16232","metadata_source":"pith","pith_arxiv_id":"2604.16232","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Neuro-Symbolic ODE Discovery with Latent Grammar Flow","venue":"cs.LG","work_id":"9f62fc44-645b-49eb-be6b-16990f7f3536","year":2026},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.488773Z"},"links":{"cited_paper":"/paper/2604.16232","citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:2307ffa897d77f7b9fa9d78451e3c6292b68724e3a6a12b7e143803e8fc90733","observation_id":"f88b4618-5311-4297-8216-4388f27765a1","resolution":{"observed_at":"2026-08-05T00:51:00.724473Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-07T00:09:09.463717+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-07T00:09:09.463717+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.48550/arxiv.2510.23295","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"NeurIPS 2025 Workshop on Machine Learning and the Physical Sciences , year =","venue":"arXiv (Cornell University)","work_id":"8f99dfe1-0b88-4146-86fb-d95d3f8a5245","year":2025},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.493543Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:291a1e73abfc1d87771a2884148bb38a29648fc89387a5b086e32b072aea6679","observation_id":"34b57d33-0317-4131-bed1-3b9bce327397","resolution":{"observed_at":"2026-08-05T00:51:00.701722Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-07T00:09:09.774915+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-07T00:09:09.774915+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.01582","last_updated":"2023-05-05T17:44:07Z","snapshot_observed_at":"2026-07-06T15:22:25.008777Z","submitted_at":"2023-05-02T16:31:35Z","title":"Interpretable Machine Learning for Science with PySR and SymbolicRegression.jl","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.01582","snapshot_observed_at":"2026-08-05T00:51:00.498071Z","title":"arXiv preprint arXiv:2305.01582 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.498071Z"},"links":{"cited_paper":"/paper/2305.01582","citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:b29e1a7e14d74844ec37b1e0dbf886b8cc77a1e73ba58fb2fac4250520468156","observation_id":"b7e2eace-5acb-4067-8a40-23cae8f8da66","resolution":{"observed_at":"2026-08-05T00:51:00.498071Z","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-05T00:51:00.955027Z","title":"Journal of Physics D: Applied Physics , volume =","venue":null,"work_id":"0aa5e93f-8644-4e95-96f5-cf866beaf41a","year":2025},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.502682Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:61caed3452902155b83c6e1d3b71527b8e1d1b9854675a4f41572037f2e3fbf7","observation_id":"398d8dd6-1f6e-47ba-9bd0-1711306b5d61","resolution":{"observed_at":"2026-08-05T00:51:00.959549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.4776967","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":", title =","venue":"Zenodo (CERN European Organization for Nuclear Research)","work_id":"2457aa96-b4f5-48f4-aacb-80debed3d6af","year":2021},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.506747Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:88a1528bae77151f0df03124115e83e7ab039f7cbd2a7e4f7761be5128bf8391","observation_id":"f6cce7fc-3a0d-4418-a2ee-af72d4dfca82","resolution":{"observed_at":"2026-08-05T00:51:00.559841Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-07T00:09:09.992395+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-07T00:09:09.992395+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:00.939947Z","title":"From Statistical Relational to Neurosymbolic Artificial Intelligence: A Survey , journal =","venue":null,"work_id":"9d8a2280-6901-4bba-af87-198e43f24c00","year":2024},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.511556Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:531278ae1ff37502d8cf5de9b5aabbc737a077c3bfb97dfb17fbca19f7c713b1","observation_id":"2754fb8d-30f7-45da-849e-347ba63f6cc2","resolution":{"observed_at":"2026-08-05T00:51:00.944762Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:00.925303Z","title":"Advances in Neural Information Processing Systems , volume =","venue":null,"work_id":"f2852c07-a8aa-49c8-8590-b89ebebf6a3c","year":null},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.515527Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:7735d3d67d641c6566c23b2c8af7678fd9d3bde95f61efe478e78583ab55d682","observation_id":"a8ee3073-ae03-4e37-8677-dd47985b22d8","resolution":{"observed_at":"2026-08-05T00:51:00.929696Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:00.909974Z","title":"Proceedings of the 38th International Conference on Machine Learning , series =","venue":null,"work_id":"06d3d4cb-98bb-4051-9f9f-0c1aa1cb0ce4","year":2021},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.519491Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:162bc908395bb6d94cb141f277947e28c72d2a706efcea4f7d921c80337f2f9f","observation_id":"25c52acc-0e7d-49b2-ab86-d4bbf3b3981b","resolution":{"observed_at":"2026-08-05T00:51:00.914724Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T00:51:00.894791Z","title":"Advances in Neural Information Processing Systems , volume =","venue":null,"work_id":"78c1b25d-fa8d-4f01-bbd1-a9db2408ac6d","year":null},"citing_paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-05T00:51:00.523766Z"},"links":{"citing_paper":"/paper/2608.02662"},"observation_digest":"sha256:8c198978437158aaa790fbd553eb491d6548238cea699986b5bad276324f03a4","observation_id":"f4b40bbd-d934-4567-8199-f156c7cf8e03","resolution":{"observed_at":"2026-08-05T00:51:00.899149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.02662","last_updated":"2026-08-01T19:03:21Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-08T23:32:16.445439Z","submitted_at":"2026-08-01T19:03:21Z","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":10,"verified_exact":2,"verified_fuzzy":28},"total_outbound_references":42},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"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."}