Paper Citation Record · LEDGER

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation

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

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

pith.paper-citation-record.v1
2608.10314 v1

Coverage vector

measured 20 of 20 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T04:14:08.432198Z

measured 20 of 20 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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

20 of 20 outbound references displayed

verified exact1
verified fuzzy8
unresolved8
parse uncertain0
malformed identifier3
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9fa67b5b-c6dd-41bb-a4af-74b9c3823bf8 · outbound

This paper cites an unresolved cited work.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-14T04:14:08.911810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 225cd2e0-e9f5-487d-805c-00be535dfcfe · outbound

This paper cites an unresolved cited work.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-14T04:14:08.901705Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 525828a4-c8ad-42c6-abfa-2c8f2cdfb192 · outbound

This paper cites The monitor may send only bodylessHEADrequests to the exact target URI.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation The monitor may send only bodylessHEADrequests to the exact target URI

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:14:08.891754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 158f6ba7-3355-48a5-b550-5af09f86c20d · outbound

This paper cites The target is then fetched exactly once withGET, and its raw bytes are persisted before parsing.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation The target is then fetched exactly once withGET, and its raw bytes are persisted before parsing

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:14:08.881852Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ee9765e7-5f64-4dd1-a9e3-5a8c410deb7d · outbound

This paper cites an unresolved cited work.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-14T04:14:08.774171Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation c923270b-4e39-4e03-b06a-a879b48afd3b · outbound

This paper cites an unresolved cited work.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-14T04:14:08.764549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ca5a24b0-ca9f-4de3-908d-bb5a51ba75d1 · outbound

This paper cites an unresolved cited work.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-14T04:14:08.753654Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 20dedeca-3128-4309-b77b-7f33b7ba93f4 · outbound

This paper cites Centered.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation Centered

Reference 8

Resolution: malformed identifier; raw_fallback, observed 2026-08-14T04:14:08.742348Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 91cd61c0-24a7-4c22-8947-93cb701a1474 · outbound

This paper cites timed out against the provider.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation timed out against the provider

Reference 9

Resolution: malformed identifier; raw_fallback, observed 2026-08-14T04:14:08.655344Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation c6878320-0315-40d4-baa6-edd5cc12a020 · outbound

This paper cites Then Ddirectional = (Gcontract−G prose)− (Ucontract−U prose).

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation Then Ddirectional = (Gcontract−G prose)− (Ucontract−U prose)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:14:08.731374Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 1626baf8-2386-44ae-a591-d8ba14d85f0b · outbound

This paper cites ThenDsignature = (Gcontract−G prose)− (Scontract−S prose).

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation ThenDsignature = (Gcontract−G prose)− (Scontract−S prose)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:14:08.720384Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation dc4f505e-4a0b-4256-878c-461d10f5797c · outbound

This paper cites p <0.001.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation p <0.001

Reference 13

Resolution: malformed identifier; raw_fallback, observed 2026-08-14T04:14:08.520181Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b637ec24-ac38-438a-9e2e-1f0717f30af3 · outbound

This paper cites Time stamp.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation Time stamp

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:14:08.709248Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2f0dbd6c-5278-487d-b82a-b0a3e06e839d · outbound

This paper cites Upgrading a registered proof alters a bound artifact, which is why the originals on disk still carry only PendingAttestation.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation Upgrading a registered proof alters a bound artifact, which is why the originals on disk still carry only PendingAttestation

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:14:08.697559Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 59e517ae-af5d-482e-bc46-8f9521799fc9 · outbound

This paper cites Record its published time and its output value.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation Record its published time and its output value

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:14:08.687128Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 5d8037ac-a327-4ac3-b827-a0ccf2a3a754 · outbound

This paper cites Both values are printed in Table B1; the gap is 1 hour 54 minutes.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation Both values are printed in Table B1; the gap is 1 hour 54 minutes

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:14:08.677071Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f93dbe4b-08c6-4c17-b6b9-eda7a27a83b1 · outbound

This paper cites an unresolved cited work.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-14T04:14:08.665637Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b54d9cfb-f8ee-4db1-912b-8189efa99fb4 · outbound

This paper cites timed out against the provider.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation timed out against the provider

Reference 48

Resolution: verified exact; doi, observed 2026-08-14T04:14:08.644758Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 5a5c08ea-f26f-484e-968b-355ba62f3631 · outbound

This paper cites Renaud Jardri, Sandrine Duverne, Alexandra S.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation Renaud Jardri, Sandrine Duverne, Alexandra S

Reference 2013

Resolution: unresolved; no resolver link, observed 2026-08-14T04:14:08.363068Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92e4257a-55f8-4fda-b17c-01ef247fb2c0 · outbound

This paper cites contract.

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation contract

Reference 2026

Resolution: unresolved; no resolver link, observed 2026-08-14T04:14:08.366909Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.