Paper Citation Record · LEDGER

Training verified learners with learned verifiers

As of 15 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 inbound Pith citation observations for arXiv:1805.10265.

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

pith.paper-citation-record.v1
1805.10265 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 5 of 5 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 5 of 5 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-14T05:36:25.913968Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-11T19:51:09.669384Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation c13b151e-b844-4709-b8a9-3ac55dccb337 · inbound

Certified Robustness to Adversarial Word Substitutions cites this paper.

Certified Robustness to Adversarial Word Substitutions Training verified learners with learned verifiers

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-14T05:36:25.913968Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af1be3d9-a8cb-4c09-8377-1aedcf3d5119 · inbound

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation cites this paper.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Training verified learners with learned verifiers

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-14T05:25:15.984023Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a917d0c-7c5e-40de-b6b2-edd332b8c80f · inbound

TriGuard: Testing Model Safety with Attribution Entropy, Verification, and Drift cites this paper.

TriGuard: Testing Model Safety with Attribution Entropy, Verification, and Drift Training verified learners with learned verifiers

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T00:23:51.093805Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0fbb1bb7-3a4d-4382-9b6f-3b21fd4bd7a8 · inbound

Learning to Optimize by Differentiable Programming cites this paper.

Learning to Optimize by Differentiable Programming Training verified learners with learned verifiers

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-03T08:39:32.435146Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f2289cf-6b31-4db1-8f69-73476d784bef · inbound

Relaxation-Informed Training of Neural Network Surrogate Models cites this paper.

Relaxation-Informed Training of Neural Network Surrogate Models Training verified learners with learned verifiers

Reference 50

Resolution: verified exact; arxiv_id, observed 2026-07-04T22:48:22.632767Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.