{"as_of":"2026-08-19T07:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bf8bc52f40effce3cde614fe26d3f88da73920a5db31bb2f20a3af12d206dfa0","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T14:55:35.492836Z","state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T20:50:31.901768Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.14705","snapshot_observed_at":"2026-08-03T20:50:31.901768Z","title":"[ES04] Niklas E´ en and Niklas S¨ orensson","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2511.18639","last_updated":"2026-06-29T07:34:53Z","snapshot_observed_at":"2026-08-18T04:27:43.519960Z","submitted_at":"2025-11-23T22:34:35Z","title":"A SAT-based Approach for Specification, Analysis, and Justification of Reductions between NP-complete Problems","version":2},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-03T20:50:31.901768Z"},"links":{"cited_paper":"/paper/2501.14705","citing_paper":"/paper/2511.18639"},"observation_digest":"sha256:209eb64eadb5e773b7dd8344ec7ac93e32aeb8914e319e6e8ed655450cf18e08","observation_id":"505d3e93-9dc2-4f1a-9488-404454c91119","resolution":{"observed_at":"2026-08-03T20:50:31.901768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2501.14705/citation-record","integrity":"/paper/2501.14705/integrity","json":"/paper/2501.14705/citation-record.json","paper":"/paper/2501.14705"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-17T09:58:46.058102Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-10T14:55:35.348849Z","title":"Gpt-4 technical report","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.348849Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:55950b35b686f18148399109814ecc26ef7448254274368eff686f01097c31c3","observation_id":"829da86f-8ff4-44c3-8f39-8d35079f02df","resolution":{"observed_at":"2026-08-10T14:55:35.348849Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.354303Z","title":"Np-hardness of euclidean sum-of-squares clustering","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.354303Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:b30e0997e59c5c35d6af7c4801b3aebfa0200a2650de2601f208c1351f0fb9ab","observation_id":"634cd201-08cf-49ea-aa1a-14cf7b96e795","resolution":{"observed_at":"2026-08-10T14:55:35.354303Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1905.13319","last_updated":"2019-05-30T21:28:12Z","snapshot_observed_at":"2026-08-16T02:16:32.508169Z","submitted_at":"2019-05-30T21:28:12Z","title":"MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1905.13319","snapshot_observed_at":"2026-08-10T14:55:35.358982Z","title":"Mathqa: Towards interpretable math word problem solving with operation-based formalisms","venue":null,"work_id":null,"year":1905},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.358982Z"},"links":{"cited_paper":"/paper/1905.13319","citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:3d7ca3504a7b138e706a538ee25b0fa2d1152d1d4576ef876a5489f4c3a37879","observation_id":"f061b69d-5db7-4931-9b86-23d93a5781d1","resolution":{"observed_at":"2026-08-10T14:55:35.358982Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.977580Z","title":"Proof verification and the hardness of approximation problems","venue":null,"work_id":"d64e9f9e-68d1-4bfb-90a3-a5f14a3a3118","year":1998},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.364659Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:c73337928bab7657b2b6f5739214e3d52f892b4059546a6a9c04db0765a819cd","observation_id":"8470c591-cb03-4582-8bda-8ebd2bdcc7c6","resolution":{"observed_at":"2026-08-10T14:55:35.982862Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.960601Z","title":"Complexity and approximation: Combinatorial optimization problems and their approximability properties","venue":null,"work_id":"13a6967d-ce6f-44d3-b482-5d4a9a50b619","year":2012},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.369386Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:cd01e8bff33a66788ae4d0d8afdb37da59e1e60553dcda52df389efc2a9293b7","observation_id":"9319c6a2-ecff-40fb-b821-bbe4d7ebaa79","resolution":{"observed_at":"2026-08-10T14:55:35.965934Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.10631","last_updated":"2024-03-15T19:14:39Z","snapshot_observed_at":"2026-08-16T13:51:18.629241Z","submitted_at":"2023-10-16T17:54:07Z","title":"Llemma: An Open Language Model For Mathematics","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.10631","snapshot_observed_at":"2026-08-10T14:55:35.374062Z","title":"Llemma: An open language model for mathematics.(2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.374062Z"},"links":{"cited_paper":"/paper/2310.10631","citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:d6e4e63ce497dc359da217bf74d1264d5f4f9b6184e1090a32fbdb0c1ebe07f3","observation_id":"5b7a98c9-0a12-4b27-be54-14f5fea4f919","resolution":{"observed_at":"2026-08-10T14:55:35.374062Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.945201Z","title":"Proving theorems with computers","venue":null,"work_id":"7dba3fe6-c4f9-4929-8adc-18c937a12a11","year":2020},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.379640Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:6b3597b57c94658bef1753f6f32bd5734a5185d6dda91890807f14ebb58cb1b2","observation_id":"003bfa6b-22a5-4483-a6f9-ec21cdf110c8","resolution":{"observed_at":"2026-08-10T14:55:35.949955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.929701Z","title":"Induced matchings","venue":null,"work_id":"4263dd7e-38a7-44b0-a6df-f43bc5421510","year":1989},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.384454Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:0cb2c1a2a4a37b89ddba5c84ca1dbef6d8b613814d184f2a1ea8f856749ac1f7","observation_id":"216ac862-bec7-47ea-b7f4-b0ef9a6c84f4","resolution":{"observed_at":"2026-08-10T14:55:35.934521Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-14T02:43:01.480086Z","submitted_at":"2021-10-27T04:49:45Z","title":"Training Verifiers to Solve Math Word Problems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.14168","snapshot_observed_at":"2026-08-10T14:55:35.388863Z","title":"Training verifiers to solve math word problems, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.388863Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:bd87d2a489e7f7927958ab2a7dea14ba160f00f7f652cc3e8967c1b65713e0ab","observation_id":"c29ec0ae-0586-4bdc-85c7-291c363a47a6","resolution":{"observed_at":"2026-08-10T14:55:35.388863Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.913960Z","title":"Automatic evaluation of reductions between np-complete problems","venue":null,"work_id":"4b5c43de-0016-42eb-b9c8-66854b17adc0","year":2014},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.393426Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:c5b006412e3891a6528daf36e610a8a72f3a366396703ed4aa41d88b50514281","observation_id":"3ec9e37c-edd2-46c8-b481-69c4ec779e5f","resolution":{"observed_at":"2026-08-10T14:55:35.918758Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.898705Z","title":"Algorithms","venue":null,"work_id":"d79cc641-748d-4971-975f-a196e07cfb04","year":2006},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.397851Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:0ed7b948b84c6a0cdb39fcd4d66b49ee24ba426177ccead9fd2004a9f803e9e7","observation_id":"d83198c8-7f2a-496f-8b0a-ea76831dcf60","resolution":{"observed_at":"2026-08-10T14:55:35.903556Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.402484Z","title":"Qlora: Efficient finetuning of quantized llms","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.402484Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:ff45b5be20f32b935ef818f846bfa92c7834e3e81a9bd644255eb8773e43c1c8","observation_id":"e7dfdec7-47bd-42f3-99f4-b19866509ba2","resolution":{"observed_at":"2026-08-10T14:55:35.402484Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.871931Z","title":"The pcp theorem by gap amplification","venue":null,"work_id":"dfb0c1c3-41c5-4e66-b339-d41e2a021c3b","year":2007},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.406966Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:12d4f95c490164f6ac4a13fa9f83899e939665e6b7f414b3da24d23a6f60dd75","observation_id":"cafba56d-ac92-4211-b585-2221cfb0e570","resolution":{"observed_at":"2026-08-10T14:55:35.877274Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.855515Z","title":"Interactive proofs and the hardness of approximating cliques","venue":null,"work_id":"29ee14a3-bb63-498f-baad-476af9fe4d04","year":1996},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.411517Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:707fdac8fb11c0c6c082f66ce809b5e8e48a517355b8aabda2796cc932963c36","observation_id":"476683c2-5838-41bd-a6ef-2d25887efe96","resolution":{"observed_at":"2026-08-10T14:55:35.860514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.840211Z","title":"On the parameterized complexity of cutting a few vertices from a graph","venue":null,"work_id":"7d159152-22e1-4666-a0ab-0422cacf23d9","year":2013},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.416070Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:9db35f5a8e37915e53d66dcef67cab1ed70e80245cecd5076fa82cdb4f2fd3ee","observation_id":"14755e54-9ce5-401c-9321-ee8d59d7d6c3","resolution":{"observed_at":"2026-08-10T14:55:35.845132Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.825501Z","title":"Computers and intractability, volume 174","venue":null,"work_id":"f40c4780-7a68-4942-a7ac-4fb17a863888","year":1979},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.420776Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:b2e4f9bde0c6b3b91a374695c9cae5331739ec09643045b3ab81921b4bf7bd43","observation_id":"484c0cfc-4935-44ca-8d61-dcd1be748868","resolution":{"observed_at":"2026-08-10T14:55:35.830190Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.810463Z","title":"Some simplified np-complete problems","venue":null,"work_id":"c4b25218-6ecb-481b-bc12-f3a7ed2cdaa3","year":1974},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.425294Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:27c2f65ccc41905bfcb9ab38fc4b70684483cd048edea0121a9151410570489f","observation_id":"3e5561b0-13d7-43f2-b980-62ebf6a8694f","resolution":{"observed_at":"2026-08-10T14:55:35.815190Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.794787Z","title":"Some np-complete geometric problems","venue":null,"work_id":"e5f3f240-9022-4df9-b136-bebece76aa9d","year":1976},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.430008Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:cb322de9f1c7fb3f90339b9ae3364893301fa8cb85a242f343e4e62eb128becb","observation_id":"cea40604-ce14-49de-a9c8-b8fa9a88acef","resolution":{"observed_at":"2026-08-10T14:55:35.799746Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2009.03300","last_updated":"2021-01-12T18:57:11Z","snapshot_observed_at":"2026-08-13T20:44:28.824685Z","submitted_at":"2020-09-07T17:59:25Z","title":"Measuring Massive Multitask Language Understanding","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.03300","snapshot_observed_at":"2026-08-10T14:55:35.434665Z","title":"Measuring massive multitask language understanding","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.434665Z"},"links":{"cited_paper":"/paper/2009.03300","citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:3819604a81b63e3107ff5d70b5cf39b82648650c9e3d2aa16dcd3c1d64047b14","observation_id":"962d8596-0464-41ea-8506-40fa9451586c","resolution":{"observed_at":"2026-08-10T14:55:35.434665Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.03874","last_updated":"2021-11-08T21:30:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-03-05T18:59:39Z","title":"Measuring Mathematical Problem Solving With the MATH Dataset","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.03874","snapshot_observed_at":"2026-08-10T14:55:35.439993Z","title":"Measuring mathematical problem solving with the math dataset","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.439993Z"},"links":{"cited_paper":"/paper/2103.03874","citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:cc7a1dd39d4ef9af52467292d97bfec0ae3c11e6848d8aa636bd2c6edbca0bc5","observation_id":"b67fa884-a224-4552-9a6b-274e89e9eaba","resolution":{"observed_at":"2026-08-10T14:55:35.439993Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.445459Z","title":"Reducibility among combinatorial problems","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.445459Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:d10fdff8350749a162721f75bc7a882facbb44992c87ae3343fb44c582d0c940","observation_id":"15572fb2-a6d6-4e95-8ba2-d759c431433c","resolution":{"observed_at":"2026-08-10T14:55:35.445459Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.11491","last_updated":"2022-05-23T17:49:55Z","snapshot_observed_at":"2026-08-17T02:06:20.138098Z","submitted_at":"2022-05-23T17:49:55Z","title":"HyperTree Proof Search for Neural Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.11491","snapshot_observed_at":"2026-08-10T14:55:35.450210Z","title":"Hypertree proof search for neural theorem proving","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.450210Z"},"links":{"cited_paper":"/paper/2205.11491","citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:70f8199b641f8d35799c35fa45cad067d1138093dc4f60719c619d3250457a90","observation_id":"696a899f-ad82-4e0d-9537-b8ff13e41766","resolution":{"observed_at":"2026-08-10T14:55:35.450210Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1711.05101","last_updated":"2019-01-04T21:01:49Z","snapshot_observed_at":"2026-08-14T20:13:52.872565Z","submitted_at":"2017-11-14T14:24:06Z","title":"Decoupled Weight Decay Regularization","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1711.05101","snapshot_observed_at":"2026-08-10T14:55:35.455560Z","title":"Decoupled weight decay regularization","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.455560Z"},"links":{"cited_paper":"/paper/1711.05101","citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:5a0bf5d727f17bbaf081751662fd911c4784e1f7ab121cd5875b764fa1bd1351","observation_id":"f924f917-8f99-4f31-88f2-427a582b22a1","resolution":{"observed_at":"2026-08-10T14:55:35.455560Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.769056Z","title":"Computational complexity","venue":null,"work_id":"6ceaba7f-c9bd-4586-846c-a644339923b8","year":1994},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.459968Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:d2ea952031d10978f0fc787aa4abba6141775e3bb6f12509ff7ee7288c68b17b","observation_id":"263d08d3-46f9-41b7-b032-1ebb95742d5f","resolution":{"observed_at":"2026-08-10T14:55:35.773932Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2202.01344","last_updated":"2022-02-03T00:17:00Z","snapshot_observed_at":"2026-08-18T15:11:03.601000Z","submitted_at":"2022-02-03T00:17:00Z","title":"Formal Mathematics Statement Curriculum Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.01344","snapshot_observed_at":"2026-08-10T14:55:35.464689Z","title":"Formal mathematics statement curriculum learning","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.464689Z"},"links":{"cited_paper":"/paper/2202.01344","citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:d27c915a0107bf6d8d8252d9aebc8489ab027f7adbf36635febdf21bfa63c3e5","observation_id":"1f0d19df-7035-4e95-adb6-926b8a6326d3","resolution":{"observed_at":"2026-08-10T14:55:35.464689Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.03057","last_updated":"2022-10-06T17:03:34Z","snapshot_observed_at":"2026-07-06T14:00:37.875054Z","submitted_at":"2022-10-06T17:03:34Z","title":"Language Models are Multilingual Chain-of-Thought Reasoners","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.03057","snapshot_observed_at":"2026-08-10T14:55:35.469708Z","title":"Language models are multilingual chain-of-thought reasoners","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.469708Z"},"links":{"cited_paper":"/paper/2210.03057","citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:5353714215af677377f84822290cb20185f412d7a0c311974b3622052a58edd8","observation_id":"f160b418-9534-4743-a593-1eaf8195b7e0","resolution":{"observed_at":"2026-08-10T14:55:35.469708Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.752953Z","title":"A promising path towards autoformalization and general artificial intelligence","venue":null,"work_id":"634879c1-0830-400e-bc0b-c76e9ab4d410","year":2020},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.474572Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:7a4d7aa6962de59933ed322d0c110f1a6034be3a2bae9ceecdf0b251b7f3bddc","observation_id":"62cd3022-132f-4a2e-a332-8a467ff59086","resolution":{"observed_at":"2026-08-10T14:55:35.757919Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2012.13048","last_updated":"2021-06-03T19:15:08Z","snapshot_observed_at":"2026-08-16T18:56:15.812056Z","submitted_at":"2020-12-24T00:55:46Z","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2012.13048","snapshot_observed_at":"2026-08-10T14:55:35.479192Z","title":"Proofwriter: Generating implications, proofs, and abductive statements over natural language","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.479192Z"},"links":{"cited_paper":"/paper/2012.13048","citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:70622c752e980be49828ecae9860f67d487a24c95b69b8b4c12bdff396177c2a","observation_id":"7051c2c7-8365-4f6c-8c1d-a0770abf7d8a","resolution":{"observed_at":"2026-08-10T14:55:35.479192Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.13971","last_updated":"2023-02-27T17:11:15Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-02-27T17:11:15Z","title":"LLaMA: Open and Efficient Foundation Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.13971","snapshot_observed_at":"2026-08-10T14:55:35.483701Z","title":"Llama: Open and efficient foundation language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.483701Z"},"links":{"cited_paper":"/paper/2302.13971","citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:66eb2def40f91624643d72d1686f62898d4b29f6fdb6e990293ed03f98796033","observation_id":"03e08029-d541-45f3-8140-3c07af404cd8","resolution":{"observed_at":"2026-08-10T14:55:35.483701Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.736735Z","title":"The clrs algorithmic reasoning benchmark","venue":null,"work_id":"a1fffa78-3737-46c9-8870-0d8eb8a8346b","year":2022},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.488463Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:5cbf2cb98c9bbcdf82d5002e7adeed1178cc5e3c96d8b131d7a4120a0ae12a90","observation_id":"3b316a3d-ffd0-4d02-9af9-788e2ae63d8f","resolution":{"observed_at":"2026-08-10T14:55:35.742545Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T14:55:35.718686Z","title":"Karp: a language for np reductions","venue":null,"work_id":"5afae980-6da8-4bb6-8811-a3b4e35ec6b9","year":2022},"citing_paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-10T14:55:35.492836Z"},"links":{"citing_paper":"/paper/2501.14705"},"observation_digest":"sha256:dd9eb4c9e18c17230a616bef05cb63b406cc8ebbbaa36c5aaa1384d80d20d62a","observation_id":"c3e43c61-91b8-48cd-9c74-fe60607401d9","resolution":{"observed_at":"2026-08-10T14:55:35.724834Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.14705","last_updated":"2025-01-24T18:30:19Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-16T02:18:02.647553Z","submitted_at":"2025-01-24T18:30:19Z","title":"The Karp Dataset"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":15,"verified_exact":0,"verified_fuzzy":16},"total_outbound_references":31},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 1 inbound Pith citation observation for arXiv:2501.14705."}