{"as_of":"2026-08-10T12:36:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ee37849a725fe9f580375fa02d2f56b4f56452910fdbd31e68924ea4f5b63837","coverage":[{"denominator":16,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-09T17:09:58.789185Z","state":"measured"},{"denominator":21,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":21,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":5,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-14T11:28:23.511747Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-03T05:07:39.213546Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"cited_work":{"arxiv_id":"2502.00963","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.00963","snapshot_observed_at":"2026-07-03T05:07:39.213546Z","title":"Pde- controller: Llms for autoformalization and reasoning of pdes","venue":null,"work_id":"53d108db-0bb9-425c-a3d3-5eeac42c4c87","year":2025},"citing_paper":{"arxiv_id":"2604.02709","last_updated":"2026-04-15T09:12:39Z","snapshot_observed_at":"2026-07-06T22:52:02.162758Z","submitted_at":"2026-04-03T04:06:39Z","title":"Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-13T19:51:08.304741Z"},"links":{"cited_paper":"/paper/2502.00963","citing_paper":"/paper/2604.02709"},"observation_digest":"sha256:7d670a8202bd96b7f2b1242e8cba83a966834cc10f03509a071997fa444384a2","observation_id":"f011f026-160b-4b4a-89da-1356a1b22e82","resolution":{"observed_at":"2026-05-13T19:53:11.792475Z","resolver_source":"arxiv_id","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-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"cited_work":{"arxiv_id":"2502.00963","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.00963","snapshot_observed_at":"2026-07-03T05:07:39.213546Z","title":"Pde- controller: Llms for autoformalization and reasoning of pdes","venue":null,"work_id":"53d108db-0bb9-425c-a3d3-5eeac42c4c87","year":2025},"citing_paper":{"arxiv_id":"2605.09636","last_updated":"2026-05-10T16:25:43Z","snapshot_observed_at":"2026-07-30T14:07:22.496707Z","submitted_at":"2026-05-10T16:25:43Z","title":"PDEAgent-Bench: A Multi-Metric, Multi-Library Benchmark for PDE Solver Generation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-12T02:36:40.696567Z"},"links":{"cited_paper":"/paper/2502.00963","citing_paper":"/paper/2605.09636"},"observation_digest":"sha256:cdfd74d1fb7569f222efa7e1d40075f8cd18c5b234e7d52180a709cd18c2ddaa","observation_id":"ecea4f15-80bc-4d4e-b2f4-633833919a9f","resolution":{"observed_at":"2026-05-12T07:31:26.653925Z","resolver_source":"arxiv_id","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-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"cited_work":{"arxiv_id":"2502.00963","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.00963","snapshot_observed_at":"2026-07-03T05:07:39.213546Z","title":"Pde- controller: Llms for autoformalization and reasoning of pdes","venue":null,"work_id":"53d108db-0bb9-425c-a3d3-5eeac42c4c87","year":2025},"citing_paper":{"arxiv_id":"2606.08405","last_updated":"2026-06-07T01:59:11Z","snapshot_observed_at":"2026-08-02T22:40:46.431884Z","submitted_at":"2026-06-07T01:59:11Z","title":"Self-Evolving Scientific Agent Discovers Generalizable Physically-Reasoned Fluid Control","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-27T19:05:54.202107Z"},"links":{"cited_paper":"/paper/2502.00963","citing_paper":"/paper/2606.08405"},"observation_digest":"sha256:611babc4194ce8e7e1a8a9190785edac1fd9e67bd2ce2298c5392ed212f9a773","observation_id":"702c7dc8-6ade-48cb-85e5-53a0697414c2","resolution":{"observed_at":"2026-07-02T22:17:25.915115Z","resolver_source":"arxiv_id","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-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"cited_work":{"arxiv_id":"2502.00963","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.00963","snapshot_observed_at":"2026-07-03T05:07:39.213546Z","title":"Pde- controller: Llms for autoformalization and reasoning of pdes","venue":null,"work_id":"53d108db-0bb9-425c-a3d3-5eeac42c4c87","year":2025},"citing_paper":{"arxiv_id":"2606.10752","last_updated":"2026-06-09T12:02:58Z","snapshot_observed_at":"2026-08-08T14:02:13.465248Z","submitted_at":"2026-06-09T12:02:58Z","title":"AutoPDE: Reliable Agentic PDE Solving via Explicitly Represented Solver Strategies","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-06-27T13:24:09.972206Z"},"links":{"cited_paper":"/paper/2502.00963","citing_paper":"/paper/2606.10752"},"observation_digest":"sha256:f1081043abf297efc11ca9fcaa8d87ff40f7f316144d6b3adfc8336d0478f446","observation_id":"7ff15111-7b64-477f-898d-0637de28acbc","resolution":{"observed_at":"2026-07-03T05:07:39.215097Z","resolver_source":"arxiv_id","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-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.00963","snapshot_observed_at":"2026-07-14T11:28:23.511747Z","title":"Pde- controller: Llms for autoformalization and reasoning of pdes.arXiv preprint arXiv:2502.00963, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.10474","last_updated":"2026-07-11T20:53:04Z","snapshot_observed_at":"2026-08-08T22:09:54.543218Z","submitted_at":"2026-07-11T20:53:04Z","title":"Reinforcement Learning with Verifiable Physics: Post-training LLMs with Continuous Rewards","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-14T11:28:23.511747Z"},"links":{"cited_paper":"/paper/2502.00963","citing_paper":"/paper/2607.10474"},"observation_digest":"sha256:ad9b1ce51153470bec5bd79cc4ec02a194ea5c4731efc66c5a11a21598c1df01","observation_id":"1359ee21-87e0-4e85-985e-3ec70721d6e9","resolution":{"observed_at":"2026-07-14T11:28:23.511747Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2502.00963/citation-record","integrity":"/paper/2502.00963/integrity","json":"/paper/2502.00963/citation-record.json","paper":"/paper/2502.00963"},"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-09T17:09:59.061833Z","title":"The purpose is to reduce the second-order derivatives of u to first derivatives so that we can obtain (linear) approximations to u","venue":null,"work_id":"5eb4d82f-e5de-4251-866d-25f34a00b376","year":null},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.717212Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:7f6112ef34291268deb34d103c76b23e1ea297739d3d6d5dc67896fca4874bf6","observation_id":"25607973-53ee-4293-ae91-2f8b3e8c16d9","resolution":{"observed_at":"2026-08-09T17:09:59.066708Z","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-09T17:09:59.047866Z","title":null,"venue":null,"work_id":"a432b37b-4804-4d0d-bcc8-47ae81bf2856","year":null},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.722671Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:4e7c1425d82e9fc05fb63ff5b1a00343c59e51e7a18497afbcfd44a2f8360f8a","observation_id":"8388369b-b37f-42b2-9270-6b9195aa5866","resolution":{"observed_at":"2026-08-09T17:09:59.052373Z","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-09T17:09:59.033073Z","title":"The stiffness matrix (K) and mass matrix (M) encode the PDE’s structure","venue":null,"work_id":"315f21ba-413a-49c1-81f0-d1c1622af11e","year":null},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.727465Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:569b89162f37ae2a4a73a3c8cc5a8f0871f47cce46ffd1160c3c880950275749","observation_id":"08630a2b-ec43-4b27-be92-7775299a775c","resolution":{"observed_at":"2026-08-09T17:09:59.037981Z","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-09T17:09:59.017499Z","title":"average@k","venue":null,"work_id":"cbd030fa-bd09-4b9d-bed6-cb7d8b54c621","year":2024},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.732329Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:677f6fb871bb61330fad274b96df82d971c4ba746ce2a3bedede8f84e8292da8","observation_id":"910e5048-3750-4e2d-9230-aca1ceae934b","resolution":{"observed_at":"2026-08-09T17:09:59.022487Z","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-09T17:09:59.001612Z","title":null,"venue":null,"work_id":"776f2a44-66d4-413b-8f37-130b43aebf6a","year":null},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.737626Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:6a1e3db1dcfa652287bea03629e16b8b0f2d9c252bd198c11b1919a858968c93","observation_id":"25ba95eb-b2d0-4419-9932-e8f12f835153","resolution":{"observed_at":"2026-08-09T17:09:59.007145Z","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-09T17:09:58.984935Z","title":null,"venue":null,"work_id":"5af92dd5-219f-4ceb-ad36-b8dff146ba0a","year":null},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.742524Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:1ec2a4a37d5b68f67f7ac344bd00166edf06237c1c8aff820401651e9fbba2cc","observation_id":"7d494b8a-6d8a-4ed5-9324-24bdecf14fee","resolution":{"observed_at":"2026-08-09T17:09:58.990358Z","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-09T17:09:58.969449Z","title":"Wave We show easy/medium/hard problems in Fig","venue":null,"work_id":"78451fa2-260b-407d-9b73-47f809a1789c","year":null},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.747081Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:d84835e1bf5214df2256dcc590376e94973daf221056ec2d31951d78702852fe","observation_id":"54aad0a5-0cb7-4a4d-8cb8-b0a5554d4fbb","resolution":{"observed_at":"2026-08-09T17:09:58.974509Z","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-09T17:09:58.952935Z","title":"Hard Figure 8: Case study of wave problems with different difficulty levels: easy (top), medium (middle), hard (bottom)","venue":null,"work_id":"e8548bc6-146c-4bef-8dff-11f8ac44031e","year":1961},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.751991Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:ff6f26d2c47f6a7c1e4f55f4442b0de3da0074cb9e36ebcb79a77db7021497e1","observation_id":"96b6adf3-13c9-4f3a-8894-d5f5978f8683","resolution":{"observed_at":"2026-08-09T17:09:58.958582Z","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-09T17:09:58.937044Z","title":null,"venue":null,"work_id":"c1ac7451-1347-4194-ab8e-6542ff254ca4","year":null},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.756607Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:eef4d04a4eb21847c65160d238bcf20d732756defee26ca92551f3b6a53dd739","observation_id":"ced067b1-7c8a-4648-b62c-fbf08c30d388","resolution":{"observed_at":"2026-08-09T17:09:58.942423Z","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-09T17:09:58.920681Z","title":"for one point during","venue":null,"work_id":"ac00e10f-52a9-46b9-8a6e-41e6b7a2b6d5","year":2023},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.761217Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:5ab1c41893edcb3e1ab339f8ddafdeebde2a1bb60c19f78c6dd6468a97773d7d","observation_id":"f7cd3e24-3194-4651-969d-13cf4812595e","resolution":{"observed_at":"2026-08-09T17:09:58.926493Z","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-09T17:09:58.904484Z","title":null,"venue":null,"work_id":"ae68b4a7-6605-46f0-ad48-2d3b0b6a6438","year":null},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.766028Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:9432de571bb70ae404ce88c494bc9065936d308c52bebff0e671356ab7982b1e","observation_id":"822ddd56-dc1a-413d-a6cd-1e0300582b6a","resolution":{"observed_at":"2026-08-09T17:09:58.909202Z","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-09T17:09:58.888317Z","title":null,"venue":null,"work_id":"cd5f6bf8-d105-40dd-a154-dab71c82121d","year":null},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.770496Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:473d3245218ef2a9264d118a750072ca6a9573ab74a938c6e5e171abb850a07f","observation_id":"85850690-ab48-42f4-8e3f-66c22100d692","resolution":{"observed_at":"2026-08-09T17:09:58.893080Z","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-09T17:09:58.872776Z","title":null,"venue":null,"work_id":"dd4b89dd-dc48-477a-8ed6-99cce8b4b5e4","year":null},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.775269Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:90a7b1c5822c48d1105b29c980bb515639c50700aefa8d7be485539073df8eeb","observation_id":"5f09c9a1-da5f-4b47-8ba1-a6e2224e146e","resolution":{"observed_at":"2026-08-09T17:09:58.877657Z","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-09T17:09:58.856501Z","title":null,"venue":null,"work_id":"c0f9a2e2-09e5-4251-9920-f6d602ec3511","year":null},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.779856Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:17d830de71abc44b400cd6763651200789e207449f61e0297624222cee40899f","observation_id":"f8f3c0be-b4da-46ec-937b-d846fd912696","resolution":{"observed_at":"2026-08-09T17:09:58.861252Z","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-09T17:09:58.840697Z","title":"ho” instead of “rho","venue":null,"work_id":"fd59a1ba-2b98-464b-819d-7ca5d73b19dd","year":null},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.784424Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:1c1b3a7a688682d30dbfe71052aca24d13f0f28ef77bdc03a37b0b8e529a46e4","observation_id":"f9b53c26-ae8f-4e10-9efa-38312d940fdb","resolution":{"observed_at":"2026-08-09T17:09:58.845473Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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-09T17:09:58.821658Z","title":"raw” data saved in addition to the preprocessed/cleaned/labeled data (e.g., to support unanticipated future uses)? If so, please provide a link or other access point to the “raw","venue":null,"work_id":"c112581c-e670-45a9-aa0d-e93d87b3eba6","year":2023},"citing_paper":{"arxiv_id":"2502.00963","last_updated":"2025-06-11T03:07:41Z","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-09T17:09:58.789185Z"},"links":{"citing_paper":"/paper/2502.00963"},"observation_digest":"sha256:9eab1832c2b76df0535ac48f786126971c9947f87596971a12fd080eef23c5c6","observation_id":"419bcc12-e726-4e4d-a8aa-2f79c5f56c79","resolution":{"observed_at":"2026-08-09T17:09:58.829143Z","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":"2502.00963","last_updated":"2025-06-11T03:07:41Z","latest_version":2,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-09T17:02:43.420552Z","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs"},"reference_resolution":{"displayed":16,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":0,"verified_fuzzy":7},"total_outbound_references":16},"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 16 of 16 outbound references and 5 inbound Pith citation observations for arXiv:2502.00963."}