Paper Citation Record · LEDGER

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation

As of 19 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 1 inbound Pith citation observation for arXiv:1909.01492.

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

pith.paper-citation-record.v1
1909.01492 v2

Coverage vector

measured 47 of 47 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T05:25:16.099341Z

measured 48 of 48 standing notices

One-hop event checks from named stored sources.

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

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-19T16:05:41.505091Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-19T16:12:39.545991Z

Reference resolution

47 of 47 outbound references displayed

verified exact1
verified fuzzy2
unresolved44
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 27d40c89-c7d2-4fa8-8fa7-67fd0a44d77f · outbound

This paper cites URL: " 'urlintro :=.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation URL: " 'urlintro :=

Reference 1

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cf1f50d-45a6-4d06-9bf4-9e0958518e49 · outbound

This paper cites write newline.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation write newline

Reference 2

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09bbf21b-b38c-470d-a6b1-627dd87930a6 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.537937Z

Source-reported events for the cited work

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

Observation 61ee8298-65db-4740-bd30-c1f7be932c08 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.526948Z

Source-reported events for the cited work

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

Observation e6b1b27b-f37e-402e-a364-da8011ce86fe · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.516128Z

Source-reported events for the cited work

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

Observation 57d14d06-98cb-4a29-bccc-4cf138ceca4d · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 6

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 446c13d2-e6f1-47c8-8953-69555629844b · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.499740Z

Source-reported events for the cited work

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

Observation 406e1010-113b-4845-b8bf-803cfdd0ee35 · outbound

This paper cites A Unified View of Piecewise Linear Neural Network Verification.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation A Unified View of Piecewise Linear Neural Network Verification

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-08-14T05:25:16.233482Z

Source-reported events for the cited work

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

Observation 24802f10-1151-42c3-8f00-7d32984be02e · outbound

This paper cites Provably Minimally-Distorted Adversarial Examples.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Provably Minimally-Distorted Adversarial Examples

Reference 9

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04046a5d-7509-47bb-b1a1-f868bfd16b2a · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.489200Z

Source-reported events for the cited work

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

Observation 71dc6095-c404-45a1-87a0-fd499f2bd050 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.477611Z

Source-reported events for the cited work

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

Observation aa7fa8ed-0518-47c7-a499-87e7af5b93dc · outbound

This paper cites Seq2Sick: Evaluating the Robustness of Sequence-to-Sequence Models with Adversarial Examples.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Seq2Sick: Evaluating the Robustness of Sequence-to-Sequence Models with Adversarial Examples

Reference 12

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

This paper cites Training verified learners with learned verifiers.

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 fdf01209-9dd2-4f39-92f5-6ff02fdc963d · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.467240Z

Source-reported events for the cited work

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

Observation 940216a8-442e-406d-9bf3-9bb5ced970d2 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.457212Z

Source-reported events for the cited work

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

Observation 56a37731-6cee-4522-92dc-74c4da92ac80 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.447459Z

Source-reported events for the cited work

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

Observation e96e0e4c-99c4-435f-a56d-5d6ff7f5d97e · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.437505Z

Source-reported events for the cited work

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

Observation 238419b1-a373-43dc-9a05-2496556e6840 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 18

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f2f5a6a-78e5-4df1-9785-287eb4864101 · outbound

This paper cites Explaining and Harnessing Adversarial Examples.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Explaining and Harnessing Adversarial Examples

Reference 19

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ebd3b51-4125-47c2-890f-104196835fa0 · outbound

This paper cites On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 20

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69d975ad-4707-4b30-a217-d5393d9ba299 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 21

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b4144c2-9151-4924-b7f8-b7d3395e2e6d · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 22

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77756266-21ab-461b-a78b-480008c0e2e7 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.421304Z

Source-reported events for the cited work

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

Observation 9c3c99e2-fc30-4e00-a6d7-e5dbb1daaf71 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.411075Z

Source-reported events for the cited work

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

