Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-11T06:11:16.154578Z
Paper Citation Record · LEDGER
Higher-Order Certified Robustness for Regression
As of 8 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2607.05536.
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-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
15 of 15 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved15
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation a6c3d89c-81e4-4250-9292-3f4cd769d220 · outbound
This paper cites functional derivative.
Higher-Order Certified Robustness for Regression functional derivative
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2b6d10e9-c2d0-492a-b4a9-5b0d4566821d · outbound
This paper cites an unresolved cited work.
Higher-Order Certified Robustness for Regression Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f8b4be08-1caf-4589-b33a-9e97194b49af · outbound
This paper cites an unresolved cited work.
Higher-Order Certified Robustness for Regression Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8d7178ef-08ca-4bd4-b8ae-94db3e753e97 · outbound
This paper cites k pz+δ(x) pz(x) −1 2# =k 2Epz.
Higher-Order Certified Robustness for Regression k pz+δ(x) pz(x) −1 2# =k 2Epz
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a23e631-df03-4fed-a6aa-2061de220f1c · outbound
This paper cites Solving forµyields: µ=δ− σ2 k G.(20).
Higher-Order Certified Robustness for Regression Solving forµyields: µ=δ− σ2 k G.(20)
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6313c2bb-1c9c-424c-94d7-3a78602f4c0c · outbound
This paper cites bang-bang.
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8f020927-0933-4a26-8bd0-6e3842529258 · outbound
This paper cites The adversary can construct a step function (Neyman-Pearson solution) using only the values {−M, M} that satisfies the variance constraint trivially.
Higher-Order Certified Robustness for Regression The adversary can construct a step function (Neyman-Pearson solution) using only the values {−M, M} that satisfies the variance constraint trivially
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3cbdbeb5-c251-4a6c-9946-a10b4f92bb1b · outbound
This paper cites The adversary is precluded from using a simple step function and must construct a solution that transitions smoothly or is clipped to satisfy the stricter variance budget.
Higher-Order Certified Robustness for Regression The adversary is precluded from using a simple step function and must construct a solution that transitions smoothly or is clipped to satisfy the stricter variance budget
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0916d0fd-de92-4880-94c3-c53b93fd84b8 · outbound
This paper cites an unresolved cited work.
Higher-Order Certified Robustness for Regression Unresolved cited work
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 72828c69-4ad6-4d3f-8a43-d1f94fdceada · outbound
This paper cites smoothed.
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7a9d9046-acef-4335-b46e-8ea6beeeacf2 · outbound
This paper cites an unresolved cited work.
Higher-Order Certified Robustness for Regression Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5f024284-8cf3-459a-b8a4-4dbe93045fb1 · outbound
This paper cites Bang-Bang.
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f527adc7-62be-41a0-a6d0-fc5934305499 · outbound
This paper cites Rearranging forϕ ∗(t): 2λϕ∗(t) =w(t)−µt−ν−η 1(t) +η 2(t)(41).
Higher-Order Certified Robustness for Regression Rearranging forϕ ∗(t): 2λϕ∗(t) =w(t)−µt−ν−η 1(t) +η 2(t)(41)
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b3140b52-6e9c-4a92-bc42-be889d480947 · outbound
This paper cites •Dual Feasibility:λ≥0,η 1(t)≥0, andη 2(t)≥0.
Higher-Order Certified Robustness for Regression •Dual Feasibility:λ≥0,η 1(t)≥0, andη 2(t)≥0
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 39cc6189-cfa7-424a-9fa6-1d7f2876ba0d · outbound
This paper cites edge cases.
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T06:11:16.154578Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.