Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-09T17:09:58.789185Z
Paper Citation Record · LEDGER
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-14T11:28:23.511747Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-07-03T05:07:39.213546Z
Reference resolution
16 of 16 outbound references displayed
- verified exact0
- verified fuzzy7
- unresolved8
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 25607973-53ee-4293-ae91-2f8b3e8c16d9 · outbound
This paper cites The purpose is to reduce the second-order derivatives of u to first derivatives so that we can obtain (linear) approximations to u.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs The purpose is to reduce the second-order derivatives of u to first derivatives so that we can obtain (linear) approximations to u
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T17:09:59.066708Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 8388369b-b37f-42b2-9270-6b9195aa5866 · outbound
This paper cites an unresolved cited work.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-09T17:09:59.052373Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 08630a2b-ec43-4b27-be92-7775299a775c · outbound
This paper cites The stiffness matrix (K) and mass matrix (M) encode the PDE’s structure.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs The stiffness matrix (K) and mass matrix (M) encode the PDE’s structure
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T17:09:59.037981Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 910e5048-3750-4e2d-9230-aca1ceae934b · outbound
This paper cites average@k.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs average@k
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T17:09:59.022487Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 25ba95eb-b2d0-4419-9932-e8f12f835153 · outbound
This paper cites an unresolved cited work.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-09T17:09:59.007145Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 7d494b8a-6d8a-4ed5-9324-24bdecf14fee · outbound
This paper cites an unresolved cited work.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-09T17:09:58.990358Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 54aad0a5-0cb7-4a4d-8cb8-b0a5554d4fbb · outbound
This paper cites Wave We show easy/medium/hard problems in Fig.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs Wave We show easy/medium/hard problems in Fig
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T17:09:58.974509Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 96b6adf3-13c9-4f3a-8894-d5f5978f8683 · outbound
This paper cites Hard Figure 8: Case study of wave problems with different difficulty levels: easy (top), medium (middle), hard (bottom).
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs Hard Figure 8: Case study of wave problems with different difficulty levels: easy (top), medium (middle), hard (bottom)
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T17:09:58.958582Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation ced067b1-7c8a-4648-b62c-fbf08c30d388 · outbound
This paper cites an unresolved cited work.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-09T17:09:58.942423Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation f7cd3e24-3194-4651-969d-13cf4812595e · outbound
This paper cites for one point during.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs for one point during
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T17:09:58.926493Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 822ddd56-dc1a-413d-a6cd-1e0300582b6a · outbound
This paper cites an unresolved cited work.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-09T17:09:58.909202Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 85850690-ab48-42f4-8e3f-66c22100d692 · outbound
This paper cites an unresolved cited work.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-09T17:09:58.893080Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 5f09c9a1-da5f-4b47-8ba1-a6e2224e146e · outbound
This paper cites an unresolved cited work.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-09T17:09:58.877657Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation f8f3c0be-b4da-46ec-937b-d846fd912696 · outbound
This paper cites an unresolved cited work.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-09T17:09:58.861252Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation f9b53c26-ae8f-4e10-9efa-38312d940fdb · outbound
This paper cites ho” instead of “rho.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs ho” instead of “rho
Reference 15
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-09T17:09:58.845473Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 419bcc12-e726-4e4d-a8aa-2f79c5f56c79 · outbound
This paper cites 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.
PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs 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
Reference 2023
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T17:09:58.829143Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Pith citing papers
Observation f011f026-160b-4b4a-89da-1356a1b22e82 · inbound
Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy cites this paper.
Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs
Reference 50
- Resolution
- verified exact
- arxiv_id, observed 2026-05-13T19:53:11.792475Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation ecea4f15-80bc-4d4e-b2f4-633833919a9f · inbound
PDEAgent-Bench: A Multi-Metric, Multi-Library Benchmark for PDE Solver Generation cites this paper.
PDEAgent-Bench: A Multi-Metric, Multi-Library Benchmark for PDE Solver Generation PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs
Reference 23
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T07:31:26.653925Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 702c7dc8-6ade-48cb-85e5-53a0697414c2 · inbound
Self-Evolving Scientific Agent Discovers Generalizable Physically-Reasoned Fluid Control cites this paper.
Self-Evolving Scientific Agent Discovers Generalizable Physically-Reasoned Fluid Control PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs
Reference 22
- Resolution
- verified exact
- arxiv_id, observed 2026-07-02T22:17:25.915115Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 7ff15111-7b64-477f-898d-0637de28acbc · inbound
AutoPDE: Reliable Agentic PDE Solving via Explicitly Represented Solver Strategies cites this paper.
AutoPDE: Reliable Agentic PDE Solving via Explicitly Represented Solver Strategies PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs
Reference 62
- Resolution
- verified exact
- arxiv_id, observed 2026-07-03T05:07:39.215097Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 1359ee21-87e0-4e85-985e-3ec70721d6e9 · inbound
Reinforcement Learning with Verifiable Physics: Post-training LLMs with Continuous Rewards cites this paper.
Reinforcement Learning with Verifiable Physics: Post-training LLMs with Continuous Rewards PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-07-14T11:28:23.511747Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.