{"as_of":"2026-08-17T17:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d0b33bf5c6ee7b6b43b40104d61c3de9ec0658c9176c6a40ac31670c977839f1","coverage":[{"denominator":79,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":79,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T05:24:24.276508Z","state":"measured"},{"denominator":79,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":79,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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/2504.20771/citation-record","integrity":"/paper/2504.20771/integrity","json":"/paper/2504.20771/citation-record.json","paper":"/paper/2504.20771"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:23.938168Z","title":"Bert: Pre-training of deep bidirectional transformers for language understanding","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:23.938168Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:367865480c1c56ebf745e0e0d66c16aeeee1c4b09713d3b241a7a662a3a1caf2","observation_id":"3db6c078-dce0-42c2-ba65-f4812a0acbfd","resolution":{"observed_at":"2026-08-16T05:24:23.938168Z","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-16T05:24:23.943685Z","title":"Gpqa: A graduate-level google-proof q&a benchmark","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:23.943685Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:a5f6f69b68e2303043968dec7c8958c66a92f453bb37e5a025009aa9013de82e","observation_id":"d0bbc28e-e902-4fd7-bcf5-424d34896bc5","resolution":{"observed_at":"2026-08-16T05:24:23.943685Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.12753","last_updated":"2025-03-06T12:55:25Z","snapshot_observed_at":"2026-08-16T13:41:46.107232Z","submitted_at":"2024-06-18T16:20:53Z","title":"OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.12753","snapshot_observed_at":"2026-08-16T05:24:23.948148Z","title":"Olympicarena: Benchmarking multi-discipline cognitive reasoning for superintelligent ai","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:23.948148Z"},"links":{"cited_paper":"/paper/2406.12753","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:23a2cef22e9e2a673cddab7f5b9a511fee423a753dde9a583887dbfa36e53332","observation_id":"8ea08924-f665-4c7f-b542-7d75018331c4","resolution":{"observed_at":"2026-08-16T05:24:23.948148Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06770","last_updated":"2024-11-11T23:05:04Z","snapshot_observed_at":"2026-08-12T14:56:35.025839Z","submitted_at":"2023-10-10T16:47:29Z","title":"SWE-bench: Can Language Models Resolve Real-World GitHub Issues?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06770","snapshot_observed_at":"2026-08-16T05:24:23.952862Z","title":"Swe-bench: Can language models resolve real-world github issues? arXiv preprint arXiv:2310.06770, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:23.952862Z"},"links":{"cited_paper":"/paper/2310.06770","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:99a2a30e139c38be5ee3459f88b7252b7b8deea928fbe1effbd5600441b5ea77","observation_id":"57f84f9d-1233-4249-b249-19b562a30063","resolution":{"observed_at":"2026-08-16T05:24:23.952862Z","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-16T05:24:23.957606Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:23.957606Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:d2a25a2f87018830d79307ed51e716b378cee9d5f368c4e526b995d81f35a83e","observation_id":"c19e0a54-c25c-49a6-a347-d175c6fed756","resolution":{"observed_at":"2026-08-16T05:24:23.957606Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.09074","last_updated":"2024-06-12T08:55:13Z","snapshot_observed_at":"2026-08-16T14:26:51.543075Z","submitted_at":"2024-01-17T09:23:59Z","title":"Code Simulation Challenges for Large Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.09074","snapshot_observed_at":"2026-08-16T05:24:23.962035Z","title":"Code simulation challenges for large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:23.962035Z"},"links":{"cited_paper":"/paper/2401.09074","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:5790db2c5dbf9464938f3d95bb1b977c62f4255f8a89b625e0a40c6504a8d4da","observation_id":"141ca28f-a327-43ed-9778-cd426aa09504","resolution":{"observed_at":"2026-08-16T05:24:23.962035Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.05519","last_updated":"2024-06-25T05:01:09Z","snapshot_observed_at":"2026-08-17T09:50:53.260956Z","submitted_at":"2023-09-11T15:02:25Z","title":"NExT-GPT: Any-to-Any Multimodal LLM","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.05519","snapshot_observed_at":"2026-08-16T05:24:23.967149Z","title":"Next-gpt: Any-to-any multimodal llm","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:23.967149Z"},"links":{"cited_paper":"/paper/2309.05519","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:267a1c1206d4d4b06d11872b14eb87e2f027f371bab34a75836e2bffee3829e2","observation_id":"d610db86-53cd-48cd-a798-540ba969b815","resolution":{"observed_at":"2026-08-16T05:24:23.967149Z","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-16T05:24:23.971558Z","title":"Autonomous chemical research with large language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:23.971558Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:c75216f63bf19c5bfc555bc82e72d7131d0fac1f7c5dc20aaf6f7cf6f5c72496","observation_id":"7c63d4b5-5046-4999-8eb3-38b3f2af4b69","resolution":{"observed_at":"2026-08-16T05:24:23.971558Z","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-16T05:24:23.975819Z","title":"Measuring massive multitask language understanding","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:23.975819Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:8eb79792dc0f595592ceea1fe6960fcfd1f1a3e8f65b07bbd4ff9d2aa87b307a","observation_id":"008508a2-4bf5-4e31-bd27-93b7c4a9fde1","resolution":{"observed_at":"2026-08-16T05:24:23.975819Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1705.03551","last_updated":"2017-05-13T21:12:37Z","snapshot_observed_at":"2026-08-13T08:58:47.096400Z","submitted_at":"2017-05-09T21:35:07Z","title":"TriviaQA: A Large Scale Distantly Supervised Challenge Dataset for Reading Comprehension","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1705.03551","snapshot_observed_at":"2026-08-16T05:24:23.979969Z","title":"Triviaqa: A large scale distantly supervised challenge dataset for reading comprehension","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:23.979969Z"},"links":{"cited_paper":"/paper/1705.03551","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:4e007ecf2b8dcd21019835a0516f8c5685ef2efe33a57b68daf50698c2ba9b75","observation_id":"69e7d8be-71a5-4926-a1bd-67654b118682","resolution":{"observed_at":"2026-08-16T05:24:23.979969Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.03762","last_updated":"2023-08-10T14:24:37Z","snapshot_observed_at":"2026-08-16T15:14:17.402528Z","submitted_at":"2023-07-21T17:04:25Z","title":"GPT-4 Can't Reason","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.03762","snapshot_observed_at":"2026-08-16T05:24:23.984370Z","title":"Gpt-4 can’t reason","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:23.984370Z"},"links":{"cited_paper":"/paper/2308.03762","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:2c64e40274abe32844036d605b697ff1083ac62173229632d452e4287ee2423b","observation_id":"f2428573-fd22-40b5-b4be-678ee6373d6c","resolution":{"observed_at":"2026-08-16T05:24:23.984370Z","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-16T05:24:23.988938Z","title":"Beyond the imitation game: Quantifying and extrapolating the capabilities of language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:23.988938Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:8fff171e744026e31548db7c89dcd5dfbd9536506a7df700fbbe4ac31291ad6c","observation_id":"dfd028dc-986f-460c-a034-26eed404c70d","resolution":{"observed_at":"2026-08-16T05:24:23.988938Z","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-16T05:24:23.992976Z","title":"American invitational mathematics examination - aime","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:23.992976Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:a843aa8bda9e34f566f9340f6019027394c6496021faafbfccde8c15cb953dab","observation_id":"7af7b8ef-8ed3-49b7-a200-d7de92043545","resolution":{"observed_at":"2026-08-16T05:24:23.992976Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.00110","last_updated":"2022-02-28T06:03:23Z","snapshot_observed_at":"2026-08-16T23:45:44.761660Z","submitted_at":"2021-08-31T23:21:12Z","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.00110","snapshot_observed_at":"2026-08-16T05:24:23.997133Z","title":"Minif2f: a cross-system benchmark for formal olympiad-level mathematics","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:23.997133Z"},"links":{"cited_paper":"/paper/2109.00110","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:f16c82e8c7da35a32a2e83c2e1f30488bea6d08e40aa3f01d62058cea66e43fd","observation_id":"0968e1de-fc36-4ace-801e-d7ca73e6da77","resolution":{"observed_at":"2026-08-16T05:24:23.997133Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.12433","last_updated":"2023-02-24T03:28:46Z","snapshot_observed_at":"2026-08-16T15:53:03.437287Z","submitted_at":"2023-02-24T03:28:46Z","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.12433","snapshot_observed_at":"2026-08-16T05:24:24.001350Z","title":"Proofnet: Autoformalizing and formally proving undergraduate-level mathematics","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.001350Z"},"links":{"cited_paper":"/paper/2302.12433","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:2b15c9ad2f309ebf43253832838bf91bc6bed8fa07ece2aab13bf53c02d1b0c6","observation_id":"8168e342-b4cb-4fde-85c5-0d208ab88d1c","resolution":{"observed_at":"2026-08-16T05:24:24.001350Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.07896","last_updated":"2024-10-10T13:23:49Z","snapshot_observed_at":"2026-08-16T13:10:43.297126Z","submitted_at":"2024-10-10T13:23:49Z","title":"Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines","version":1},"cited_work":{"arxiv_id":"2410.07896","doi":null,"metadata_source":"pith","pith_arxiv_id":"2410.07896","snapshot_observed_at":"2026-08-16T05:24:24.657903Z","title":"Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines","venue":"cs.AI","work_id":"bcf4caa4-d047-447d-b531-f604e6460a60","year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.005694Z"},"links":{"cited_paper":"/paper/2410.07896","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:47bc87cf078eab0392946a5a349502e1c743d8b15015e0800ab81408029fc848","observation_id":"df63f32a-1318-4e12-a74f-fceca00a9e5c","resolution":{"observed_at":"2026-08-16T05:24:24.663958Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:25.235436Z","title":"Hellaswag: Can a machine really finish your sentence? In Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics, pages 4791–4800, 2019","venue":null,"work_id":"05229c40-0f8d-4ca3-8b66-f54f0184c28a","year":2019},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.010162Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:86c4541485c17e6724da456493be11c56acc508bca16572317238c9249714b9b","observation_id":"b9263058-8266-4b4e-914d-a0b8750e40e9","resolution":{"observed_at":"2026-08-16T05:24:25.240250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.09110","last_updated":"2023-10-01T21:44:23Z","snapshot_observed_at":"2026-08-10T23:10:13.900680Z","submitted_at":"2022-11-16T18:51:34Z","title":"Holistic Evaluation of Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.09110","snapshot_observed_at":"2026-08-16T05:24:24.018750Z","title":"Holistic evaluation of language models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.018750Z"},"links":{"cited_paper":"/paper/2211.09110","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:d0b98eecb24b5d263bfde6a44bfc130e04aabc51ac4be46cee2f6579eaaf60bb","observation_id":"0ce24d1a-970a-41ea-a6bb-6f5aa27cf42e","resolution":{"observed_at":"2026-08-16T05:24:24.018750Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.06364","last_updated":"2023-09-18T14:23:02Z","snapshot_observed_at":"2026-08-07T12:51:50.861720Z","submitted_at":"2023-04-13T09:39:30Z","title":"AGIEval: A Human-Centric Benchmark for Evaluating Foundation Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.06364","snapshot_observed_at":"2026-08-16T05:24:24.022914Z","title":"Agieval: A human-centric benchmark for evaluating foundation models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.022914Z"},"links":{"cited_paper":"/paper/2304.06364","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:25106305e881bb0d04964c34adb1d48cb20ed70a4a67d280ebc73fd10183856c","observation_id":"72835dbc-ee36-4493-b095-d9e9e6bb973f","resolution":{"observed_at":"2026-08-16T05:24:24.022914Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-08T11:58:24.516369Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-16T05:24:24.027211Z","title":"Evaluating large language models trained on code","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.027211Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:a7064ca14be59d53e80af0efa0f52c7e4f9a6a92d047c0ecdb8c9bbe1fa1c7d0","observation_id":"f8fbd26f-4229-42e4-855e-13f3355c7691","resolution":{"observed_at":"2026-08-16T05:24:24.027211Z","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-16T05:24:24.031503Z","title":"ToxicChat: Unveiling hidden challenges of toxicity detection in real-world user-AI conversation","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.031503Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:1b96745ebf1ba016dc4b1db721c6640d70c27cbc8c3e7b1fb0b32fb5df5a74ab","observation_id":"0d98c6df-bb4e-4c3f-bbbf-9bd2312cb5f8","resolution":{"observed_at":"2026-08-16T05:24:24.031503Z","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-16T05:24:25.212648Z","title":null,"venue":null,"work_id":"134edee8-4d7e-4abd-9b3b-d3dca0a62fa0","year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.035327Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:9b9c302103dc2f0b05018d0e50d785c6c102b6c79e5167f8143ed1a457b2f622","observation_id":"a3b3fe43-344a-4018-96a9-f0188ea6045e","resolution":{"observed_at":"2026-08-16T05:24:25.217321Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T05:24:24.039363Z","title":"Gonzalez, and Ion Stoica","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.039363Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:224e03e29f8062badfa86bdf3813b570e72ccb149b3f8b6a97a4cd2a2c3d96db","observation_id":"ddb7d71c-9505-46cb-bbee-c152c95fa82d","resolution":{"observed_at":"2026-08-16T05:24:24.039363Z","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-16T05:24:24.043431Z","title":"Hashimoto","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.043431Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:186b3c2801d088cd75a2cd8621a073f164a6e9f6c9bb5eb4618dfb46ce70a38e","observation_id":"ddfa2da4-2bde-4c81-a535-be5db0aa3194","resolution":{"observed_at":"2026-08-16T05:24:24.043431Z","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-16T05:24:24.047668Z","title":"Competition-level code generation with alphacode","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.047668Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:c210b77ae22a76ee9394497a97da56606ec281d893bdf05b124372d49282f1f8","observation_id":"b041c95b-eeee-4026-82fc-8d978048dd5e","resolution":{"observed_at":"2026-08-16T05:24:24.047668Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.02143","last_updated":"2024-06-04T05:49:50Z","snapshot_observed_at":"2026-08-16T20:13:13.149437Z","submitted_at":"2023-12-04T18:58:57Z","title":"Competition-Level Problems are Effective LLM Evaluators","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.02143","snapshot_observed_at":"2026-08-16T05:24:24.051962Z","title":"Competition-level problems are effective llm evaluators","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.051962Z"},"links":{"cited_paper":"/paper/2312.02143","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:dd530c1a46d1ce7792b8c8a75db4d51816284253a97fe64420718c70e7b94f1b","observation_id":"60c713aa-baef-43bb-99d5-af972c1769c2","resolution":{"observed_at":"2026-08-16T05:24:24.051962Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2204.05862","last_updated":"2022-04-12T15:02:38Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-04-12T15:02:38Z","title":"Training a Helpful and Harmless Assistant with Reinforcement Learning from Human Feedback","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2204.05862","snapshot_observed_at":"2026-08-16T05:24:24.056333Z","title":"Training a helpful and harmless assistant with reinforcement learning from human feedback","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.056333Z"},"links":{"cited_paper":"/paper/2204.05862","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:c5f08f221de20150581dfe284435d462c411009f3c410e2ece017f978385b70d","observation_id":"4ac22620-077a-4524-929d-8c695c089975","resolution":{"observed_at":"2026-08-16T05:24:24.056333Z","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-16T05:24:24.060715Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.060715Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:761c7ce61ef590c0fdf6fc24ef96f37c106b2b2a918779bda1676af443190a9c","observation_id":"f835f6b6-1622-49d7-9730-baf42c40272c","resolution":{"observed_at":"2026-08-16T05:24:24.060715Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.09288","last_updated":"2023-07-19T17:08:59Z","snapshot_observed_at":"2026-08-07T12:56:43.323460Z","submitted_at":"2023-07-18T14:31:57Z","title":"Llama 2: Open Foundation and Fine-Tuned Chat Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.09288","snapshot_observed_at":"2026-08-16T05:24:24.064662Z","title":"Llama 2: Open foundation and fine-tuned chat models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.064662Z"},"links":{"cited_paper":"/paper/2307.09288","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:5f0c6ebbfe3f378ef432813abed9bab46561c1e9535405b3293c7d9ca0ee595d","observation_id":"f92f8b6e-e031-4894-9a56-958e406caaa3","resolution":{"observed_at":"2026-08-16T05:24:24.064662Z","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-16T05:24:24.069120Z","title":"Solving quantitative reasoning problems with language models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.069120Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:65c2e60e21529449d7758d7c320b8cd10f98d46886d2fe392d9873cf98d98be4","observation_id":"25eda5ea-ed66-4c35-9eb8-f11ec9157c2f","resolution":{"observed_at":"2026-08-16T05:24:24.069120Z","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-16T05:24:24.073101Z","title":"Chain-of-thought prompting elicits reasoning in large language models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.073101Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:279d401ab620a234da964e68ce22f3ee4c0686b2b590b4c81a0215e66c6ba419","observation_id":"5bc81cb8-054d-46d2-85e3-0b5d0dc96a78","resolution":{"observed_at":"2026-08-16T05:24:24.073101Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2112.00114","last_updated":"2021-11-30T21:32:46Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-11-30T21:32:46Z","title":"Show Your Work: Scratchpads for Intermediate Computation with Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2112.00114","snapshot_observed_at":"2026-08-16T05:24:24.077169Z","title":"Show your work: Scratchpads for intermediate computation with language models","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.077169Z"},"links":{"cited_paper":"/paper/2112.00114","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:6276a5e6506c72b71fc2d225a8ad7cd792bae9fe497ace450643042055749702","observation_id":"b73ec3cf-7691-429a-a4d0-fd0815553446","resolution":{"observed_at":"2026-08-16T05:24:24.077169Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.11171","last_updated":"2023-03-07T17:57:37Z","snapshot_observed_at":"2026-08-16T01:49:22.176843Z","submitted_at":"2022-03-21T17:48:52Z","title":"Self-Consistency Improves Chain of Thought Reasoning in Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.11171","snapshot_observed_at":"2026-08-16T05:24:24.081877Z","title":"Self-consistency improves chain of thought reasoning in language models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.081877Z"},"links":{"cited_paper":"/paper/2203.11171","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:5be88c76af029540c952d41a8242f0e955fc0fc8baa3cae3e2987f9b72848720","observation_id":"93d41ad2-bd9e-41ca-8c2c-9b6e60c85b36","resolution":{"observed_at":"2026-08-16T05:24:24.081877Z","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-16T05:24:25.143660Z","title":"Unicorn on rainbow: A universal commonsense reasoning model on a new multitask benchmark","venue":null,"work_id":"12c41a14-75ce-4b1e-a866-5a6ce13a0c56","year":2021},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.086300Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:90a2bf34170e2aa79b7968557e42366b5dba00e66ca69b156fc1f6bb54daf20f","observation_id":"b0599313-69bf-4bbf-8d09-7fd17d0d4a2f","resolution":{"observed_at":"2026-08-16T05:24:25.148206Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T05:24:24.090364Z","title":"Did aristotle use a laptop? a question answering benchmark with implicit reasoning strategies","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.090364Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:69ed31f398caf7146ba251436e05321fcdb8a41ec4b4fa292379a0d3866ce12f","observation_id":"9e703f82-0379-46be-befa-c1b863d42c53","resolution":{"observed_at":"2026-08-16T05:24:24.090364Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-14T02:43:01.480086Z","submitted_at":"2021-10-27T04:49:45Z","title":"Training Verifiers to Solve Math Word Problems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.14168","snapshot_observed_at":"2026-08-16T05:24:24.094801Z","title":"Training verifiers to solve math word problems","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.094801Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:c9d36e6b289a60e90528253136c9cb06523a82325194b9127b60aa9c96d13686","observation_id":"9e35e3b2-2dfd-4eea-8f7a-9dc8a475b363","resolution":{"observed_at":"2026-08-16T05:24:24.094801Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.03874","last_updated":"2021-11-08T21:30:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-03-05T18:59:39Z","title":"Measuring Mathematical Problem Solving With the MATH Dataset","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.03874","snapshot_observed_at":"2026-08-16T05:24:24.099211Z","title":"Measuring mathematical problem solving with the math dataset","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.099211Z"},"links":{"cited_paper":"/paper/2103.03874","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:c399a2de578446369dde0351de094461602e6aa246bd9fd63b5cd53b745c3dd2","observation_id":"438f2dd6-5e01-4c05-88bc-d522fbb8d94d","resolution":{"observed_at":"2026-08-16T05:24:24.099211Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.00836","last_updated":"2024-03-31T01:02:55Z","snapshot_observed_at":"2026-08-16T14:56:02.342655Z","submitted_at":"2023-10-02T01:00:50Z","title":"Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.00836","snapshot_observed_at":"2026-08-16T05:24:24.103718Z","title":"Towards logiglue: A brief survey and a benchmark for analyzing logical reasoning capabilities of language models","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.103718Z"},"links":{"cited_paper":"/paper/2310.00836","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:5c9045821c0dbd9c8e15a4db5db4f77dc5b5dc530f1519625679e8866a4f22bc","observation_id":"1e878af2-c98c-4187-abef-4b609cdb1a22","resolution":{"observed_at":"2026-08-16T05:24:24.103718Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2209.00840","last_updated":"2024-10-11T20:08:54Z","snapshot_observed_at":"2026-08-16T16:35:12.787222Z","submitted_at":"2022-09-02T06:50:11Z","title":"FOLIO: Natural Language Reasoning with First-Order Logic","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-08-16T05:24:24.108217Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.108217Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:dbdfe3a14e8e83f2f4b7608fc5c2ccb75147dca466697ce62b7c5baeeda27cf8","observation_id":"44a4cdb4-c39f-4fe2-afe6-11d21366a1c2","resolution":{"observed_at":"2026-08-16T05:24:24.108217Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.17169","last_updated":"2024-10-07T03:48:18Z","snapshot_observed_at":"2026-08-16T13:39:56.946061Z","submitted_at":"2024-06-24T23:02:56Z","title":"Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.17169","snapshot_observed_at":"2026-08-16T05:24:24.112681Z","title":"Multi-logieval: Towards evaluating multi-step logical reasoning ability of large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.112681Z"},"links":{"cited_paper":"/paper/2406.17169","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:d4c2d36286607f2f1e072b91a8fbb4b43f553b1838b7e2bcebfca9fe5de6e39a","observation_id":"21030ce5-2cc6-421a-bfce-18ab298eb529","resolution":{"observed_at":"2026-08-16T05:24:24.112681Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.15522","last_updated":"2024-06-06T08:15:54Z","snapshot_observed_at":"2026-08-16T13:58:22.325772Z","submitted_at":"2024-04-23T21:08:49Z","title":"LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.15522","snapshot_observed_at":"2026-08-16T05:24:24.117256Z","title":"Towards systematic evaluation of logical reasoning ability of large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.117256Z"},"links":{"cited_paper":"/paper/2404.15522","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:2403db03646a557583ffee616124116d57dc6954bfe9fddd03f477617e11ea2d","observation_id":"5a67629b-de4b-4984-99ee-a77bf9081f80","resolution":{"observed_at":"2026-08-16T05:24:24.117256Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2007.08124","last_updated":"2020-07-16T05:52:16Z","snapshot_observed_at":"2026-08-10T13:06:17.421919Z","submitted_at":"2020-07-16T05:52:16Z","title":"LogiQA: A Challenge Dataset for Machine Reading Comprehension with Logical Reasoning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2007.08124","snapshot_observed_at":"2026-08-16T05:24:24.121483Z","title":"Logiqa: A challenge dataset for machine reading comprehension with logical reasoning","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.121483Z"},"links":{"cited_paper":"/paper/2007.08124","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:1674a3340bc8560bde898f1e59faae67b908e0431123d90e86b6395b8a123ff8","observation_id":"9e96e03c-3d8e-4901-8b37-31ea7de7a7d6","resolution":{"observed_at":"2026-08-16T05:24:24.121483Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2012.13048","last_updated":"2021-06-03T19:15:08Z","snapshot_observed_at":"2026-08-16T18:56:15.812056Z","submitted_at":"2020-12-24T00:55:46Z","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2012.13048","snapshot_observed_at":"2026-08-16T05:24:24.125759Z","title":"Proofwriter: Generating implications, proofs, and abductive statements over natural language","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.125759Z"},"links":{"cited_paper":"/paper/2012.13048","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:64ddeaa8800e9684607145a13c415ce6bb5178bb7815f812cd71109af4ab059c","observation_id":"65a974d6-3fc2-417a-9274-bc77874eec9c","resolution":{"observed_at":"2026-08-16T05:24:24.125759Z","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-16T05:24:24.130187Z","title":"From recognition to cognition: Visual commonsense reasoning","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.130187Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:31074dbf1504cb400e799c0a2454d0aea5c19d1e07d087689a24de0a58faea21","observation_id":"4118731a-03fd-4609-a1d2-deb5cda53238","resolution":{"observed_at":"2026-08-16T05:24:24.130187Z","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-16T05:24:24.134183Z","title":"Next-qa: Next phase of question- answering to explaining temporal actions","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.134183Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:f921ef1b2bddfadf06ead2bc3d906ba866b8ec1dc143fcbacd2cc6cf4456e2f9","observation_id":"1e7a25c8-04d6-47b6-89d4-1b1fe825032d","resolution":{"observed_at":"2026-08-16T05:24:24.134183Z","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-16T05:24:24.138065Z","title":"Learn to explain: Multimodal reasoning via thought chains for science question answering","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.138065Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:13d7cdc959d47f058c4eef3baa790a326b5498480d406d87225ab12d476b9413","observation_id":"748c1dfb-19a4-4eff-be5c-ede5af95d6fc","resolution":{"observed_at":"2026-08-16T05:24:24.138065Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.04046","last_updated":"2025-03-02T23:24:43Z","snapshot_observed_at":"2026-08-16T13:45:32.468892Z","submitted_at":"2024-06-06T13:15:37Z","title":"ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints","version":3},"cited_work":{"arxiv_id":"2406.04046","doi":null,"metadata_source":"pith","pith_arxiv_id":"2406.04046","snapshot_observed_at":"2026-08-16T05:24:24.411956Z","title":"ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints","venue":"cs.CC","work_id":"610bb0ac-db04-430c-8da0-1c957a46bb2f","year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.142035Z"},"links":{"cited_paper":"/paper/2406.04046","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:5e2022f4af1e90d24547952b00479f899e94e93153e0b5194cf19407acc76b0c","observation_id":"ad2b1d09-f699-438a-bd8e-921e430017ed","resolution":{"observed_at":"2026-08-16T05:24:24.418464Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:25.094726Z","title":"Axiomatic set theory","venue":null,"work_id":"c29e3e21-ec76-49ce-84ce-94334461916a","year":2012},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.146249Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:59fbcaf9633cec15c23e26f12370e878ef3078c2f46a93ffc71066785b8c207f","observation_id":"52b8bc4f-de80-4831-9396-738bc8de3dc6","resolution":{"observed_at":"2026-08-16T05:24:25.099133Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:25.081321Z","title":"Principles of mathematics","venue":null,"work_id":"50fbff2b-31ee-47c4-a1d0-b49537da45c7","year":2020},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.150472Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:89f27aa9a4c4d75aeab566b60dae5430eaa72327761e9f626226cb4a2629dcd2","observation_id":"5cf32f9d-a120-4cb4-b245-3b25bb9c0ecf","resolution":{"observed_at":"2026-08-16T05:24:25.085605Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:25.067386Z","title":"The feynman lectures on physics","venue":null,"work_id":"788b42cd-2fc1-4592-a5f9-900c56220bd0","year":1963},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.154695Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:278b896c9f40491eb3ac0331bdf76c78c0f72d71d1fbc5a5c3ae21fc6ca7ab3a","observation_id":"a24eb9b7-5aea-4546-ad41-51544772c6e6","resolution":{"observed_at":"2026-08-16T05:24:25.071956Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:25.053029Z","title":"The game of life","venue":null,"work_id":"d54c1d74-b13a-46fe-ace2-028bc7df17ad","year":1970},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.158792Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:828d6d0046d7de2f05cbfaf75539faead412562d68701c7047c2ec3b713d9bd7","observation_id":"3e538da2-7a11-4ee6-ae9c-a34a3bb079fb","resolution":{"observed_at":"2026-08-16T05:24:25.057146Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T05:24:24.162738Z","title":"The lean 4 theorem prover and programming language","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.162738Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:0d8b3a7ae4b64aaa82a85ab79d94e220382d0f2fb79055f4ef44a20c2ccc71cf","observation_id":"9662313a-132c-4b6c-a86b-66f69ba20c6c","resolution":{"observed_at":"2026-08-16T05:24:24.162738Z","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-16T05:24:25.031226Z","title":"On computable numbers, with an application to the entschei- dungsproblem","venue":null,"work_id":"545bf5dd-f7b0-4a12-be59-fad3102a4ccd","year":1936},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.166761Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:9ce5d3c6771e6838d55dcb8688f93e1d2dd8894cfcc59ce58d535730555eecfe","observation_id":"cddb9a64-7383-4289-893e-e504dc4b334a","resolution":{"observed_at":"2026-08-16T05:24:25.035541Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:25.017883Z","title":null,"venue":null,"work_id":"64176867-c315-4890-a60a-aa81e886fef5","year":1971},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.171119Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:ec9d9fb43e98ba6aea4cf761e4e991554e3e934297362ccdbe004eead88079af","observation_id":"2af80b93-be6f-4b90-84f8-7862beaf8e01","resolution":{"observed_at":"2026-08-16T05:24:25.022090Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:25.004474Z","title":"Universality of tag systems with p = 2","venue":null,"work_id":"94839ff0-c432-4162-b7e4-b7ae94472e59","year":1964},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.175377Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:542f70c535c43c031fd435422ea49c891d42719e0600066bb1cd1869c6264ab0","observation_id":"3d232c0b-da39-40c1-b4b7-83aa4488dc0e","resolution":{"observed_at":"2026-08-16T05:24:25.009045Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:24.990948Z","title":"Formal reductions of the general combinatorial decision problem","venue":null,"work_id":"0e92233a-b6a0-4589-b9ff-a4f35554fb95","year":1943},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.179495Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:cc70fe400d42aa7553cbef3bfb457693e082043927dd6cb0ed87ac490da820d9","observation_id":"3c5f4daf-bc32-4aba-a13e-76111a91f2e8","resolution":{"observed_at":"2026-08-16T05:24:24.995374Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.20050","last_updated":"2023-05-31T17:24:00Z","snapshot_observed_at":"2026-08-17T09:42:34.746112Z","submitted_at":"2023-05-31T17:24:00Z","title":"Let's Verify Step by Step","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.20050","snapshot_observed_at":"2026-08-16T05:24:24.183883Z","title":"Let’s verify step by step","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.183883Z"},"links":{"cited_paper":"/paper/2305.20050","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:2aac28d7a80fed829529ca4db2337821d3e10ca7fd303d323964543a5b3b473d","observation_id":"227d5f18-6326-4f5b-87b3-09f1b512d2ea","resolution":{"observed_at":"2026-08-16T05:24:24.183883Z","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-16T05:24:24.188460Z","title":"Mmlu-pro: A more robust and challenging multi-task language understanding benchmark","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.188460Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:fbb275411a041c72bae8168567f6cf19299f36e9dc8c0116d0c517a7f7fe4e94","observation_id":"0b0e0fda-8985-47c0-9c72-57fd248e86c6","resolution":{"observed_at":"2026-08-16T05:24:24.188460Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.21783","last_updated":"2024-11-23T23:27:33Z","snapshot_observed_at":"2026-08-13T17:20:44.002518Z","submitted_at":"2024-07-31T17:54:27Z","title":"The Llama 3 Herd of Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.21783","snapshot_observed_at":"2026-08-16T05:24:24.192514Z","title":"The llama 3 herd of models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.192514Z"},"links":{"cited_paper":"/paper/2407.21783","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:aedf3ac2347a357dbd3f37e5f00b5165414e174350e8fadedba4fc1dc18949bd","observation_id":"bc814878-8adf-43e5-97ef-bd22a23dc4d1","resolution":{"observed_at":"2026-08-16T05:24:24.192514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.15115","last_updated":"2025-01-03T02:18:21Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-12-19T17:56:09Z","title":"Qwen2.5 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.15115","snapshot_observed_at":"2026-08-16T05:24:24.196881Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.196881Z"},"links":{"cited_paper":"/paper/2412.15115","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:74634e6efed53f1f209534187375f2b32e5aa1d3ae19b067131732f91a56156d","observation_id":"741b2e20-46bc-4ebd-8437-496385069bb0","resolution":{"observed_at":"2026-08-16T05:24:24.196881Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12191","last_updated":"2024-10-03T15:54:49Z","snapshot_observed_at":"2026-08-06T05:35:29.109022Z","submitted_at":"2024-09-18T17:59:32Z","title":"Qwen2-VL: Enhancing Vision-Language Model's Perception of the World at Any Resolution","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12191","snapshot_observed_at":"2026-08-16T05:24:24.201184Z","title":"Qwen2-vl: Enhancing vision-language model’s perception of the world at any resolution","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.201184Z"},"links":{"cited_paper":"/paper/2409.12191","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:68e4960c917c545ff0167086db69870c889c76e62058f387a3de165bcf2bec21","observation_id":"95d1352e-653f-45ce-8449-b75532c886ce","resolution":{"observed_at":"2026-08-16T05:24:24.201184Z","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-16T05:24:24.205393Z","title":"Qvq: To see the world with wisdom, December 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.205393Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:7a29aad3a19c3c4ee86d1018fad7cf54866db1e9d8a30639cb98dd73bdcef13e","observation_id":"4bb87cb8-6a67-4f4a-917d-9afa40479f92","resolution":{"observed_at":"2026-08-16T05:24:24.205393Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.19786","last_updated":"2025-03-25T15:52:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-03-25T15:52:34Z","title":"Gemma 3 Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.19786","snapshot_observed_at":"2026-08-16T05:24:24.209191Z","title":"Gemma 3 technical report","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.209191Z"},"links":{"cited_paper":"/paper/2503.19786","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:c24059d2162d910cd0616b2a74f32dc6790516c64dbd2c2f20ebbcf3e926dc67","observation_id":"e3ba6691-c3f5-4467-8849-fed18d4638e0","resolution":{"observed_at":"2026-08-16T05:24:24.209191Z","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-16T05:24:24.959016Z","title":"Sky-t1: Train your own o1 preview model within $450","venue":null,"work_id":"8bc12c04-71e1-453a-b6d2-18eb2f1fa634","year":2025},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.213459Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:563d4986ca8d477ee2fbdbbf35405e32d0fb4b8b92968a031c2126d0ccf93fc1","observation_id":"e44ab2b8-0002-45aa-a210-c81cc21e9f07","resolution":{"observed_at":"2026-08-16T05:24:24.963860Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:24.944747Z","title":"Gemini 2.5 pro, 2025","venue":null,"work_id":"19b0ae96-cfe4-41b3-b440-19dba9627cfa","year":2025},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.217596Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:628ba8b777d6586f6832a4d2ebb35d26ba5959254ab30f6c5638e9da50fbbbb0","observation_id":"8ed19abe-d9ca-4b92-bebc-87cebc911ecb","resolution":{"observed_at":"2026-08-16T05:24:24.949008Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:24.930320Z","title":"Grok-3, 2025","venue":null,"work_id":"80ca4873-354e-47ff-9a50-64101117ea04","year":2025},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.221556Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:6004b94de548e568f435f587acb26afff774d9e6bdd81bcf687f00bde05f262f","observation_id":"473b500a-e1e4-4672-80a3-5e3f981c6f00","resolution":{"observed_at":"2026-08-16T05:24:24.935020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:24.916140Z","title":"Claude 3.7 sonnet thinking, 2025","venue":null,"work_id":"1426010c-8b14-41a7-9732-b0c329c8045b","year":2025},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.225579Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:48e931f0fdbd9819be5cdc4496550d9370000dbd0f675d5da4cfb0474b40d472","observation_id":"0e56f3bc-62e1-456a-8d02-c90896a9e67d","resolution":{"observed_at":"2026-08-16T05:24:24.920671Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:24.901849Z","title":"Doubao 1.5 pro, 2025","venue":null,"work_id":"ab50b082-7366-40e8-8e9e-5683586eaf3a","year":2025},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.229764Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:08441bf16d441fe1ccb8a6cf6e4cbca15b8efdd93c50f1bc32eceff0737aa333","observation_id":"a1b1f9ba-dfed-4ac8-8038-99cdff12c5bd","resolution":{"observed_at":"2026-08-16T05:24:24.906562Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:24.887807Z","title":"Openai o1 system card, Sep","venue":null,"work_id":"84cdb004-611b-47d4-97df-2834728128ce","year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.233656Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:5154b9f3a353ff80a6c53f04d3cb14dd639d2bd483f4d18a815042cd50da491a","observation_id":"00372d6b-5b30-43a3-8df7-53fa95a942ae","resolution":{"observed_at":"2026-08-16T05:24:24.892734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T05:24:24.237386Z","title":"Transformers: State- of-the-art natural language processing","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.237386Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:907a4a5199fb17442ea7a6cc227057c941df38b0c49d8015cd068a77685539a0","observation_id":"d550bf3d-3e79-49a1-a2cc-b02c2ff21db7","resolution":{"observed_at":"2026-08-16T05:24:24.237386Z","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-16T05:24:24.241422Z","title":"Gonzalez, Hao Zhang, and Ion Stoica","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.241422Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:de613332291ddf796acb95c79f29ff62aa8c3f11b4befa9491b9cfdf10d28ce4","observation_id":"a00b2724-f417-45a8-b23d-80344401f383","resolution":{"observed_at":"2026-08-16T05:24:24.241422Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2206.07682","last_updated":"2022-10-26T05:06:24Z","snapshot_observed_at":"2026-08-17T00:14:01.413100Z","submitted_at":"2022-06-15T17:32:01Z","title":"Emergent Abilities of Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.07682","snapshot_observed_at":"2026-08-16T05:24:24.245638Z","title":"Emergent abilities of large language models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.245638Z"},"links":{"cited_paper":"/paper/2206.07682","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:1c196f2ebf7da3643d3f5080956e0dc05edfbc75a2836550bb25d29bb233d9c5","observation_id":"2cb08eac-a922-4a33-894a-e8f266ac8fc6","resolution":{"observed_at":"2026-08-16T05:24:24.245638Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.19393","last_updated":"2025-03-01T06:07:39Z","snapshot_observed_at":"2026-08-17T11:00:39.333660Z","submitted_at":"2025-01-31T18:48:08Z","title":"s1: Simple test-time scaling","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.19393","snapshot_observed_at":"2026-08-16T05:24:24.250074Z","title":"s1: Simple test-time scaling","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.250074Z"},"links":{"cited_paper":"/paper/2501.19393","citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:1f4f9fe67266c97ba08712df29571eb7c2c5fa320c0613c0fe75a667fff31c16","observation_id":"a757518a-1f11-4db0-a5c3-de265cc0ce88","resolution":{"observed_at":"2026-08-16T05:24:24.250074Z","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-16T05:24:24.856176Z","title":null,"venue":null,"work_id":"b8dad5f8-5732-4fe3-b0bf-8331bbb445fc","year":null},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.254417Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:119c666921af6ef7ead80482a80402f2f7e9fa5cc018572c0935d69e19ec213a","observation_id":"82b116c5-0a04-4d18-b3a2-2b68e31ac268","resolution":{"observed_at":"2026-08-16T05:24:24.860691Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:24.841780Z","title":null,"venue":null,"work_id":"fc80230a-8abd-4793-b34d-1a0bee6cc26c","year":null},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.258815Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:010cd2e1cc5680086b25a7b85caf606f7af193bbc765f0a894452fd426a65fa4","observation_id":"f0778518-0310-42a1-a0de-a5735a80e048","resolution":{"observed_at":"2026-08-16T05:24:24.846062Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:24.827609Z","title":null,"venue":null,"work_id":"02693095-7415-4ab5-96c8-f329cad8b784","year":null},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.263118Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:3fbf99de753f970b4b0c3236255cb9a3e2f782615790279061d0ba045b69efa1","observation_id":"ed0085b0-a9f5-47d0-a735-76b78afbf756","resolution":{"observed_at":"2026-08-16T05:24:24.831941Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:24.813846Z","title":"• If S′ = 1, the next state isQi1","venue":null,"work_id":"fe4701ab-88b3-45f2-9036-447816707be1","year":2024},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.267897Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:97bc949bb9885a749a14634b0a7edddbe1c6e3555b3d139da2dd237ed061df9e","observation_id":"8972f39f-8816-44b9-ab7c-acedc965c993","resolution":{"observed_at":"2026-08-16T05:24:24.818121Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:24.799498Z","title":null,"venue":null,"work_id":"dc2d8829-1e7e-4d1d-91df-a8219ef1f6f0","year":null},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.272331Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:fcb05879dc8e2b2316d56df2a27ba270e466a232eb89be3cc4a9a55e8ba661ae","observation_id":"e0e0ea02-38c7-4b63-aef9-eab2bdcd0ac5","resolution":{"observed_at":"2026-08-16T05:24:24.804132Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T05:24:24.785333Z","title":null,"venue":null,"work_id":"26fe3456-ae92-4125-a645-20da1a3c4d9f","year":2000},"citing_paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models","version":2},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-16T05:24:24.276508Z"},"links":{"citing_paper":"/paper/2504.20771"},"observation_digest":"sha256:22d3a2d60976995805588a62776c6cf9e8928659069e30ef0417adb5290b686c","observation_id":"7b693ade-79ba-458c-819e-9fa314edcf31","resolution":{"observed_at":"2026-08-16T05:24:24.789904Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.20771","last_updated":"2025-05-19T03:55:13Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-17T09:29:04.085747Z","submitted_at":"2025-04-29T13:52:47Z","title":"Computational Reasoning of Large Language Models"},"reference_resolution":{"displayed":79,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":60,"verified_exact":2,"verified_fuzzy":15},"total_outbound_references":79},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 79 of 79 outbound references and 0 inbound Pith citation observations for arXiv:2504.20771."}