Paper Citation Record · LEDGER

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs

As of 16 August 2026, this Paper Citation Record lists 9 of 9 outbound references and 0 inbound Pith citation observations for arXiv:2509.09019.

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

pith.paper-citation-record.v1
2509.09019 v1

Coverage vector

measured 9 of 9 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T19:55:50.844602Z

measured 9 of 9 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

9 of 9 outbound references displayed

verified exact0
verified fuzzy0
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 028a9fef-b2a7-47ba-bed2-8707dab1277c · outbound

This paper cites an unresolved cited work.

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T19:55:50.810335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7faa45cb-56eb-4e12-beb2-7e9694c4d0fc · outbound

This paper cites an unresolved cited work.

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T19:55:50.815477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8a87655-7400-402f-ad7b-6345f0f8eadf · outbound

This paper cites an unresolved cited work.

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T19:55:50.819572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efc3bf5e-892d-4bc7-8313-25b97a1bfbad · outbound

This paper cites an unresolved cited work.

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T19:55:50.823668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4298343f-df9d-4862-aa88-b0a110159276 · outbound

This paper cites an unresolved cited work.

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T19:55:50.827760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d26de120-a384-4633-a72f-047674db1ca9 · outbound

This paper cites an unresolved cited work.

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T19:55:50.831698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50be0d62-4ad0-4884-9d44-3653a6c92cde · outbound

This paper cites an unresolved cited work.

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T19:55:50.836563Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff320ac9-3bdd-4e92-a5de-3b7058f84cf0 · outbound

This paper cites an unresolved cited work.

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T19:55:50.840750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cfdfc7e-6412-433e-b8f2-86d5db45d3c5 · outbound

This paper cites an unresolved cited work.

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T19:55:50.844602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.