Paper Citation Record · LEDGER

On the (Intuitionistic) Logic of Next-Token Prediction

As of 19 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2608.08145.

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

pith.paper-citation-record.v1
2608.08145 v1

Coverage vector

measured 12 of 12 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T00:26:55.120153Z

measured 12 of 12 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+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

12 of 12 outbound references displayed

verified exact0
verified fuzzy2
unresolved9
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ed908a3f-bfd3-456d-aedf-a9a1a253c165 · outbound

This paper cites Journal of Symbolic Logic 57(3), pp.

On the (Intuitionistic) Logic of Next-Token Prediction Journal of Symbolic Logic 57(3), pp

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T00:26:55.040700Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2dce2d4-2517-491a-be5a-6f03b8e0b267 · outbound

This paper cites Mamba: Linear-Time Sequence Modeling with Selective State Spaces.

On the (Intuitionistic) Logic of Next-Token Prediction Mamba: Linear-Time Sequence Modeling with Selective State Spaces

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T00:26:55.049849Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 175eb719-fb87-4a97-9961-8c3216892461 · outbound

This paper cites In: Proceedings of the 20th International Conference on Principles of Knowledge Represen- tation and Reasoning, pp.

On the (Intuitionistic) Logic of Next-Token Prediction In: Proceedings of the 20th International Conference on Principles of Knowledge Represen- tation and Reasoning, pp

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T00:26:55.060246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35d503d7-d4d0-464e-af4e-f565dde6a8f1 · outbound

This paper cites In: Proceedings of the 2023 Conference on Empirical Methods in Natural Lan- guage Processing, Association for Computational Linguistics, pp.

On the (Intuitionistic) Logic of Next-Token Prediction In: Proceedings of the 2023 Conference on Empirical Methods in Natural Lan- guage Processing, Association for Computational Linguistics, pp

Reference 4

Resolution: malformed identifier; no resolver link, observed 2026-08-12T00:26:55.066193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 385287f6-c1b5-4001-9abc-3f73af0f9738 · outbound

This paper cites Smith & Mike Lewis (2022): Train Short, Test Long: Attention with Linear Biases Enables Input Length Extrapolation.

On the (Intuitionistic) Logic of Next-Token Prediction Smith & Mike Lewis (2022): Train Short, Test Long: Attention with Linear Biases Enables Input Length Extrapolation

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T00:26:55.459336Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d95c7f59-8185-4975-9d01-068ec8d38702 · outbound

This paper cites an unresolved cited work.

On the (Intuitionistic) Logic of Next-Token Prediction Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T00:26:55.078190Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52e8ec5a-e3d4-4b50-8ed0-caa4d22918e3 · outbound

This paper cites In: Proceedings of the 28th International Conference on Machine Learning (ICML) , pp.

On the (Intuitionistic) Logic of Next-Token Prediction In: Proceedings of the 28th International Conference on Machine Learning (ICML) , pp

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T00:26:55.440884Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation efcaf0e9-86a7-4a2f-997e-34263d70ff57 · outbound

This paper cites Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles.

On the (Intuitionistic) Logic of Next-Token Prediction Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T00:26:55.089336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2acdbca8-184e-4ee6-99af-a28b8ea7d604 · outbound

This paper cites In Jeremy Gibbons & Dale Miller, editors: Functional and Logic Programming , Springer Nature Singapore, Singapore, pp.

On the (Intuitionistic) Logic of Next-Token Prediction In Jeremy Gibbons & Dale Miller, editors: Functional and Logic Programming , Springer Nature Singapore, Singapore, pp

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T00:26:55.096620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac690b67-57f8-4485-85e7-01c86c03298f · outbound

This paper cites an unresolved cited work.

On the (Intuitionistic) Logic of Next-Token Prediction Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-12T00:26:55.421536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a0a41fab-fc60-48a9-a116-fd01f5f5c9c5 · outbound

This paper cites In: Findings of the Association for Computational Linguistics: ACL 2023 , Association for Computational Linguistics, pp.

On the (Intuitionistic) Logic of Next-Token Prediction In: Findings of the Association for Computational Linguistics: ACL 2023 , Association for Computational Linguistics, pp

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T00:26:55.107207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9712d7d0-0866-4a0d-b696-66d894b896af · outbound

This paper cites Recursive Language Models.

On the (Intuitionistic) Logic of Next-Token Prediction Recursive Language Models

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T00:26:55.120153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.