Pith. sign in

Paper Citation Record · LEDGER

Compositional Verification for Autonomous Systems with Deep Learning Components

As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 2 inbound Pith citation observations for arXiv:1810.08303.

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

pith.paper-citation-record.v1
1810.08303 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 2 of 2 standing notices

One-hop event checks from named stored sources.

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

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T05:20:31.848738Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T16:39:28.180991Z

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 0706b79f-dd04-42ec-9331-d1d09192e324 · inbound

Compositional Reasoning for Parametric Probabilistic Automata cites this paper.

Compositional Reasoning for Parametric Probabilistic Automata Compositional Verification for Autonomous Systems with Deep Learning Components

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-07T05:20:31.848738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-07T05:20:31.848738Z digest=sha256:b4ea42ef8d535756c072312e2ad87f69b44d3f934a0df5a7fe11b9376c08f068

Observation 27e66462-29f1-48b6-98b8-fae677b83579 · inbound

Architectural Backdoors in Deep Learning: A Survey of Vulnerabilities, Detection, and Defense cites this paper.

Architectural Backdoors in Deep Learning: A Survey of Vulnerabilities, Detection, and Defense Compositional Verification for Autonomous Systems with Deep Learning Components

Reference 59

Resolution
metadata mismatch
local_arxiv, observed 2026-08-06T16:39:28.366025Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T16:39:21.366958Z digest=sha256:db687f611c6dbcb667e8e31398d48243069789da628752d54a2c59f52b723938