Paper Citation Record · LEDGER

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees

As of 10 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 0 inbound Pith citation observations for arXiv:2607.14545.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.14545 v1

Coverage vector

measured 46 of 46 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T01:58:00.703704Z

measured 46 of 46 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

46 of 46 outbound references displayed

verified exact0
verified fuzzy0
unresolved46
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 84871680-e607-4ea7-850a-98a5b0d54fcc · outbound

This paper cites Improved Approximations for Hard Graph Problems using Predictions.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Improved Approximations for Hard Graph Problems using Predictions

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:54.641353Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbd9d8c2-063d-4d04-8b15-a6c35253f044 · outbound

This paper cites Presolve reductions in mixed integer programming.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Presolve reductions in mixed integer programming

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:54.742334Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e2c6735-a39b-4c16-8ab2-9ff2343bab3a · outbound

This paper cites Approximation algorithms for combinatorial optimization with predictions.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Approximation algorithms for combinatorial optimization with predictions

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:54.869594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5f89c91-ae2c-43d2-8375-bcee3ee21d29 · outbound

This paper cites Data-driven Algorithm Design.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Data-driven Algorithm Design

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:54.967235Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 530351cf-c3fe-4e21-aa80-1d647ba36008 · outbound

This paper cites Learning to branch.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Learning to branch

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:55.089808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0a72458-85d4-4a76-879d-dd48c37512e4 · outbound

This paper cites How much data is sufficient to learn high-performing algorithms? Journal of the ACM, 71 0 (5): 0 1--58, 2024.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees How much data is sufficient to learn high-performing algorithms? Journal of the ACM, 71 0 (5): 0 1--58, 2024

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:55.203247Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03034e74-17ab-4283-b9ab-f7b202e69921 · outbound

This paper cites The primal-dual method for learning augmented algorithms.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees The primal-dual method for learning augmented algorithms

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:55.377570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b18f44ed-6c9e-49e6-846a-bd41667c8c3d · outbound

This paper cites Polynomial Time Learning-Augmented Algorithms for NP-hard Permutation Problems.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Polynomial Time Learning-Augmented Algorithms for NP-hard Permutation Problems

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:55.546368Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d02c1a4-6133-41f2-85f7-438e2cd752ee · outbound

This paper cites Machine learning for combinatorial optimization: a methodological tour d’horizon.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Machine learning for combinatorial optimization: a methodological tour d’horizon

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:55.719159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1a99933-813d-491e-88fc-73b812789ed8 · outbound

This paper cites warm start.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees warm start

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:55.901209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d776add-9288-46ef-9aee-6f417df0f074 · outbound

This paper cites Combinatorial optimization and reasoning with graph neural networks.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Combinatorial optimization and reasoning with graph neural networks

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:56.067501Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf7e6b70-e01d-4b74-9cb2-01df93d94f3e · outbound

This paper cites Sample complexity of algorithm selection using neural networks and its applications to branch-and-cut.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Sample complexity of algorithm selection using neural networks and its applications to branch-and-cut

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:56.263124Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5946109a-a55a-4324-baec-c0b461eb57c0 · outbound

This paper cites A greedy heuristic for the set-covering problem.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees A greedy heuristic for the set-covering problem

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:56.413352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d54b3dd-037b-47e3-a8bb-1203e1882c94 · outbound

This paper cites Max-Cut with $\epsilon$-Accurate Predictions.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Max-Cut with $\epsilon$-Accurate Predictions

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:56.652293Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a9c90e8-5d86-4840-9ab0-4e10f496cbf0 · outbound

This paper cites Parameterized Algorithms.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Parameterized Algorithms

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:56.806287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4acaad90-766b-4bb8-82fd-228cc8765c2c · outbound

This paper cites Faster matchings via learned duals.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Faster matchings via learned duals

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:56.986304Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86259ed0-a499-4781-8908-1d0ccfb9a8eb · outbound

This paper cites Algorithms with prediction portfolios.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Algorithms with prediction portfolios

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:57.125995Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4a81ebc-e568-46e0-b057-f7c80b415221 · outbound

This paper cites Analytical approach to parallel repetition.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Analytical approach to parallel repetition

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:57.263803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2ab9f43-e80c-4930-bdcc-c55d45b7998e · outbound

This paper cites Reduction tests for the steiner problem in grapsh.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Reduction tests for the steiner problem in grapsh

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:57.363238Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de555cab-b715-4485-aaad-e9e717c49ac3 · outbound

This paper cites Safe feature elimination in sparse supervised learning technical report no.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Safe feature elimination in sparse supervised learning technical report no

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:57.459297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bf5a664-c2e4-4195-8da0-549339257dba · outbound

This paper cites A dual-based procedure for uncapacitated facility location.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees A dual-based procedure for uncapacitated facility location

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:57.569804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfacb3ac-fcf8-4d37-b792-3336e06e17ff · outbound

This paper cites A threshold of ln n for approximating set cover.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees A threshold of ln n for approximating set cover

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:57.713239Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fcde4a60-aad3-4767-ad3b-1a3283930dde · outbound

This paper cites Scip-jack—a solver for stp and variants with parallelization extensions.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Scip-jack—a solver for stp and variants with parallelization extensions

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:57.844448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53a86576-8e2c-4385-9f1a-d9fa52d843d9 · outbound