Observation cc34ff40-0644-42a3-bc75-290edbc6764e · outbound

This paper cites Kingma and Jimmy Ba.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Kingma and Jimmy Ba

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:25:16.401122Z

Source-reported events for the cited work

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

Observation 6ffb06d0-082b-4951-865f-a4ccf383a111 · outbound

This paper cites Adversarial examples in the physical world.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Adversarial examples in the physical world

Reference 26

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e8e44c2-c954-4308-9f60-1c6555da37d5 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.391145Z

Source-reported events for the cited work

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

Observation dbe3d767-e4ec-4962-939a-9e00fd1eaaac · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.381091Z

Source-reported events for the cited work

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

Observation 00302a55-3692-4bd4-9bee-36f48323eb7f · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.371640Z

Source-reported events for the cited work

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

Observation 022a74e7-c67a-47d3-b39d-17acb0165ce7 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.362401Z

Source-reported events for the cited work

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

Observation 7591ea8d-d627-4bff-8abf-e1dbdade3a62 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.352643Z

Source-reported events for the cited work

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

Observation a366124a-ec32-462d-9986-53ef3770d8b7 · outbound

This paper cites Rojas-Barahona, Pei-Hao Su, David Vandyke, Tsung-Hsien Wen, and Steve Young.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Rojas-Barahona, Pei-Hao Su, David Vandyke, Tsung-Hsien Wen, and Steve Young

Reference 32

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42332415-a45f-420e-871f-02a13ff703ca · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.343275Z

Source-reported events for the cited work

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

Observation c15ffdb8-142c-44c8-ac33-440a75162fdc · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 34

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f677bf78-19f4-473e-a608-7e1d09c4d10b · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 35

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 144ee84c-bef1-4090-81ca-4b273fc45a0c · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.333792Z

Source-reported events for the cited work

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

Observation bb629f9b-3082-4a9e-ba0f-d054dd4dda7a · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.323384Z

Source-reported events for the cited work

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

Observation b3731eb4-b0b2-4b96-8521-ef91b3269c47 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 38

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be476301-9210-4449-935b-444f8b0b7e32 · outbound

This paper cites Manning, Andrew Ng, and Christopher Potts.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Manning, Andrew Ng, and Christopher Potts

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T05:25:16.313917Z

Source-reported events for the cited work

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

Observation b0e1bbab-98ec-4454-8c30-ffe7069ac5be · outbound

This paper cites Intriguing properties of neural networks.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Intriguing properties of neural networks

Reference 40

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c99138bd-4f78-4251-8d29-b2fdd1780f8e · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.303753Z

Source-reported events for the cited work

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

Observation 2abb7153-42fd-4b9c-8d48-2d66db2addb7 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.294126Z

Source-reported events for the cited work

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

Observation 889b2d24-4c14-48cc-8c6e-2c0a996e344f · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.284072Z

Source-reported events for the cited work

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

Observation 311b9c56-77ff-4c3d-9be2-6d506d179800 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 44

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.273970Z

Source-reported events for the cited work

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

Observation 9d565eb1-845c-4721-80d3-ffb1f3650d4f · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.264111Z

Source-reported events for the cited work

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

Observation 6ff20cc0-4b16-4cfb-9e04-96bf35042a5c · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.254005Z

Source-reported events for the cited work

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

Observation 8e3dad18-4f94-482c-9ffa-5c6d180b40b6 · outbound

This paper cites an unresolved cited work.

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-08-14T05:25:16.243779Z

Source-reported events for the cited work

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

Pith citing papers

Observation 7b87b173-0f46-4b3a-b867-1dbd8634371d · inbound

Margin-Adaptive Confidence Ranking for Reliable LLM Judgement cites this paper.

Margin-Adaptive Confidence Ranking for Reliable LLM Judgement Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation

Reference 130

Resolution: verified exact; arxiv_id, observed 2026-05-19T16:12:39.547363Z

Source-reported events for the cited work

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