Paper Citation Record · LEDGER

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks

As of 19 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:1908.06223.

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

pith.paper-citation-record.v1
1908.06223 v2

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T12:57:49.831036Z

measured 22 of 22 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 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

22 of 22 outbound references displayed

verified exact0
verified fuzzy16
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1e86a0e8-44c1-4e2e-b7f3-a6fc346ecd4d · outbound

This paper cites an unresolved cited work.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-14T12:57:49.831036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 120aaeac-5024-4cee-b6f3-ddd43c384728 · outbound

This paper cites Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness

Reference 2

Resolution: metadata mismatch; local_arxiv, observed 2026-08-14T12:57:49.923156Z

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 fe16374d-5937-45b2-b02b-8e1c417a809b · outbound

This paper cites InAdvances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montréal, Canada.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks InAdvances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montréal, Canada

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:50.117977Z

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 14ec88a6-ad9b-41a8-955b-0988636a5902 · outbound

This paper cites BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-14T12:57:49.764522Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82c9c8c5-8946-4f1f-9cef-c2ab0f4fdc45 · outbound

This paper cites Decoupling Gating from Linearity.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks Decoupling Gating from Linearity

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-14T12:57:49.769574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a76de183-3877-47bb-9e34-816502c687d6 · outbound

This paper cites In 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks In 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:50.103527Z

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 9a6f0abc-dc5c-4a39-8549-868e6fa9f3df · outbound

This paper cites Journal of Guidance, Control, and Dynamics 42, 3 (2018), 598–608.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks Journal of Guidance, Control, and Dynamics 42, 3 (2018), 598–608

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:50.089386Z

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 741583d9-ae58-4b70-a818-16603cc29575 · outbound

This paper cites In 2016 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016, Las Vegas, NV, USA, June 27-30, 2016.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks In 2016 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016, Las Vegas, NV, USA, June 27-30, 2016

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:50.060374Z

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 7b936633-9a1d-4bb0-bec7-bcac69d4a34e · outbound

This paper cites In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4,.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:50.030430Z

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 dcddf407-1482-4406-87cd-5639f28beeef · outbound

This paper cites PACMPL 3, POPL (2019), 41:1–41:30.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks PACMPL 3, POPL (2019), 41:1–41:30

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:50.012852Z

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 2c6ef1dd-9e01-4377-8913-20d7235ab053 · outbound

This paper cites In 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15-17,.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks In 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15-17,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:49.981716Z

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 8954affb-8fa2-4cb6-b3f3-57413e05044d · outbound

This paper cites In 2018 Annual American Control Conference, (ACC).

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks In 2018 Annual American Control Conference, (ACC)

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:49.966048Z

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 981fac8f-60b6-484e-b1fc-218ca0dfe747 · outbound

This paper cites Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-14T12:57:49.820943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03ff8f72-dc80-4cc3-aab0-e3713dc46a14 · outbound

This paper cites In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26,.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:49.950622Z

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 c65c31fa-c93b-449c-bba6-df7b02b564d1 · outbound

This paper cites In Advances in Neural Information Processing Systems 7, [NIPS Conference, Denver, Colorado, USA, 1994].

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks In Advances in Neural Information Processing Systems 7, [NIPS Conference, Denver, Colorado, USA, 1994]

Reference 1994

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:49.997601Z

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 8246f800-37c1-45e4-b706-74071f95c0c7 · outbound

This paper cites In ESANN 2003, 11th European Symposium on Artificial Neural Networks, Bruges, Belgium, April 23-25, 2003, Proceedings.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks In ESANN 2003, 11th European Symposium on Artificial Neural Networks, Bruges, Belgium, April 23-25, 2003, Proceedings

Reference 2003

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:50.132556Z

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 e6bd2c59-dc6a-401c-84bc-8f0dafd64b05 · outbound

This paper cites Handbook of satisfiability 185, 99 (2009), 457–481.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks Handbook of satisfiability 185, 99 (2009), 457–481

Reference 2009

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:50.146928Z

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 42dfb11f-87db-466d-ac12-e30810b6649a · outbound

This paper cites In IEEE Conference on Computer Vision and Pattern Recognition, (CVPR) 2015, Boston, MA, USA, June 7-12,.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks In IEEE Conference on Computer Vision and Pattern Recognition, (CVPR) 2015, Boston, MA, USA, June 7-12,

Reference 2015

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:50.046049Z

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 421a3120-3009-4912-9c58-da5fc51bb0cb · outbound

This paper cites In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

Reference 2016

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:50.161836Z

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 cc71d84a-ac92-4f2a-aaf9-9b348debf6b6 · outbound

This paper cites an unresolved cited work.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks Unresolved cited work

Reference 2017

Resolution: unresolved; raw_fallback, observed 2026-08-14T12:57:50.074983Z

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 cf093ce9-2079-4da6-ad5c-558c9b879432 · outbound

This paper cites In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montréal, Canada.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montréal, Canada

Reference 2018

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:50.176540Z

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 51486e64-a84f-4e1e-bb51-aa59b26b7f57 · outbound

This paper cites https://github.com/eth-sri/eran.

A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks https://github.com/eth-sri/eran

Reference 2019

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:57:50.190632Z

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

No inbound Pith citation observations are available.