{"as_of":"2026-08-20T01:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2639626b52f27bbacfd46916bc1146404d0c58e9e39f2b558c098fb433fb5d87","coverage":[{"denominator":12,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T00:26:55.120153Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.08145/citation-record","integrity":"/paper/2608.08145/integrity","json":"/paper/2608.08145/citation-record.json","paper":"/paper/2608.08145"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T00:26:55.040700Z","title":"Journal of Symbolic Logic 57(3), pp","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2608.08145","last_updated":"2026-08-08T14:08:14Z","snapshot_observed_at":"2026-08-19T10:56:11.530987Z","submitted_at":"2026-08-08T14:08:14Z","title":"On the (Intuitionistic) Logic of Next-Token Prediction","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T00:26:55.040700Z"},"links":{"citing_paper":"/paper/2608.08145"},"observation_digest":"sha256:9b14a567a45133fedc2ac90f89f4a25e63d5ba5c3f39c328f68889485852a33e","observation_id":"ed908a3f-bfd3-456d-aedf-a9a1a253c165","resolution":{"observed_at":"2026-08-12T00:26:55.040700Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.00752","last_updated":"2024-05-31T17:55:27Z","snapshot_observed_at":"2026-08-17T20:47:46.242385Z","submitted_at":"2023-12-01T18:01:34Z","title":"Mamba: Linear-Time Sequence Modeling with Selective State Spaces","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.00752","snapshot_observed_at":"2026-08-12T00:26:55.049849Z","title":"arXiv preprint 2312.00752","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.08145","last_updated":"2026-08-08T14:08:14Z","snapshot_observed_at":"2026-08-19T10:56:11.530987Z","submitted_at":"2026-08-08T14:08:14Z","title":"On the (Intuitionistic) Logic of Next-Token Prediction","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T00:26:55.049849Z"},"links":{"cited_paper":"/paper/2312.00752","citing_paper":"/paper/2608.08145"},"observation_digest":"sha256:61932837841a9ee4377538855cb000f237679dd173e5f373f6048aef5872190d","observation_id":"f2dce2d4-2517-491a-be5a-6f03b8e0b267","resolution":{"observed_at":"2026-08-12T00:26:55.049849Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T00:26:55.060246Z","title":"In: Proceedings of the 20th International Conference on Principles of Knowledge Represen- tation and Reasoning, pp","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.08145","last_updated":"2026-08-08T14:08:14Z","snapshot_observed_at":"2026-08-19T10:56:11.530987Z","submitted_at":"2026-08-08T14:08:14Z","title":"On the (Intuitionistic) Logic of Next-Token Prediction","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T00:26:55.060246Z"},"links":{"citing_paper":"/paper/2608.08145"},"observation_digest":"sha256:96a58ba83f39b31cdbdfa1232948799a5f830261be12118d69fa407a99ebb01e","observation_id":"175eb719-fb87-4a97-9961-8c3216892461","resolution":{"observed_at":"2026-08-12T00:26:55.060246Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T00:26:55.066193Z","title":"In: Proceedings of the 2023 Conference on Empirical Methods in Natural Lan- guage Processing, Association for Computational Linguistics, pp","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.08145","last_updated":"2026-08-08T14:08:14Z","snapshot_observed_at":"2026-08-19T10:56:11.530987Z","submitted_at":"2026-08-08T14:08:14Z","title":"On the (Intuitionistic) Logic of Next-Token Prediction","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T00:26:55.066193Z"},"links":{"citing_paper":"/paper/2608.08145"},"observation_digest":"sha256:d4aaecb7bc1603b2d4e65834f53dea8339a482b3029172a308ee606b55f1c39b","observation_id":"35d503d7-d4d0-464e-af4e-f565dde6a8f1","resolution":{"observed_at":"2026-08-12T00:26:55.066193Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T00:26:55.453382Z","title":"Smith & Mike Lewis (2022): Train Short, Test Long: Attention with Linear Biases Enables Input Length Extrapolation","venue":null,"work_id":"ff3557a9-d15e-46f2-8f81-b802d316bb41","year":2022},"citing_paper":{"arxiv_id":"2608.08145","last_updated":"2026-08-08T14:08:14Z","snapshot_observed_at":"2026-08-19T10:56:11.530987Z","submitted_at":"2026-08-08T14:08:14Z","title":"On the (Intuitionistic) Logic of Next-Token Prediction","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T00:26:55.072292Z"},"links":{"citing_paper":"/paper/2608.08145"},"observation_digest":"sha256:11ce80246ab6d3bd070b7e3b06a80a77685a7784fa22065cb86d35241b14d2ab","observation_id":"385287f6-c1b5-4001-9abc-3f73af0f9738","resolution":{"observed_at":"2026-08-12T00:26:55.459336Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T00:26:55.078190Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.08145","last_updated":"2026-08-08T14:08:14Z","snapshot_observed_at":"2026-08-19T10:56:11.530987Z","submitted_at":"2026-08-08T14:08:14Z","title":"On the (Intuitionistic) Logic of Next-Token Prediction","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T00:26:55.078190Z"},"links":{"citing_paper":"/paper/2608.08145"},"observation_digest":"sha256:9e7ff8b44ccb0ddfde4c41390d4e8dc7a39403af3ee671f846525d4acbb87f4c","observation_id":"d95c7f59-8185-4975-9d01-068ec8d38702","resolution":{"observed_at":"2026-08-12T00:26:55.078190Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T00:26:55.434093Z","title":"In: Proceedings of the 28th International Conference on Machine Learning (ICML) , pp","venue":null,"work_id":"009d6dbb-493f-481a-9ae8-c99823fe487f","year":2011},"citing_paper":{"arxiv_id":"2608.08145","last_updated":"2026-08-08T14:08:14Z","snapshot_observed_at":"2026-08-19T10:56:11.530987Z","submitted_at":"2026-08-08T14:08:14Z","title":"On the (Intuitionistic) Logic of Next-Token Prediction","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T00:26:55.084339Z"},"links":{"citing_paper":"/paper/2608.08145"},"observation_digest":"sha256:a3eb6fd9cc20ce4607f6cff0bd7de92f2e9b86e238a74ce92b8a8b15e7ee165b","observation_id":"52e8ec5a-e3d4-4b50-8ed0-caa4d22918e3","resolution":{"observed_at":"2026-08-12T00:26:55.440884Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.14077","last_updated":"2023-06-24T23:33:00Z","snapshot_observed_at":"2026-08-18T05:22:54.581727Z","submitted_at":"2023-06-24T23:33:00Z","title":"Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.14077","snapshot_observed_at":"2026-08-12T00:26:55.089336Z","title":"arXiv preprint, arXiv.2306.14077, doi:10.48550/arXiv.2306.14077","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.08145","last_updated":"2026-08-08T14:08:14Z","snapshot_observed_at":"2026-08-19T10:56:11.530987Z","submitted_at":"2026-08-08T14:08:14Z","title":"On the (Intuitionistic) Logic of Next-Token Prediction","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T00:26:55.089336Z"},"links":{"cited_paper":"/paper/2306.14077","citing_paper":"/paper/2608.08145"},"observation_digest":"sha256:9cf7bb8f6d58b24b145306e8ba51aff444f2068e1dcdcf85da1509d9ab9cd81b","observation_id":"efcaf0e9-86a7-4a2f-997e-34263d70ff57","resolution":{"observed_at":"2026-08-12T00:26:55.089336Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T00:26:55.096620Z","title":"In Jeremy Gibbons & Dale Miller, editors: Functional and Logic Programming , Springer Nature Singapore, Singapore, pp","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.08145","last_updated":"2026-08-08T14:08:14Z","snapshot_observed_at":"2026-08-19T10:56:11.530987Z","submitted_at":"2026-08-08T14:08:14Z","title":"On the (Intuitionistic) Logic of Next-Token Prediction","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T00:26:55.096620Z"},"links":{"citing_paper":"/paper/2608.08145"},"observation_digest":"sha256:63d44e3bc203d3c625502819d95d21192a7f93cd98dd8a73417ea4a4cac7112c","observation_id":"2acdbca8-184e-4ee6-99af-a28b8ea7d604","resolution":{"observed_at":"2026-08-12T00:26:55.096620Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T00:26:55.415690Z","title":null,"venue":null,"work_id":"2829338d-de66-424c-b2e7-a0cf282413e0","year":2017},"citing_paper":{"arxiv_id":"2608.08145","last_updated":"2026-08-08T14:08:14Z","snapshot_observed_at":"2026-08-19T10:56:11.530987Z","submitted_at":"2026-08-08T14:08:14Z","title":"On the (Intuitionistic) Logic of Next-Token Prediction","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T00:26:55.101545Z"},"links":{"citing_paper":"/paper/2608.08145"},"observation_digest":"sha256:7bc0bbc58dbd907231f64cf2b9dfc4d333a393ee7c0ca5d78f40bb0291e9937e","observation_id":"ac690b67-57f8-4485-85e7-01c86c03298f","resolution":{"observed_at":"2026-08-12T00:26:55.421536Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T00:26:55.107207Z","title":"In: Findings of the Association for Computational Linguistics: ACL 2023 , Association for Computational Linguistics, pp","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.08145","last_updated":"2026-08-08T14:08:14Z","snapshot_observed_at":"2026-08-19T10:56:11.530987Z","submitted_at":"2026-08-08T14:08:14Z","title":"On the (Intuitionistic) Logic of Next-Token Prediction","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T00:26:55.107207Z"},"links":{"citing_paper":"/paper/2608.08145"},"observation_digest":"sha256:b6f8185fa2a2654221dafefdd135c8e3308f470ab32ad5f572ea5def970721bc","observation_id":"a0a41fab-fc60-48a9-a116-fd01f5f5c9c5","resolution":{"observed_at":"2026-08-12T00:26:55.107207Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2512.24601","last_updated":"2026-05-11T15:26:31Z","snapshot_observed_at":"2026-08-14T08:15:35.097689Z","submitted_at":"2025-12-31T03:43:41Z","title":"Recursive Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2512.24601","snapshot_observed_at":"2026-08-12T00:26:55.120153Z","title":"Zhang, Tim Kraska & Omar Khattab (2025): Recursive Language Models","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08145","last_updated":"2026-08-08T14:08:14Z","snapshot_observed_at":"2026-08-19T10:56:11.530987Z","submitted_at":"2026-08-08T14:08:14Z","title":"On the (Intuitionistic) Logic of Next-Token Prediction","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T00:26:55.120153Z"},"links":{"cited_paper":"/paper/2512.24601","citing_paper":"/paper/2608.08145"},"observation_digest":"sha256:a96338f7946851fe754b4e947120bc2ce178f77e297a9349dc8894531b6c37d7","observation_id":"9712d7d0-0866-4a0d-b696-66d894b896af","resolution":{"observed_at":"2026-08-12T00:26:55.120153Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.08145","last_updated":"2026-08-08T14:08:14Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-19T10:56:11.530987Z","submitted_at":"2026-08-08T14:08:14Z","title":"On the (Intuitionistic) Logic of Next-Token Prediction"},"reference_resolution":{"displayed":12,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":0,"verified_fuzzy":2},"total_outbound_references":12},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2608.08145."}