Paper Citation Record · LEDGER

On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

As of 7 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 30 inbound Pith citation observations for arXiv:1810.12715.

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

pith.paper-citation-record.v1
1810.12715 v4

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 30 of 30 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00

measured 30 of 30 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T19:50:43.236620Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T16:09:56.544822Z

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 9a685c0a-31a0-4310-aa68-6afb8d2d49db · inbound

Connecting Lyapunov Control Theory to Adversarial Attacks cites this paper.

Connecting Lyapunov Control Theory to Adversarial Attacks On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-05-24T20:09:52.788027Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 49cb3632-7a35-4867-8cb8-747f1a48b5c6 · inbound

Towards Generalized Certified Robustness with Multi-Norm Training cites this paper.

Towards Generalized Certified Robustness with Multi-Norm Training On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-05-23T20:03:24.505518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation b6568073-ca88-469c-866d-4884bf205fe1 · inbound

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control cites this paper.

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-05-23T16:43:11.514324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 568ca5fa-f4d7-4c05-98be-d20bf4489e70 · inbound

Adversarial Hubness in Multi-Modal Retrieval cites this paper.

Adversarial Hubness in Multi-Modal Retrieval On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-05-23T06:42:39.724126Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 8fff7cce-b996-4514-bf9e-a0a4b18a2d2f · inbound

Making Logic a First-Class Citizen in Generative ML for Networking cites this paper.

Making Logic a First-Class Citizen in Generative ML for Networking On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-05-19T07:27:09.088921Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 7a5a5c7d-4972-4e48-8b18-b299a7325280 · inbound

Verification of Visual Controllers via Compositional Geometric Transformations cites this paper.

Verification of Visual Controllers via Compositional Geometric Transformations On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-06T19:50:43.236620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0093fff1-3713-481d-99f2-90399319a6c0 · inbound

Adversarial Examples Are Not Bugs, They Are Superposition cites this paper.

Adversarial Examples Are Not Bugs, They Are Superposition On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-05T16:56:08.843235Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aeda2798-d890-42dd-8fda-97a2cc6a9e76 · inbound

Sample Efficient Certification of Discrete-Time Control Barrier Functions cites this paper.

Sample Efficient Certification of Discrete-Time Control Barrier Functions On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-05T10:38:48.767788Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44f3dfbc-af46-4e06-9e01-55a22b301183 · inbound

Parameterized Hardness of Zonotope Containment and Neural Network Verification cites this paper.

Parameterized Hardness of Zonotope Containment and Neural Network Verification On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 18

Resolution: metadata mismatch; arxiv_id, observed 2026-05-21T22:04:24.189047Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 93acb7ae-e46a-44e9-8d7d-60d0102a70b9 · inbound

SAIL: Sound Abstract Interpreters with LLMs cites this paper.

SAIL: Sound Abstract Interpreters with LLMs On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T21:50:15.644926Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4d3c215-a19f-4bf0-ba6c-e85050f7be38 · inbound

Fast and Certified Bounding of Security-Constrained DCOPF via Interval Bound Propagation cites this paper.

Fast and Certified Bounding of Security-Constrained DCOPF via Interval Bound Propagation On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-05-17T20:35:13.174538Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 9a55be8e-ea1f-4814-a61f-552d8f89d2b8 · inbound

Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs cites this paper.

Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-02T20:23:43.607033Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ccd5854-537a-4cd0-8983-d992c4957833 · inbound

IoUCert: Robustness Verification for Anchor-based Object Detectors cites this paper.

IoUCert: Robustness Verification for Anchor-based Object Detectors On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.572806Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e268eea9-4c3d-41f1-ba43-95be3dacf43c · inbound

No Certificate, No Categorical Speech Act: A Brouwerian Assertibility Constraint for Public Reason cites this paper.

No Certificate, No Categorical Speech Act: A Brouwerian Assertibility Constraint for Public Reason On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T19:02:36.027673Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61152d4e-1b63-42c7-8b67-a64d9c477d17 · inbound

No Certificate for Alignment: Two Independent Impossibilities and the Pareto Frontier of Achievable Safety Guarantees cites this paper.