This paper cites A pac approach to application-specific algorithm selection.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees A pac approach to application-specific algorithm selection

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:57.948812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 640ba918-49dc-4b6f-b35c-8bb293c5edee · outbound

This paper cites Approximation algorithms for the set covering and vertex cover problems.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Approximation algorithms for the set covering and vertex cover problems

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:58.047926Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44b20c7c-fb23-4d8a-b8e2-9f0d7f09941c · outbound

This paper cites Reduction algorithm for zero-one single knapsack problems.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Reduction algorithm for zero-one single knapsack problems

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:58.175366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2523580-b518-42ca-8b6b-1a303d286452 · outbound

This paper cites Approximation algorithms for metric facility location and k-median problems using the primal-dual schema and lagrangian relaxation.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Approximation algorithms for metric facility location and k-median problems using the primal-dual schema and lagrangian relaxation

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:58.290451Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 070421c7-5f61-47ed-ae6a-dd93fb1e9f35 · outbound

This paper cites Vertex cover might be hard to approximate to within 2-.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Vertex cover might be hard to approximate to within 2-

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:58.355467Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 731abffe-67cc-423f-98a3-9877f9e1e653 · outbound

This paper cites Fine-grained search space classification for hard enumeration variants of subset problems.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Fine-grained search space classification for hard enumeration variants of subset problems

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:58.468751Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5184deb7-edae-48d1-800b-07da4f2b14c6 · outbound

This paper cites A 1.488 approximation algorithm for the uncapacitated facility location problem.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees A 1.488 approximation algorithm for the uncapacitated facility location problem

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:58.587343Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c62c0e9d-acc0-44bd-b140-c83c43d141e2 · outbound

This paper cites -approximations with minimum packing constraint violation.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees -approximations with minimum packing constraint violation

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:58.687506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db4a1c1f-0d53-41c8-b50b-d50d6e603e05 · outbound

This paper cites L2p-mip: Learning to presolve for mixed integer programming.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees L2p-mip: Learning to presolve for mixed integer programming

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:58.787717Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3e2b4a8-ecfd-40fa-8fac-976da4c561d3 · outbound

This paper cites Competitive caching with machine learned advice.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Competitive caching with machine learned advice

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:58.897509Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a3abf47-4dd3-4ea4-a2c6-f5fd9f3b8da7 · outbound

This paper cites Knapsack problems: algorithms and computer implementations.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Knapsack problems: algorithms and computer implementations

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:58.971853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecfaca12-f001-4151-bf7d-6e9280f1ae38 · outbound

This paper cites Certifying algorithms.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Certifying algorithms

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:59.148833Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a28f3bfc-f98f-4128-bb38-42e47d551295 · outbound

This paper cites Algorithms with predictions.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Algorithms with predictions

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:59.278126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d00cd95b-6a25-4d52-8712-9bfb8e95db2d · outbound

This paper cites Solving Mixed Integer Programs Using Neural Networks.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Solving Mixed Integer Programs Using Neural Networks

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:59.370362Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57922822-01cd-4b4e-8be8-8fb364b28353 · outbound

This paper cites Gap safe screening rules for sparsity enforcing penalties.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Gap safe screening rules for sparsity enforcing penalties

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:59.515968Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b1acb22-e04e-4ce0-9539-366c4fb47b92 · outbound

This paper cites Vertex packings: structural properties and algorithms.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Vertex packings: structural properties and algorithms

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:59.679299Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 087b06e2-616b-4197-be62-088153c3d83c · outbound

This paper cites Where are the hard knapsack problems? Computers & Operations Research, 32 0 (9): 0 2271--2284, 2005.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Where are the hard knapsack problems? Computers & Operations Research, 32 0 (9): 0 2271--2284, 2005

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-02T01:57:59.851152Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc730f94-3ee4-44bf-953c-e77e1772c16f · outbound

This paper cites Improved algorithms for the steiner problem in networks.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Improved algorithms for the steiner problem in networks

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T01:58:00.008161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f4ddd4f-dc30-4d88-9097-2c071334f804 · outbound

This paper cites Improving online algorithms via ml predictions.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Improving online algorithms via ml predictions

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T01:58:00.206541Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84a6043a-172e-45ad-9e9b-a3b2d354d129 · outbound

This paper cites Beyond the worst-case analysis of algorithms.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Beyond the worst-case analysis of algorithms

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-02T01:58:00.327290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be32cf10-9710-44fc-9ad3-ec9469054c5d · outbound

This paper cites Approximation algorithms for facility location problems.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Approximation algorithms for facility location problems

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-02T01:58:00.460921Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c33d0e31-2763-47cd-b11b-2d431617e583 · outbound

This paper cites Using statistical measures and machine learning for graph reduction to solve maximum weight clique problems.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Using statistical measures and machine learning for graph reduction to solve maximum weight clique problems

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-02T01:58:00.567619Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5bac2093-986e-455b-b032-a4d899f8849b · outbound

This paper cites Optimal robustness-consistency trade-offs for learning-augmented online algorithms.

CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees Optimal robustness-consistency trade-offs for learning-augmented online algorithms

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-02T01:58:00.703704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.