{"as_of":"2026-08-10T06:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e40b40fbe5baf6f228facb66746ffbde825e646f609901994b35f26313abfca8","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":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":22,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T10:25:12.933343Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":5,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":"2305.12524","doi":"10.48550/arxiv.2305.12524","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Theoremqa: A theorem-driven question answering dataset","venue":"arXiv (Cornell University)","work_id":"bb515935-6766-42af-8c2e-5e99927854b4","year":2023},"citing_paper":{"arxiv_id":"2308.14132","last_updated":"2023-11-07T03:30:15Z","snapshot_observed_at":"2026-07-06T16:10:54.723336Z","submitted_at":"2023-08-27T15:20:06Z","title":"Detecting Language Model Attacks with Perplexity","version":3},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-05-15T14:02:26.784965Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2308.14132"},"observation_digest":"sha256:af8d609a023af408c6398e15524053d9768e839ee24793bef750dc4c25d1bdd3","observation_id":"3dcfd77e-f6fd-484c-820f-60e49dc0199c","resolution":{"observed_at":"2026-05-15T14:02:26.851987Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":"2305.12524","doi":"10.48550/arxiv.2305.12524","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Theoremqa: A theorem-driven question answering dataset","venue":"arXiv (Cornell University)","work_id":"bb515935-6766-42af-8c2e-5e99927854b4","year":2023},"citing_paper":{"arxiv_id":"2309.05653","last_updated":"2023-10-03T02:48:42Z","snapshot_observed_at":"2026-08-07T14:43:09.380195Z","submitted_at":"2023-09-11T17:47:22Z","title":"MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning","version":3},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-05-17T23:46:39.330438Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2309.05653"},"observation_digest":"sha256:9a1c9b16d0a1542dc08b265b9e5efdfd1fcae953f26be0d1d81bb6c51cd0a7cb","observation_id":"c56ec44e-dcdf-4312-9fd8-4f0e53bc1777","resolution":{"observed_at":"2026-05-17T23:46:39.578030Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-08T10:25:12.933343Z","title":"Theoremqa: A theorem-driven question answering dataset","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.08127","last_updated":"2025-06-14T03:19:54Z","snapshot_observed_at":"2026-08-08T10:18:14.855636Z","submitted_at":"2025-02-12T05:13:04Z","title":"Fino1: On the Transferability of Reasoning-Enhanced LLMs and Reinforcement Learning to Finance","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-08T10:25:12.933343Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2502.08127"},"observation_digest":"sha256:2c4776707dd2657286e63935b7d42e2b614e0bd2866774be457c5ab6114a1e0d","observation_id":"a26b6887-0520-4c9d-b70a-13099a1d0724","resolution":{"observed_at":"2026-08-08T10:25:12.933343Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-07T12:22:24.562397Z","title":"Theoremqa: A theorem-driven question answering dataset","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.24823","last_updated":"2025-05-30T17:25:20Z","snapshot_observed_at":"2026-08-09T05:39:20.850711Z","submitted_at":"2025-05-30T17:25:20Z","title":"PhySense: Principle-Based Physics Reasoning Benchmarking for Large Language Models","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:24.562397Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2505.24823"},"observation_digest":"sha256:b4f3daac60d7c7941444aaf910a533587427671fa4440c56794e756ea8a1d6de","observation_id":"5a431d61-daf8-4a7e-897a-e5c964430a73","resolution":{"observed_at":"2026-08-07T12:22:24.562397Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-07T04:22:55.808811Z","title":"Theo- remqa: A theorem-driven question answering dataset","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.10857","last_updated":"2025-08-04T09:11:48Z","snapshot_observed_at":"2026-08-08T13:30:57.844783Z","submitted_at":"2025-06-12T16:17:17Z","title":"VRBench: A Benchmark for Multi-Step Reasoning in Long Narrative Videos","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T04:22:55.808811Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2506.10857"},"observation_digest":"sha256:68ed6390773504070f0dda50206c9791a89221b8f1929e1a70555e1d859e528f","observation_id":"db6db4af-9926-4f46-9e83-3b382a3516cf","resolution":{"observed_at":"2026-08-07T04:22:55.808811Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-06T20:45:12.276433Z","title":"Theoremqa: A theorem-driven question answering dataset.arXiv preprint arXiv:2305.12524, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.01903","last_updated":"2025-08-05T16:19:40Z","snapshot_observed_at":"2026-08-08T04:30:09.801268Z","submitted_at":"2025-07-02T17:19:20Z","title":"AI4Research: A Survey of Artificial Intelligence for Scientific Research","version":2},"reference_index":115,"source":"pdf_text","source_observed_at":"2026-08-06T20:45:12.276433Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2507.01903"},"observation_digest":"sha256:d7b2de16a297257483687b5f7e8774aea3fb80cc036fe389e8c0b3e99ff915ca","observation_id":"544c9ab7-187e-4720-86cb-1ddfdb39c3ef","resolution":{"observed_at":"2026-08-06T20:45:12.276433Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-06T16:14:06.336764Z","title":"Theoremqa: A theorem-driven question answering dataset, 2023 a","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.14295","last_updated":"2025-08-22T16:49:10Z","snapshot_observed_at":"2026-08-07T14:03:43.498386Z","submitted_at":"2025-07-18T18:07:38Z","title":"A Simple \"Try Again\" Can Elicit Multi-Turn LLM Reasoning","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T16:14:06.336764Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2507.14295"},"observation_digest":"sha256:c3512587fd718b7b8d41bfeb7e54614f7d4158f6e3c6318b689b077db847ac8f","observation_id":"73dc1681-ec6e-4b8f-9a9b-84e118096ee2","resolution":{"observed_at":"2026-08-06T16:14:06.336764Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-06T14:43:22.133785Z","title":"Theoremqa: A theorem-driven question answering dataset, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.18013","last_updated":"2025-07-29T10:30:18Z","snapshot_observed_at":"2026-08-07T23:55:13.139896Z","submitted_at":"2025-07-24T01:00:48Z","title":"Technical Report of TeleChat2, TeleChat2.5 and T1","version":3},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T14:43:22.133785Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2507.18013"},"observation_digest":"sha256:cf0a6d54d8bd163fae23c19b731c50f377369927fea9c94431c49545f19d5d94","observation_id":"badd2157-376d-4368-8576-60a08c70ce9c","resolution":{"observed_at":"2026-08-06T14:43:22.133785Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-04T13:53:32.793396Z","title":"Theoremqa: A theorem-driven question answering dataset.arXiv preprint arXiv:2305.12524,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.25004","last_updated":"2026-06-08T14:01:20Z","snapshot_observed_at":"2026-08-04T13:53:31.767096Z","submitted_at":"2025-09-29T16:29:04Z","title":"CLPO: Curriculum Learning meets Policy Optimization for LLM Reasoning","version":2},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-04T13:53:32.793396Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2509.25004"},"observation_digest":"sha256:174831647e7c7d541b870bafd34e1df4ff60feb5630c7e6d3bc9907ed78242bf","observation_id":"07e29574-872c-411d-8ed4-ad2c22df3d9d","resolution":{"observed_at":"2026-08-04T13:53:32.793396Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-04T10:36:23.048036Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.09517","last_updated":"2026-07-02T09:56:45Z","snapshot_observed_at":"2026-08-08T00:15:14.362197Z","submitted_at":"2025-10-10T16:28:43Z","title":"StatEval: A Comprehensive Benchmark for Large Language Models in Statistics","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-04T10:36:23.048036Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2510.09517"},"observation_digest":"sha256:a8dbb9f66ce36ee3ae40ba1960ab86fef4f6ef7143662b9293ea412b599c449c","observation_id":"b780332e-3272-4f9f-9140-df45cd86e9c8","resolution":{"observed_at":"2026-08-04T10:36:23.048036Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-03T16:43:54.710371Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2512.12576","last_updated":"2026-05-23T02:48:11Z","snapshot_observed_at":"2026-08-07T00:51:43.825252Z","submitted_at":"2025-12-14T07:03:51Z","title":"Coupled Variational Reinforcement Learning for Language Model General Reasoning","version":3},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:54.710371Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2512.12576"},"observation_digest":"sha256:dc26c43b51001916535a0283ebee5a62ae4ed49b18d48a2af400477c565e3bb9","observation_id":"c0545efa-1a4e-4f6a-8a2b-a39b66788a1a","resolution":{"observed_at":"2026-08-03T16:43:54.710371Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-02T20:21:54.834919Z","title":"Theoremqa: A theorem-driven question answering dataset.arXiv preprint arXiv:2305.12524,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.19262","last_updated":"2026-05-28T23:06:43Z","snapshot_observed_at":"2026-08-08T12:47:13.847301Z","submitted_at":"2026-02-26T20:52:27Z","title":"Empirical Characterization of Inference-Time Elicited Probability Transformations in Large Language Models","version":2},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-02T20:21:54.834919Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2603.19262"},"observation_digest":"sha256:56c2c2212e18148f0b3df23227c1b0747d4299251fa65a99a60cea654d61b4cf","observation_id":"496e4370-6c12-4101-855b-9466cceec120","resolution":{"observed_at":"2026-08-02T20:21:54.834919Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":"2305.12524","doi":"10.48550/arxiv.2305.12524","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Theoremqa: A theorem-driven question answering dataset","venue":"arXiv (Cornell University)","work_id":"bb515935-6766-42af-8c2e-5e99927854b4","year":2023},"citing_paper":{"arxiv_id":"2604.03893","last_updated":"2026-06-01T03:09:36Z","snapshot_observed_at":"2026-07-13T12:10:48.358603Z","submitted_at":"2026-04-04T23:18:58Z","title":"FeynmanBench: Benchmarking Multimodal LLMs on Diagrammatic Physics Reasoning","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-13T16:51:48.705876Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2604.03893"},"observation_digest":"sha256:6cd2b23da27350f4e82e32b885b9ccf00730d027182b844eca70569f44b322dc","observation_id":"e4124a06-c1d1-4248-b5d1-0b04d08da3ca","resolution":{"observed_at":"2026-05-13T16:52:59.463228Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-07-13T12:10:53.720348Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2604.03893","last_updated":"2026-06-01T03:09:36Z","snapshot_observed_at":"2026-07-13T12:10:48.358603Z","submitted_at":"2026-04-04T23:18:58Z","title":"FeynmanBench: Benchmarking Multimodal LLMs on Diagrammatic Physics Reasoning","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-13T12:10:53.720348Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2604.03893"},"observation_digest":"sha256:7594d52574da1f2a807b9609b4445045e6241fa83cdb191303b05eb242b0aa27","observation_id":"0ac21af9-42bb-4318-b6e2-3946858e5435","resolution":{"observed_at":"2026-07-13T12:10:53.720348Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":"2305.12524","doi":"10.48550/arxiv.2305.12524","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Theoremqa: A theorem-driven question answering dataset","venue":"arXiv (Cornell University)","work_id":"bb515935-6766-42af-8c2e-5e99927854b4","year":2023},"citing_paper":{"arxiv_id":"2604.12610","last_updated":"2026-04-14T11:36:29Z","snapshot_observed_at":"2026-08-02T05:17:11.221332Z","submitted_at":"2026-04-14T11:36:29Z","title":"Transforming External Knowledge into Triplets for Enhanced Retrieval in RAG of LLMs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T15:42:59.063869Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2604.12610"},"observation_digest":"sha256:8b44b66877911ba47afa68dbe0f7dc9feae9e50c5a38d5f4f959caeab20b3117","observation_id":"e4e1e23c-db95-414c-a114-ae0def66b3db","resolution":{"observed_at":"2026-05-11T09:56:05.518220Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":"2305.12524","doi":"10.48550/arxiv.2305.12524","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Theoremqa: A theorem-driven question answering dataset","venue":"arXiv (Cornell University)","work_id":"bb515935-6766-42af-8c2e-5e99927854b4","year":2023},"citing_paper":{"arxiv_id":"2604.20659","last_updated":"2026-04-22T15:08:58Z","snapshot_observed_at":"2026-08-08T18:41:30.145626Z","submitted_at":"2026-04-22T15:08:58Z","title":"GRPO-VPS: Enhancing Group Relative Policy Optimization with Verifiable Process Supervision for Effective Reasoning","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T00:14:29.531510Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2604.20659"},"observation_digest":"sha256:1bbb3789ac8cd08d0c1a3f65a1e56457066c0f37d4c56d646d6e34e96c3e6bd6","observation_id":"0d0eb227-86e3-4549-a74b-8c292997a0ab","resolution":{"observed_at":"2026-05-10T00:14:46.361796Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":"2305.12524","doi":"10.48550/arxiv.2305.12524","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Theoremqa: A theorem-driven question answering dataset","venue":"arXiv (Cornell University)","work_id":"bb515935-6766-42af-8c2e-5e99927854b4","year":2023},"citing_paper":{"arxiv_id":"2605.08904","last_updated":"2026-05-09T11:51:34Z","snapshot_observed_at":"2026-07-06T23:21:02.177557Z","submitted_at":"2026-05-09T11:51:34Z","title":"OPT-BENCH: Evaluating the Iterative Self-Optimization of LLM Agents in Large-Scale Search Spaces","version":1},"reference_index":83,"source":"arxiv_source","source_observed_at":"2026-05-12T02:57:15.521594Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2605.08904"},"observation_digest":"sha256:a08275a60041858679557612f768be8b89ad1edb5391fc5e1d3c189335d79fc0","observation_id":"9023fc29-e263-4504-b6c1-533bad79485e","resolution":{"observed_at":"2026-05-12T03:01:18.568730Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":"2305.12524","doi":"10.48550/arxiv.2305.12524","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Theoremqa: A theorem-driven question answering dataset","venue":"arXiv (Cornell University)","work_id":"bb515935-6766-42af-8c2e-5e99927854b4","year":2023},"citing_paper":{"arxiv_id":"2605.09012","last_updated":"2026-05-09T15:52:49Z","snapshot_observed_at":"2026-07-06T23:21:11.475005Z","submitted_at":"2026-05-09T15:52:49Z","title":"Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-12T02:07:39.648269Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2605.09012"},"observation_digest":"sha256:1d456d2e960fdb9ce42db96a557c97e7c64800dc99e743777ef8f8f273d11e16","observation_id":"c8ce4cd7-db9d-439b-940a-9042190d010f","resolution":{"observed_at":"2026-05-12T02:11:16.053978Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":"2305.12524","doi":"10.48550/arxiv.2305.12524","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Theoremqa: A theorem-driven question answering dataset","venue":"arXiv (Cornell University)","work_id":"bb515935-6766-42af-8c2e-5e99927854b4","year":2023},"citing_paper":{"arxiv_id":"2605.13330","last_updated":"2026-05-13T10:45:42Z","snapshot_observed_at":"2026-08-03T21:21:38.766409Z","submitted_at":"2026-05-13T10:45:42Z","title":"FIND: Toward Multimodal Financial Reasoning and Question Answering for Indic Languages","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-14T20:24:46.503457Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2605.13330"},"observation_digest":"sha256:f02ca5528abf1bc9d2630361448c0995b92d4b2e7d96d21b7a747e271bc4a242","observation_id":"92230905-ca36-4c93-b155-946231accca7","resolution":{"observed_at":"2026-05-14T20:42:58.871798Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":"2305.12524","doi":"10.48550/arxiv.2305.12524","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Theoremqa: A theorem-driven question answering dataset","venue":"arXiv (Cornell University)","work_id":"bb515935-6766-42af-8c2e-5e99927854b4","year":2023},"citing_paper":{"arxiv_id":"2605.31455","last_updated":"2026-05-29T15:49:13Z","snapshot_observed_at":"2026-08-06T06:42:59.945235Z","submitted_at":"2026-05-29T15:49:13Z","title":"DRIFT: Decoupled Rollouts and Importance-Weighted Fine-Tuning for Efficient Multi-Turn Optimization","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-28T23:16:49.358792Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2605.31455"},"observation_digest":"sha256:30f4a49c3de61a6ef66d4642b910af404c705f799b6de6db1ab3ff432a7c4f1f","observation_id":"4abd39e9-1b89-4c49-95e0-aafdeeff64b6","resolution":{"observed_at":"2026-06-29T00:02:50.300057Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":"2305.12524","doi":"10.48550/arxiv.2305.12524","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Theoremqa: A theorem-driven question answering dataset","venue":"arXiv (Cornell University)","work_id":"bb515935-6766-42af-8c2e-5e99927854b4","year":2023},"citing_paper":{"arxiv_id":"2606.11182","last_updated":"2026-06-09T17:57:16Z","snapshot_observed_at":"2026-08-05T01:27:29.248920Z","submitted_at":"2026-06-09T17:57:16Z","title":"EEVEE: Towards Test-time Prompt Learning in the Real World for Self-Improving Agents","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-27T13:34:32.750618Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2606.11182"},"observation_digest":"sha256:ff53d767a49ac24f33b6079515026dbd7f98c71327be47cc2b44ecd318b3629b","observation_id":"e27ac166-aa33-4c50-a297-6849f3dd9cca","resolution":{"observed_at":"2026-07-03T04:47:38.824816Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12524","snapshot_observed_at":"2026-07-14T12:08:05.502310Z","title":"arXiv preprint arXiv:2305.12524 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.10386","last_updated":"2026-07-11T16:29:51Z","snapshot_observed_at":"2026-08-09T21:55:27.858700Z","submitted_at":"2026-07-11T16:29:51Z","title":"Structured Thoughts For Improved Reasoning And Context Pruning","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-07-14T12:08:05.502310Z"},"links":{"cited_paper":"/paper/2305.12524","citing_paper":"/paper/2607.10386"},"observation_digest":"sha256:b08b4f2d02a41d9501a8a0116c5f40eb00c431b6035901b83acf01cbee3e2c09","observation_id":"b03d169c-a3c8-4fdc-b97e-0aa2679f2167","resolution":{"observed_at":"2026-07-14T12:08:05.502310Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2305.12524/citation-record","integrity":"/paper/2305.12524/integrity","json":"/paper/2305.12524/citation-record.json","paper":"/paper/2305.12524"},"outbound":[],"paper":{"arxiv_id":"2305.12524","last_updated":"2023-12-06T03:02:45Z","latest_version":3,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-09T22:04:41.811623Z","submitted_at":"2023-05-21T17:51:35Z","title":"TheoremQA: A Theorem-driven Question Answering dataset"},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 22 inbound Pith citation observations for arXiv:2305.12524."}