{"as_of":"2026-08-08T02:30:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4fc615fe716d13286aa1bd29e78917b204b12b06e80aae8c590f24e73f5f4406","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":21,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":21,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":21,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":21,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:22:24.562397Z","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-07-06T15:30:18.137347Z","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:30f081fca685e4548c3d55cf7050779e01c2b0100207e885cf4e9f425bab56e1","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T15:30:18.137347Z","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:d6c84d7dac706970c090cb347f7ee776f776e1180caf2fb23257bc3a8eccb746","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T15:30:18.137347Z","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-07T12:10:52.463962Z","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:45b28e25023c47bf3054cf9283b53c800261f5b2b698ad3ff4eba7131efa555f","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-07-06T15:30:18.137347Z","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-08T00:05:09.574699Z","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:5439a4a4c3fe5fc2066a7815381f78097fbe557b666276d1bb7eda41c2003e86","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-07-06T15:30:18.137347Z","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-07T12:18:28.218519Z","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:fff5f820089eb61889dfceb0266c7186a57da4b99cf67c940b2c7f1306686350","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-07-06T15:30:18.137347Z","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:18916fb6c8830223f1df48c55024259f434ad2dd7c31b6da4154c4812f0d5697","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-07-06T15:30:18.137347Z","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:798000322d866afe94d0e525a03809f89231f08f949e50cd6ca2c4e1513edd4b","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-07-06T15:30:18.137347Z","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:02447efbb71c927557453536fc01e2eb089633ab1fe5181f4d2a78b9add6cccd","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-07-06T15:30:18.137347Z","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:e2820c316eb7727cc1c7d633e985156a0938bb774710d4663eafe047971dbda7","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-07-06T15:30:18.137347Z","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:e521ad66e99e0eccd4bb486242493f6f77b22847744ffeb3ec74cbc07159f335","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-07-06T15:30:18.137347Z","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-03T23:07:21.999364Z","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:e384571c065a6d3fc96ec5a884613f4c7659668c2174a516e0ccfa016f69f7d5","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-07-06T15:30:18.137347Z","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:f5becb2dd8e19232cbc5db7f068444672af28227937f88bf78172d7c4f450112","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T15:30:18.137347Z","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:9e36e9b75de2022c53394fffca79ad6fc120b122257993044bbe2117b1f6f305","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-07-06T15:30:18.137347Z","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:2a62c6e0994582367fcb999115d95e3bd292322deb727f5dd45499d183f431d1","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T15:30:18.137347Z","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-07-06T23:07:14.243878Z","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:00dbcdac7f1a74171c9abf56b32723f87bc41b164142744f4efcbd67befa3752","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T15:30:18.137347Z","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:22d2e8fe75356dc0a2045682d426ca5af6741136ba55ad9c7c93852e0bea2f26","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T15:30:18.137347Z","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:87b9e7098f4e08035c15fa35948331585921dfdab8f4dfe8a7da62c2f49be618","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T15:30:18.137347Z","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:b79692c338f5dd1806bb75e15663ea5b195274cc2bf16f00aab5a3c28e1ec983","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T15:30:18.137347Z","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:bf58ec90183ee89c7959cb46282befcd21e95230cc2ca11a8c79954bfe89941c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T15:30:18.137347Z","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:51a658d32d03caa6ff91889d59c571e8b29e284413956bb9af08cdc48255a1e8","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T15:30:18.137347Z","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-03T03:24:52.663992Z","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:e2aa5fc3066c553fcfae7ffc8d828b5ffbc327d027e84576fb43e619f67db031","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-07-06T15:30:18.137347Z","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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 21 inbound Pith citation observations for arXiv:2305.12524."}