Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T14:55:35.492836Z
Paper Citation Record · LEDGER
The Karp Dataset
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-03T20:50:31.901768Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
31 of 31 outbound references displayed
- verified exact0
- verified fuzzy16
- unresolved15
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 829da86f-8ff4-44c3-8f39-8d35079f02df · outbound
This paper cites GPT-4 Technical Report.
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.348849Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 634cd201-08cf-49ea-aa1a-14cf7b96e795 · outbound
This paper cites Np-hardness of euclidean sum-of-squares clustering.
The Karp Dataset Np-hardness of euclidean sum-of-squares clustering
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.354303Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f061b69d-5db7-4931-9b86-23d93a5781d1 · outbound
This paper cites MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms.
The Karp Dataset MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.358982Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8470c591-cb03-4582-8bda-8ebd2bdcc7c6 · outbound
This paper cites Proof verification and the hardness of approximation problems.
The Karp Dataset Proof verification and the hardness of approximation problems
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.982862Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9319c6a2-ecff-40fb-b821-bbe4d7ebaa79 · outbound
This paper cites Complexity and approximation: Combinatorial optimization problems and their approximability properties.
The Karp Dataset Complexity and approximation: Combinatorial optimization problems and their approximability properties
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.965934Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5b7a98c9-0a12-4b27-be54-14f5fea4f919 · outbound
This paper cites Llemma: An Open Language Model For Mathematics.
The Karp Dataset Llemma: An Open Language Model For Mathematics
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.374062Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 003bfa6b-22a5-4483-a6f9-ec21cdf110c8 · outbound
This paper cites Proving theorems with computers.
The Karp Dataset Proving theorems with computers
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.949955Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 216ac862-bec7-47ea-b7f4-b0ef9a6c84f4 · outbound
This paper cites Induced matchings.
The Karp Dataset Induced matchings
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.934521Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c29ec0ae-0586-4bdc-85c7-291c363a47a6 · outbound
This paper cites Training Verifiers to Solve Math Word Problems.
The Karp Dataset Training Verifiers to Solve Math Word Problems
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.388863Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3ec9e37c-edd2-46c8-b481-69c4ec779e5f · outbound
This paper cites Automatic evaluation of reductions between np-complete problems.
The Karp Dataset Automatic evaluation of reductions between np-complete problems
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.918758Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d83198c8-7f2a-496f-8b0a-ea76831dcf60 · outbound
This paper cites Algorithms.
The Karp Dataset Algorithms
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.903556Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e7dfdec7-47bd-42f3-99f4-b19866509ba2 · outbound
This paper cites Qlora: Efficient finetuning of quantized llms.
The Karp Dataset Qlora: Efficient finetuning of quantized llms
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.402484Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cafba56d-ac92-4211-b585-2221cfb0e570 · outbound
This paper cites The pcp theorem by gap amplification.
The Karp Dataset The pcp theorem by gap amplification
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.877274Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 476683c2-5838-41bd-a6ef-2d25887efe96 · outbound
This paper cites Interactive proofs and the hardness of approximating cliques.
The Karp Dataset Interactive proofs and the hardness of approximating cliques
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.860514Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 14755e54-9ce5-401c-9321-ee8d59d7d6c3 · outbound
This paper cites On the parameterized complexity of cutting a few vertices from a graph.
The Karp Dataset On the parameterized complexity of cutting a few vertices from a graph
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.845132Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 484c0cfc-4935-44ca-8d61-dcd1be748868 · outbound
This paper cites Computers and intractability, volume 174.
The Karp Dataset Computers and intractability, volume 174
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.830190Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3e5561b0-13d7-43f2-b980-62ebf6a8694f · outbound
This paper cites Some simplified np-complete problems.
The Karp Dataset Some simplified np-complete problems
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.815190Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation cea40604-ce14-49de-a9c8-b8fa9a88acef · outbound
This paper cites Some np-complete geometric problems.
The Karp Dataset Some np-complete geometric problems
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.799746Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 962d8596-0464-41ea-8506-40fa9451586c · outbound
This paper cites Measuring Massive Multitask Language Understanding.
The Karp Dataset Measuring Massive Multitask Language Understanding
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.434665Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b67fa884-a224-4552-9a6b-274e89e9eaba · outbound
This paper cites Measuring Mathematical Problem Solving With the MATH Dataset.
The Karp Dataset Measuring Mathematical Problem Solving With the MATH Dataset
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.439993Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 15572fb2-a6d6-4e95-8ba2-d759c431433c · outbound
This paper cites Reducibility among combinatorial problems.
The Karp Dataset Reducibility among combinatorial problems
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.445459Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 696a899f-ad82-4e0d-9537-b8ff13e41766 · outbound
This paper cites HyperTree Proof Search for Neural Theorem Proving.
The Karp Dataset HyperTree Proof Search for Neural Theorem Proving
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.450210Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f924f917-8f99-4f31-88f2-427a582b22a1 · outbound
This paper cites Decoupled Weight Decay Regularization.
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.455560Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 263d08d3-46f9-41b7-b032-1ebb95742d5f · outbound
This paper cites Computational complexity.
The Karp Dataset Computational complexity
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.773932Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1f0d19df-7035-4e95-adb6-926b8a6326d3 · outbound
This paper cites Formal Mathematics Statement Curriculum Learning.
The Karp Dataset Formal Mathematics Statement Curriculum Learning
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.464689Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f160b418-9534-4743-a593-1eaf8195b7e0 · outbound
This paper cites Language Models are Multilingual Chain-of-Thought Reasoners.
The Karp Dataset Language Models are Multilingual Chain-of-Thought Reasoners
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.469708Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 62cd3022-132f-4a2e-a332-8a467ff59086 · outbound
This paper cites A promising path towards autoformalization and general artificial intelligence.
The Karp Dataset A promising path towards autoformalization and general artificial intelligence
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.757919Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 7051c2c7-8365-4f6c-8c1d-a0770abf7d8a · outbound
This paper cites ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language.
The Karp Dataset ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.479192Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 03e08029-d541-45f3-8140-3c07af404cd8 · outbound
This paper cites LLaMA: Open and Efficient Foundation Language Models.
The Karp Dataset LLaMA: Open and Efficient Foundation Language Models
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T14:55:35.483701Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3b316a3d-ffd0-4d02-9af9-788e2ae63d8f · outbound
This paper cites The clrs algorithmic reasoning benchmark.
The Karp Dataset The clrs algorithmic reasoning benchmark
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.742545Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation c3e43c61-91b8-48cd-9c74-fe60607401d9 · outbound
This paper cites Karp: a language for np reductions.
The Karp Dataset Karp: a language for np reductions
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T14:55:35.724834Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Pith citing papers
Observation 505d3e93-9dc2-4f1a-9488-404454c91119 · inbound
A SAT-based Approach for Specification, Analysis, and Justification of Reductions between NP-complete Problems cites this paper.
A SAT-based Approach for Specification, Analysis, and Justification of Reductions between NP-complete Problems The Karp Dataset
Reference 2025
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T20:50:31.901768Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.