{"as_of":"2026-08-10T04:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:056d24b9e11227d891c2ade8272b53199e6e844ea421d2faf702c0f96a93420f","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-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/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:4048e9d8cdcf4a21ce39d77a6a0f2271f0ab8023c7981918d21ccfeac1080cdb","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:54d7459ac3ba95c42db093f4645740fd518b99b0bdabbb9bc764c5ddcf7c818f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:15951b444c3ed4a9196d3e5c3d3e107ac54c0f9c2bdf5ba5eda1985c865b75b5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:06fa2237b1877a6caaac9d9fc5d8b0e456a6dd027e08d2b6296d1f1dfcfdc6e6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:79c7f78ead731fd533e9e8333350929a4ee8f1436b7dd5f42365b1bfb4b06d1c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:875294e846a92857b56c232764cb0d9d59a1e95cff8d0f9e1119321a7b0f74c7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:5b1f6a636058b0e4bfbe1b11ffb525d609944031f66f929d600940eba187a4ef","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:c4effd1300c9b96dc0e8627c43390cf8e9ad1bd8c5b4757ae0c1872a0009c2d6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:f8ec397561f98131bb77705fc3b80fc99a34b21a600c1aa8ad1abbcb4993682c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:72a8cc6465505fd2163356d95037748bbbbcb76d6ed5982ef9c3288004ff903b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:40b832da0ff8f6dcfd3495446299406fcd28243adda073a1f2c6c11658eb0c62","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:7ae36fe35edeab1fea50887a0a731423b91c867e3d961c311e45b036d05bdd49","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:610e06edd63530d6065ad8d20e48cec4e2eb5ff10f06398787ed96d99446770d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:503513c5e9fc738842d9d9b91c3b1252ec6ac5cfaf5c32a7f1b463308cd7c21c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:be8618ed31e51530334813723cb41c1745119919e911d449e4b4c9c13e687a45","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:90db178301d243d4be9dd33a19d259fbcb47e511fd536331170ae08cde7dab4c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:df5a589dd2c957a9cbda8696c9525f902511a076f990b26849254fbaa2d696e4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:14ac040b9daaf9b809dc841921b726035ed92acc10fe11a82af84317e2ba5de2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:4b5bac0fda712cf1179d971f83e9c6124186ae21ca2faef0ba9210a8290873ec","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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:8c0ffc58e198ff510dbae00f4732fb0beddc970cc6a0646b3f1c9ba2fe135989","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:7c293312ec6b398844dbbd9bdd0d6e9268eae4a03defe1004d842594d03ae2de","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.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:d27aedec9de2f97931dae16719a0b726ff9af1d21d40dc90679e35baa474426a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:aa46880c0cb1580887a8bd242feb992d39c3ded4d5025818a8d02b4427e8836e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:b341617a93008aec9d673872f07daf2c0cb081a25cc58e8a187de0cb861ee6a0","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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:f58fe76564074e1f7e137b73a29262d1a4cdd02bbb9b2f809f8bdc5a0d75fa28","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:666a4a5d2a59d3f0ca29f07fa510f8db890944d6a3036af9b1a7db042ffb5e8d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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:cff86a0c93e6312da2bc696025d470e2408506e4b54c482765337457d2a840b2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-05T06:16:20.379382Z","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:dcc87598ed5b4f22ddd5a4654e1ac195f9e6d2d79022bbfa529fc8544cf37ff3","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-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-09T06:30:57.326959+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:278a71aac7b880606d76d3e2fcde0d348467ae9725fc269279844c74f38df54f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-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-09T06:30:57.326959+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:d5cc6bf7234fdce134b79cc35981d24b3394628d50993ac5329384c5f0adc5dd","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.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:5111578bad7471a88263bc5323fd9a300cb1b832f5fa3a6e49d16b0f42d77af4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-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-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:9665a6032758841cfe28a59f8ec329bb4456d78acbf30a8df6f7bd4d38f73ce3","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:6a970a8e0f7fe3f7d2bc961034ca4057dd029c3d5b05b52f6a7f8898414bc29d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:1aecc14bf2100a308509b97744039c0a0e21b2dbd69a7f41e32f925bdc428432","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:1cc6b692346542b9a8532fd93098e8adfe2affe8f0d66e94772bb75005b19621","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2608.02662."}