{"as_of":"2026-08-08T23:08:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:facd7da57456651eb3eda7d0b99d8a92dffeb9eab422830cb18f965b77a3a6cc","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":29,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T14:27:50.968094Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":3,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":"2402.06332","doi":"10.48550/arxiv.2402.06332","metadata_source":"pith","pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":"cs.CL","work_id":"da7fe877-735e-4436-9e53-837121a0b2d0","year":2024},"citing_paper":{"arxiv_id":"2406.18629","last_updated":"2024-06-26T17:43:06Z","snapshot_observed_at":"2026-08-06T00:24:52.274888Z","submitted_at":"2024-06-26T17:43:06Z","title":"Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-18T23:58:29.040819Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2406.18629"},"observation_digest":"sha256:a1f1278abaf0d71608b85c121d9042bf60c11cf6b788249c352f6efcfc8e5bfb","observation_id":"26791200-3458-4d05-8142-c370e8dc9306","resolution":{"observed_at":"2026-05-18T23:58:29.220895Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":"2402.06332","doi":"10.48550/arxiv.2402.06332","metadata_source":"pith","pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":"cs.CL","work_id":"da7fe877-735e-4436-9e53-837121a0b2d0","year":2024},"citing_paper":{"arxiv_id":"2409.18839","last_updated":"2024-09-27T15:35:15Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-09-27T15:35:15Z","title":"MinerU: An Open-Source Solution for Precise Document Content Extraction","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-16T04:00:25.624430Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2409.18839"},"observation_digest":"sha256:4429c18353454438e26ddaae65095a515477020a15c6f81829fcf9ef2821c4a7","observation_id":"ddddcd9e-3a4f-4f00-873a-4c1f2970e75d","resolution":{"observed_at":"2026-05-16T04:00:25.772292Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":"2402.06332","doi":"10.48550/arxiv.2402.06332","metadata_source":"pith","pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":"cs.CL","work_id":"da7fe877-735e-4436-9e53-837121a0b2d0","year":2024},"citing_paper":{"arxiv_id":"2410.07985","last_updated":"2024-12-24T04:04:30Z","snapshot_observed_at":"2026-08-05T09:35:42.754650Z","submitted_at":"2024-10-10T14:39:33Z","title":"Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models","version":3},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-05-15T09:09:14.884516Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2410.07985"},"observation_digest":"sha256:deb83a60e3e57b7e6eee58120004cbba3940772060a4c7c1b32befc38993b5ec","observation_id":"ee60e291-cb29-4f52-9319-9e737ce448b5","resolution":{"observed_at":"2026-05-15T09:09:15.075148Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":"2402.06332","doi":"10.48550/arxiv.2402.06332","metadata_source":"pith","pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":"cs.CL","work_id":"da7fe877-735e-4436-9e53-837121a0b2d0","year":2024},"citing_paper":{"arxiv_id":"2502.02871","last_updated":"2026-04-20T02:18:01Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-02-05T04:05:27Z","title":"Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning","version":2},"reference_index":236,"source":"arxiv_source","source_observed_at":"2026-05-23T04:30:38.804702Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2502.02871"},"observation_digest":"sha256:c988569f868b97cf55671c9cd2d51bd3f5e43321ff54ba1d265b629e21f54cca","observation_id":"dc2490b1-4d1f-4186-92b1-fd9261c203af","resolution":{"observed_at":"2026-05-23T04:32:33.040305Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-08T14:27:50.968094Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.06781","last_updated":"2025-02-10T18:57:29Z","snapshot_observed_at":"2026-08-08T14:18:42.353169Z","submitted_at":"2025-02-10T18:57:29Z","title":"Exploring the Limit of Outcome Reward for Learning Mathematical Reasoning","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-08T14:27:50.968094Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2502.06781"},"observation_digest":"sha256:3a4188873d489893ded411518931d47dba2c8d23ca97b515008b69bec969ba42","observation_id":"dd449979-713d-4581-a4a4-02df42ae17fb","resolution":{"observed_at":"2026-08-08T14:27:50.968094Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-08T13:11:51.776533Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.07316","last_updated":"2025-05-21T13:38:27Z","snapshot_observed_at":"2026-08-08T13:05:11.787794Z","submitted_at":"2025-02-11T07:26:50Z","title":"CodeI/O: Condensing Reasoning Patterns via Code Input-Output Prediction","version":4},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-08T13:11:51.776533Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2502.07316"},"observation_digest":"sha256:236909fc61a193e3114f1f4095708a48a938ac18312c10d167b691fcb5691214","observation_id":"01e6b44e-95be-43f2-ac5f-bd2193228237","resolution":{"observed_at":"2026-08-08T13:11:51.776533Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":"2402.06332","doi":"10.48550/arxiv.2402.06332","metadata_source":"pith","pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":"cs.CL","work_id":"da7fe877-735e-4436-9e53-837121a0b2d0","year":2024},"citing_paper":{"arxiv_id":"2502.10248","last_updated":"2025-02-24T10:12:11Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-02-14T15:58:10Z","title":"Step-Video-T2V Technical Report: The Practice, Challenges, and Future of Video Foundation Model","version":3},"reference_index":95,"source":"arxiv_source","source_observed_at":"2026-05-19T08:02:23.002090Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2502.10248"},"observation_digest":"sha256:d9d6bab238eb7e561d0e0057d821026e3b6c70f6b794241bcc47a4d8ca203182","observation_id":"3179ab27-421d-4ecb-b699-ce7525ad7db8","resolution":{"observed_at":"2026-05-19T08:02:23.699532Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-08T11:01:03.506645Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.10454","last_updated":"2025-08-22T07:58:49Z","snapshot_observed_at":"2026-08-08T10:55:47.232000Z","submitted_at":"2025-02-12T02:01:10Z","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","version":2},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-08T11:01:03.506645Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2502.10454"},"observation_digest":"sha256:b41db3915826b5ec3764d83c2328d02c22b7852061bb54fc217d60a85f6000b2","observation_id":"209773d6-b684-43a5-a6a9-acba7b99b348","resolution":{"observed_at":"2026-08-08T11:01:03.506645Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":"2402.06332","doi":"10.48550/arxiv.2402.06332","metadata_source":"pith","pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":"cs.CL","work_id":"da7fe877-735e-4436-9e53-837121a0b2d0","year":2024},"citing_paper":{"arxiv_id":"2503.01785","last_updated":"2025-03-03T18:16:32Z","snapshot_observed_at":"2026-08-05T03:13:54.147007Z","submitted_at":"2025-03-03T18:16:32Z","title":"Visual-RFT: Visual Reinforcement Fine-Tuning","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-13T22:16:16.528682Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2503.01785"},"observation_digest":"sha256:daf8136a743f0c2af85f4a8b8eb0cd256af0ca58d0fbd0b36adce12ca43dd3c2","observation_id":"1fff47fe-0f09-4434-ba09-28a559808675","resolution":{"observed_at":"2026-05-13T22:16:16.602263Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-07T15:42:56.327732Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.14231","last_updated":"2025-05-20T11:40:43Z","snapshot_observed_at":"2026-08-07T15:35:48.142895Z","submitted_at":"2025-05-20T11:40:43Z","title":"UniVG-R1: Reasoning Guided Universal Visual Grounding with Reinforcement Learning","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:56.327732Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2505.14231"},"observation_digest":"sha256:154d3aa4a1d4e98856f88f8e36e79970405662d744f47a947eb354e33f9210bc","observation_id":"b2bd8e48-5038-4bb4-8688-74ffdd30d9ee","resolution":{"observed_at":"2026-08-07T15:42:56.327732Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-07T14:34:10.129039Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.18492","last_updated":"2026-06-30T15:33:33Z","snapshot_observed_at":"2026-08-07T23:35:26.397590Z","submitted_at":"2025-05-24T03:52:25Z","title":"Formally Solving Answer-Construction Problems in Lean","version":6},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-07T14:34:10.129039Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2505.18492"},"observation_digest":"sha256:115716d9b784f48b85188fd1c84bfa7d6b291541711a0c8ad09a9a5710622082","observation_id":"7f556ed6-553e-4913-a741-6da847dc2fae","resolution":{"observed_at":"2026-08-07T14:34:10.129039Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-07T10:44:59.491464Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.04592","last_updated":"2025-06-05T03:16:08Z","snapshot_observed_at":"2026-08-07T23:35:52.088117Z","submitted_at":"2025-06-05T03:16:08Z","title":"Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-07T10:44:59.491464Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2506.04592"},"observation_digest":"sha256:8d481b1ef18b44afa2f3eed6feb96b93d2008c3c5e2929ffc6984d361bf8bb88","observation_id":"7320371f-1ce9-4e52-bbd3-073523d26039","resolution":{"observed_at":"2026-08-07T10:44:59.491464Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":"2402.06332","doi":"10.48550/arxiv.2402.06332","metadata_source":"pith","pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":"cs.CL","work_id":"da7fe877-735e-4436-9e53-837121a0b2d0","year":2024},"citing_paper":{"arxiv_id":"2506.06856","last_updated":"2026-05-06T17:36:32Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-06-07T16:37:46Z","title":"Vision-EKIPL: External Knowledge-Infused Policy Learning for Visual Reasoning","version":3},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-05-19T10:34:48.849524Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2506.06856"},"observation_digest":"sha256:5b423c9a6048fda39ec7f40ec041faf363032149f1da5e830184c0f8a27c01bb","observation_id":"67203c0b-0006-4314-938b-d8c5cfc2a741","resolution":{"observed_at":"2026-05-19T10:37:14.957084Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-06T22:17:28.984795Z","title":"Internlm-math: Open math large language models toward verifiable reasoning, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-06T22:10:53.633909Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T22:17:28.984795Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2506.22005"},"observation_digest":"sha256:2be8a335647662aed84b2a843fd7885aa85801cdef5cfd9abd99a84b0cf016fe","observation_id":"3a09f54a-e450-414c-813e-c26962a29233","resolution":{"observed_at":"2026-08-06T22:17:28.984795Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-06T21:55:05.725140Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.23127","last_updated":"2025-06-29T07:31:24Z","snapshot_observed_at":"2026-08-07T10:28:04.865350Z","submitted_at":"2025-06-29T07:31:24Z","title":"Unleashing Embodied Task Planning Ability in LLMs via Reinforcement Learning","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-06T21:55:05.725140Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2506.23127"},"observation_digest":"sha256:5656a37dbec9781fce60e92bf5754a7ee6c33c312f23d9e3edf4a4ee5b4e651f","observation_id":"8084ff0b-4e90-42fa-bc50-6cd0ad92309c","resolution":{"observed_at":"2026-08-06T21:55:05.725140Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-06T20:29:42.699262Z","title":"Internlm-math: Open math large language models toward verifiable reasoning,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.02626","last_updated":"2025-07-03T13:52:24Z","snapshot_observed_at":"2026-08-06T20:22:15.523347Z","submitted_at":"2025-07-03T13:52:24Z","title":"VRAgent-R1: Boosting Video Recommendation with MLLM-based Agents via Reinforcement Learning","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T20:29:42.699262Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2507.02626"},"observation_digest":"sha256:0a1abc91e14f454b81ab85ec14564be03967a57cf4c2f069a9e80dd0972be50f","observation_id":"6fe08ab8-fc13-47ed-b878-c6201a15a37e","resolution":{"observed_at":"2026-08-06T20:29:42.699262Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-06T18:47:46.421075Z","title":"Lean Workbook: A large-scale Lean problem set for- malized from natural language math problems","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.07399","last_updated":"2025-08-22T13:20:21Z","snapshot_observed_at":"2026-08-07T23:33:49.845590Z","submitted_at":"2025-07-10T03:34:58Z","title":"Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T18:47:46.421075Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2507.07399"},"observation_digest":"sha256:ee4342fffc48217f1e1811bb4d4a298a2777c130f26dfe66a36aebf22703d75b","observation_id":"b815c0df-cafb-441a-a788-849f4a226428","resolution":{"observed_at":"2026-08-06T18:47:46.421075Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-06T15:54:13.169692Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14722","last_updated":"2025-07-19T18:50:07Z","snapshot_observed_at":"2026-08-08T17:02:10.648664Z","submitted_at":"2025-07-19T18:50:07Z","title":"LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-06T15:54:13.169692Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2507.14722"},"observation_digest":"sha256:0fbfe2f60639c7282d8e5973c9f66b68f2a1f0a848bea6713b59247c0c784e7c","observation_id":"73fd3fcb-0102-47fa-85a7-b26249943763","resolution":{"observed_at":"2026-08-06T15:54:13.169692Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T22:28:12.168349Z","title":"Lean workbook: A large-scale lean problem set formalized from natural language math problems.Advances in Neural Information Processing Systems, 37:105848–105863, 2024a","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.06926","last_updated":"2025-08-09T10:41:03Z","snapshot_observed_at":"2026-08-07T22:01:10.155708Z","submitted_at":"2025-08-09T10:41:03Z","title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T22:28:12.168349Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2508.06926"},"observation_digest":"sha256:bb63bf227d131a3746bee3be8ac70fbfca5bb1c94298f3765a96d0482625fd79","observation_id":"f419b567-6dd0-45d1-8a9e-d44fabd8a5df","resolution":{"observed_at":"2026-08-05T22:28:12.168349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":"2402.06332","doi":"10.48550/arxiv.2402.06332","metadata_source":"pith","pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":"cs.CL","work_id":"da7fe877-735e-4436-9e53-837121a0b2d0","year":2024},"citing_paper":{"arxiv_id":"2601.13209","last_updated":"2026-05-02T15:26:09Z","snapshot_observed_at":"2026-07-06T22:42:08.271837Z","submitted_at":"2026-01-19T16:38:18Z","title":"AI for Mathematics: Progress, Challenges, and Prospects","version":5},"reference_index":166,"source":"pdf_text","source_observed_at":"2026-05-16T13:24:57.923863Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2601.13209"},"observation_digest":"sha256:e625e2733debc8a9646613814c97cf5d229d3a018cd88f334930a84ba15edca3","observation_id":"a75bf5de-78c6-4ddd-aca1-23ea873aedad","resolution":{"observed_at":"2026-05-16T13:27:55.678773Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-03T08:15:36.327207Z","title":"Internlm-math: Open math large language models toward verifiable reasoning, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.17717","last_updated":"2026-06-09T20:25:14Z","snapshot_observed_at":"2026-08-03T08:15:07.553014Z","submitted_at":"2026-01-25T06:40:25Z","title":"A Survey on Evaluating Quality and Trustworthiness in LLM-Generated Data","version":3},"reference_index":255,"source":"arxiv_source","source_observed_at":"2026-08-03T08:15:36.327207Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2601.17717"},"observation_digest":"sha256:0a81542301ea18ab3fa06c5bd15bf05bd00c8e593651ce2313fb024a8ef2fb90","observation_id":"3ba621d3-a697-42af-9028-b59b294f5663","resolution":{"observed_at":"2026-08-03T08:15:36.327207Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":"2402.06332","doi":"10.48550/arxiv.2402.06332","metadata_source":"pith","pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":"cs.CL","work_id":"da7fe877-735e-4436-9e53-837121a0b2d0","year":2024},"citing_paper":{"arxiv_id":"2602.07605","last_updated":"2026-04-27T13:49:08Z","snapshot_observed_at":"2026-08-03T08:11:38.794368Z","submitted_at":"2026-02-07T16:16:51Z","title":"Fine-R1: Make Multi-modal LLMs Excel in Fine-Grained Visual Recognition by Chain-of-Thought Reasoning","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-16T06:13:33.315525Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2602.07605"},"observation_digest":"sha256:480515690bf2e7875fc049787b31cac90f4de276faae405b517ccd85e0dbd1ee","observation_id":"6801dfe7-1f4b-47aa-8ec3-35124fb1753f","resolution":{"observed_at":"2026-05-16T06:17:26.770283Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":"2402.06332","doi":"10.48550/arxiv.2402.06332","metadata_source":"pith","pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":"cs.CL","work_id":"da7fe877-735e-4436-9e53-837121a0b2d0","year":2024},"citing_paper":{"arxiv_id":"2603.03197","last_updated":"2026-04-12T16:48:44Z","snapshot_observed_at":"2026-08-03T05:43:55.769983Z","submitted_at":"2026-03-03T17:52:39Z","title":"Specificity-aware reinforcement learning for fine-grained open-world classification","version":3},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-15T16:44:47.866126Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2603.03197"},"observation_digest":"sha256:cc691705cdd45e93aeaf575a4cb60532c5a052e92768ddf4c0a8a0bafffaf771","observation_id":"a7075566-4fad-4298-b2c9-3d7805c2f769","resolution":{"observed_at":"2026-05-15T16:46:17.895184Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":"2402.06332","doi":"10.48550/arxiv.2402.06332","metadata_source":"pith","pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":"cs.CL","work_id":"da7fe877-735e-4436-9e53-837121a0b2d0","year":2024},"citing_paper":{"arxiv_id":"2605.11974","last_updated":"2026-05-12T11:31:18Z","snapshot_observed_at":"2026-07-06T23:23:44.276236Z","submitted_at":"2026-05-12T11:31:18Z","title":"Towards Order Fairness: Mitigating LLMs Order Sensitivity through Dual Group Advantage Optimization","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-05-13T07:32:58.404947Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2605.11974"},"observation_digest":"sha256:7e27bec6b105838a07ad2e90c82977255fd8b5f55eebe298602cca8a9dbfae77","observation_id":"9076d9d2-869e-42e8-baf6-73e554382b6c","resolution":{"observed_at":"2026-05-13T07:37:29.887905Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":"2402.06332","doi":"10.48550/arxiv.2402.06332","metadata_source":"pith","pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":"cs.CL","work_id":"da7fe877-735e-4436-9e53-837121a0b2d0","year":2024},"citing_paper":{"arxiv_id":"2606.08728","last_updated":"2026-07-26T11:27:42Z","snapshot_observed_at":"2026-08-02T12:04:58.846884Z","submitted_at":"2026-06-07T16:50:07Z","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","version":1},"reference_index":164,"source":"pdf_text","source_observed_at":"2026-06-27T18:39:44.696961Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2606.08728"},"observation_digest":"sha256:6fc687322f86cacaef833247bea94d11326ec48970e167b79b88289a59e9be97","observation_id":"2015c34d-04b1-4738-b7ba-777759f95e4f","resolution":{"observed_at":"2026-07-02T22:47:26.035682Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-02T12:05:18.006219Z","title":"InternLM-Math: Open math large language models toward verifiable reasoning,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.08728","last_updated":"2026-07-26T11:27:42Z","snapshot_observed_at":"2026-08-02T12:04:58.846884Z","submitted_at":"2026-06-07T16:50:07Z","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","version":4},"reference_index":164,"source":"pdf_text","source_observed_at":"2026-08-02T12:05:18.006219Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2606.08728"},"observation_digest":"sha256:af098ee84c15176d3483d28fbb131ce1f07790cd1c24841668464470b99dae4a","observation_id":"91f5a4e5-51bf-4dc1-950a-da38e4e23a94","resolution":{"observed_at":"2026-08-02T12:05:18.006219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":"2402.06332","doi":"10.48550/arxiv.2402.06332","metadata_source":"pith","pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":"cs.CL","work_id":"da7fe877-735e-4436-9e53-837121a0b2d0","year":2024},"citing_paper":{"arxiv_id":"2606.11470","last_updated":"2026-06-09T21:59:37Z","snapshot_observed_at":"2026-07-06T23:50:35.052764Z","submitted_at":"2026-06-09T21:59:37Z","title":"The Periodic Table of LLM Reasoning: A Structured Survey of Reasoning Paradigms, Methods, and Failure Modes","version":1},"reference_index":297,"source":"arxiv_source","source_observed_at":"2026-06-27T12:59:51.091008Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2606.11470"},"observation_digest":"sha256:c3fa1b36c7d4c4ad636a8739c80116f7d9baa7e2db27fde985373288b865628d","observation_id":"3e965bbc-aa7b-437d-996a-2a50e78b9713","resolution":{"observed_at":"2026-06-27T13:00:56.015923Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":"2402.06332","doi":"10.48550/arxiv.2402.06332","metadata_source":"pith","pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Internlm-math: Open math large language models toward verifiable reasoning","venue":"cs.CL","work_id":"da7fe877-735e-4436-9e53-837121a0b2d0","year":2024},"citing_paper":{"arxiv_id":"2607.07779","last_updated":"2026-07-08T17:46:36Z","snapshot_observed_at":"2026-07-12T23:17:59.879344Z","submitted_at":"2026-07-08T17:46:36Z","title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","version":1},"reference_index":281,"source":"pdf_text","source_observed_at":"2026-07-10T18:16:31.176239Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2607.07779"},"observation_digest":"sha256:fbe2b051f6de10476d17889e1c20b8fd03029e444296ecea968e3e91d20b837a","observation_id":"99850582-ed2a-4014-b471-fb9d8c56f7d1","resolution":{"observed_at":"2026-07-10T18:17:33.825270Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-05T04:17:18.584230Z","title":"arXiv:2402.06332 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.04009","last_updated":"2026-08-04T17:59:56Z","snapshot_observed_at":"2026-08-07T23:12:49.110023Z","submitted_at":"2026-08-04T17:59:56Z","title":"SocietyBench: Forecasting Counterfactual Social-World Evolution","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-05T04:17:18.584230Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2608.04009"},"observation_digest":"sha256:7fbcdb531458923a2255c4bde0e6286cfe830de30f5d31354c6b5b65810a8520","observation_id":"dc713119-e135-4970-ab3f-cdd325490a1e","resolution":{"observed_at":"2026-08-05T04:17:18.584230Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2402.06332/citation-record","integrity":"/paper/2402.06332/integrity","json":"/paper/2402.06332/citation-record.json","paper":"/paper/2402.06332"},"outbound":[],"paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-06T07:58:05.717753Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 29 inbound Pith citation observations for arXiv:2402.06332."}