Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 4 inbound Pith citation observations for arXiv:2405.17556.
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-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-02T15:54:45.822874Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-11T14:41:37.906388Z
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 1ce23302-e812-43f3-8625-ea21c5f9b514 · inbound
Neural Spectral Bias and Conformal Correlators I: Introduction and Applications cites this paper.
Neural Spectral Bias and Conformal Correlators I: Introduction and Applications Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
Reference 42
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-11T12:11:08.700436Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation df9d99d9-9d79-4594-84eb-cf144a99b95a · inbound
Neural Spectral Bias and Conformal Correlators I: Introduction and Applications cites this paper.
Neural Spectral Bias and Conformal Correlators I: Introduction and Applications Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T15:54:45.822874Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c1a04d68-f32f-44f1-8865-c8ae916f4b27 · inbound
Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation cites this paper.
Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
Reference 2
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T14:41:37.960137Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 2f1fd7d4-ed2d-45cd-a4a0-1fc8cb6de161 · inbound
A Survey on the Verification of Reinforcement Learning Policies cites this paper.
A Survey on the Verification of Reinforcement Learning Policies Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
Reference 97
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T14:02:55.555451Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.