No Certificate for Alignment: Two Independent Impossibilities and the Pareto Frontier of Achievable Safety Guarantees On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-15T13:02:17.646650Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 971f0344-a29f-4542-923e-3d0f9c637c10 · inbound

The Luna Bound Propagator for Formal Analysis of Neural Networks cites this paper.

The Luna Bound Propagator for Formal Analysis of Neural Networks On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 5

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T00:58:25.495995Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 9ede5312-b09d-44e5-a0d8-61070cacb1e9 · inbound

SafeAdapt: Provably Safe Policy Updates in Deep Reinforcement Learning cites this paper.

SafeAdapt: Provably Safe Policy Updates in Deep Reinforcement Learning On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-05-11T06:00:58.723509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation a2f4e5f1-d6b5-463c-9be4-0f23fde6a99c · inbound

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

Relaxation-Informed Training of Neural Network Surrogate Models On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 43

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T19:51:09.706537Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 74491a5b-7a42-4895-9287-62e33a4824be · inbound

Adversarial Robustness of NTK Neural Networks cites this paper.

Adversarial Robustness of NTK Neural Networks On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-05-12T00:31:18.129049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation c1a9ddaa-bdc2-4496-aaa0-86cea6be5c0b · inbound

Adversarial Robustness of NTK Neural Networks cites this paper.

Adversarial Robustness of NTK Neural Networks On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-07-01T09:05:36.522403Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation b521226c-fff4-420a-bad0-572850bec542 · inbound

Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators cites this paper.

Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 13

Resolution: metadata mismatch; arxiv_id, observed 2026-05-12T01:56:14.740519Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 1e7683ea-e7f7-42c4-84de-8c87db1d7201 · inbound

Stress-Testing Neural Network Verifiers with Provably Robust Instances cites this paper.

Stress-Testing Neural Network Verifiers with Provably Robust Instances On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 9

Resolution: metadata mismatch; arxiv_id, observed 2026-05-20T14:53:23.457572Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 16e2763d-b3cd-4e03-81ce-06ce0da1ce5f · inbound

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial cites this paper.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 47

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.411639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 0c1250af-812b-473a-b20c-226d45d8acae · inbound

Hybrid Robustness Verification for Spatio-Temporal Neural Networks cites this paper.

Hybrid Robustness Verification for Spatio-Temporal Neural Networks On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 16

Resolution: metadata mismatch; arxiv_id, observed 2026-07-03T00:27:29.907891Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 0cb79554-9d48-4d6e-a6bb-0f3b50cb3dbf · inbound

Veriphi: Attack-Guided Neural Network Verification with Dataset-Dependent Training Methods cites this paper.

Veriphi: Attack-Guided Neural Network Verification with Dataset-Dependent Training Methods On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 4

Resolution: metadata mismatch; arxiv_id, observed 2026-07-03T21:08:58.620362Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 921da14c-094e-46c7-9565-ddc720cc8d65 · inbound

Input Convex Neural Network as a Surrogate in Stability-Constrained Optimization for IBR-dominated Power Systems cites this paper.

Input Convex Neural Network as a Surrogate in Stability-Constrained Optimization for IBR-dominated Power Systems On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-07-04T16:09:56.546693Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 2712aca2-ea2f-4e91-9fdb-bdf94a9dd52c · inbound

Vulnerability of Natural Language Classifiers to Evolutionary Generated Adversarial Text cites this paper.

Vulnerability of Natural Language Classifiers to Evolutionary Generated Adversarial Text On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-07-04T13:59:52.557347Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation ddd31afd-3b24-4f03-a8a5-c87e0db5d0ba · inbound

Certified Training for Convolutional Perturbations cites this paper.

Certified Training for Convolutional Perturbations On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T15:48:09.909663Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0655bcae-ed70-49e6-aefb-305eabbf6d06 · inbound

How Context Attribution Handles What the Model Already Knows cites this paper.

How Context Attribution Handles What the Model Already Knows On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 91

Resolution: unresolved; no resolver link, observed 2026-07-30T12:03:22.284744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f7ee4f6-449a-4bf0-9c1a-a091046ff224 · inbound

Evaluation of Adversarial Robustness in Arabic Language Models cites this paper.

Evaluation of Adversarial Robustness in Arabic Language Models On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-01T01:26:22.039700Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.