{"as_of":"2026-08-15T04:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:edc323e997f04fbed3a29ae7255d485015167a6f7dd58fefc587254f2e1fcbe6","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T12:57:49.831036Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.06223/citation-record","integrity":"/paper/1908.06223/integrity","json":"/paper/1908.06223/citation-record.json","paper":"/paper/1908.06223"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:49.831036Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.831036Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:63b280280688bc628e476a6feb40f57eefdb99d6438e6795d4422ef9fe952d5d","observation_id":"1e86a0e8-44c1-4e2e-b7f3-a6fc346ecd4d","resolution":{"observed_at":"2026-08-14T12:57:49.831036Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1904.09959","last_updated":"2019-05-01T15:25:46Z","snapshot_observed_at":"2026-08-14T19:58:26.002468Z","submitted_at":"2019-04-22T17:21:52Z","title":"Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness","version":2},"cited_work":{"arxiv_id":"1904.09959","doi":null,"metadata_source":"pith","pith_arxiv_id":"1904.09959","snapshot_observed_at":"2026-08-14T12:57:49.915801Z","title":"Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness","venue":"cs.PL","work_id":"ce392a05-1263-44af-8dea-f8702e0c6b41","year":2019},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.733931Z"},"links":{"cited_paper":"/paper/1904.09959","citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:134d432d133e73c3f9a9d7bfc12c32e95f40cdf3ec01e409600e945e0a7650eb","observation_id":"120aaeac-5024-4cee-b6f3-ddd43c384728","resolution":{"observed_at":"2026-08-14T12:57:49.923156Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:50.113127Z","title":"InAdvances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montréal, Canada","venue":null,"work_id":"20a01737-0abe-4d46-a525-7cc4158b97d5","year":2018},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.759949Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:262754087b6f8c113f35e10fe0a8f0e3450407bb92f3b27e56e3fe3a6a105bf4","observation_id":"fe16374d-5937-45b2-b02b-8e1c417a809b","resolution":{"observed_at":"2026-08-14T12:57:50.117977Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.04805","last_updated":"2019-05-24T20:37:26Z","snapshot_observed_at":"2026-08-14T18:16:28.847993Z","submitted_at":"2018-10-11T00:50:01Z","title":"BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.04805","snapshot_observed_at":"2026-08-14T12:57:49.764522Z","title":"CoRR abs/1810.04805 (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.764522Z"},"links":{"cited_paper":"/paper/1810.04805","citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:d6ad8ce4274b8afcd5472551932b46863f0f9a318404ae99048cec296232588d","observation_id":"14ec88a6-ad9b-41a8-955b-0988636a5902","resolution":{"observed_at":"2026-08-14T12:57:49.764522Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1906.05032","last_updated":"2019-06-12T09:43:05Z","snapshot_observed_at":"2026-08-14T19:57:01.527488Z","submitted_at":"2019-06-12T09:43:05Z","title":"Decoupling Gating from Linearity","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1906.05032","snapshot_observed_at":"2026-08-14T12:57:49.769574Z","title":"Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, and Martin Vechev","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.769574Z"},"links":{"cited_paper":"/paper/1906.05032","citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:6e1a284321f2420684c2b4c15f549ab5afdf671080faed4c53fd8f43e8cc19bc","observation_id":"82c9c8c5-8946-4f1f-9cef-c2ab0f4fdc45","resolution":{"observed_at":"2026-08-14T12:57:49.769574Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:50.099056Z","title":"In 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA","venue":null,"work_id":"0a64a1a8-569d-4230-9cc9-e39bbc2a864f","year":2018},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.774744Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:7a80a0cde456ace966389be1e1d42cc53b1dcea2273aa2efec9965285deb7289","observation_id":"a76de183-3877-47bb-9e34-816502c687d6","resolution":{"observed_at":"2026-08-14T12:57:50.103527Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:50.084649Z","title":"Journal of Guidance, Control, and Dynamics 42, 3 (2018), 598–608","venue":null,"work_id":"c5217037-67c1-453a-9520-551b83fa2ca6","year":2018},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.779173Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:5b2d789192a8d44771b6ea03829b1a3c16e26fd8af857df8875ed8ccc8a2815c","observation_id":"9a6f0abc-dc5c-4a39-8549-868e6fa9f3df","resolution":{"observed_at":"2026-08-14T12:57:50.089386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:50.055610Z","title":"In 2016 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016, Las Vegas, NV, USA, June 27-30, 2016","venue":null,"work_id":"242a9789-391e-4278-9329-25f90546115b","year":2016},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.788171Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:52263ca32688903341a800d3c91a49d057348d91686a72eb11fda644c7df1bad","observation_id":"741583d9-ae58-4b70-a818-16603cc29575","resolution":{"observed_at":"2026-08-14T12:57:50.060374Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:50.024455Z","title":"In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4,","venue":null,"work_id":"ab131d38-d892-43d3-b87b-c8b1777f24c5","year":2015},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.796835Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:b0da701deb79eb5ed3d93aab6dd8e034a41a1e6f4e5c75b8873ca958ad320ca5","observation_id":"7b936633-9a1d-4bb0-bec7-bcac69d4a34e","resolution":{"observed_at":"2026-08-14T12:57:50.030430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:50.007931Z","title":"PACMPL 3, POPL (2019), 41:1–41:30","venue":null,"work_id":"277de08c-4d5d-4672-ba44-5e9ebf9c347d","year":2019},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.801428Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:edfc46bb60cbcbaac65d520192b0349be8d0008ed6a594ade78852570497a786","observation_id":"dcddf407-1482-4406-87cd-5639f28beeef","resolution":{"observed_at":"2026-08-14T12:57:50.012852Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:49.976580Z","title":"In 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15-17,","venue":null,"work_id":"ace6dcc0-3e3d-4353-8fd4-2d39d883dbe5","year":2018},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.811062Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:8f6c289bc42008fe3ee4ab8b657c1bcf08b0582042260eff1171324107610be4","observation_id":"2c6ef1dd-9e01-4377-8913-20d7235ab053","resolution":{"observed_at":"2026-08-14T12:57:49.981716Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:49.960958Z","title":"In 2018 Annual American Control Conference, (ACC)","venue":null,"work_id":"6ddd0133-6ddd-410e-af82-bfbbf35882f7","year":2018},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.815802Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:3a6249dfb04a3995dfadd8981731f29bbba78ff774372b06e899a148c7f608cd","observation_id":"8954affb-8fa2-4cb6-b3f3-57413e05044d","resolution":{"observed_at":"2026-08-14T12:57:49.966048Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1712.08163","last_updated":"2017-12-21T08:57:06Z","snapshot_observed_at":"2026-08-14T20:01:23.149634Z","submitted_at":"2017-12-21T08:57:06Z","title":"Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1712.08163","snapshot_observed_at":"2026-08-14T12:57:49.820943Z","title":"arXiv preprint arXiv:1712.08163 (2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.820943Z"},"links":{"cited_paper":"/paper/1712.08163","citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:bdea05cb4b2cd0776e83382c0d90707b1d3ca4de857311e0a50d059840a03176","observation_id":"981fac8f-60b6-484e-b1fc-218ca0dfe747","resolution":{"observed_at":"2026-08-14T12:57:49.820943Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:49.944481Z","title":"In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26,","venue":null,"work_id":"c4e35b7f-04be-4e8a-a491-27dc453e2630","year":2019},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.826411Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:43adb45d2c2e0a6808ba3e21475055918d4b2b611525c8573dc54fd9236ff618","observation_id":"03ff8f72-dc80-4cc3-aab0-e3713dc46a14","resolution":{"observed_at":"2026-08-14T12:57:49.950622Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:49.992610Z","title":"In Advances in Neural Information Processing Systems 7, [NIPS Conference, Denver, Colorado, USA, 1994]","venue":null,"work_id":"016f4599-0287-43d4-bbb8-6f36efb7fcdc","year":1994},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":1994,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.806053Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:dc14a3c9977d004ac9c56af7c699bcd7d90ae8894ad4c95bd82d7da681c966c2","observation_id":"c65c31fa-c93b-449c-bba6-df7b02b564d1","resolution":{"observed_at":"2026-08-14T12:57:49.997601Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:50.127633Z","title":"In ESANN 2003, 11th European Symposium on Artificial Neural Networks, Bruges, Belgium, April 23-25, 2003, Proceedings","venue":null,"work_id":"3ffa3c5a-64dc-448a-a395-2189270def73","year":2003},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.754506Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:48ce7adce0f6c588e2887b7dd9ba8a82c1c2b441f190a4cf8ba6261b060d5d45","observation_id":"8246f800-37c1-45e4-b706-74071f95c0c7","resolution":{"observed_at":"2026-08-14T12:57:50.132556Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:50.142199Z","title":"Handbook of satisfiability 185, 99 (2009), 457–481","venue":null,"work_id":"c28fe3fd-d997-46a5-b331-1d55d656f1e0","year":2009},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.749796Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:0d7340e5764f7a1aec1401475131c62f76fddefb3c7c3c5852bbb0315294b41d","observation_id":"e6bd2c59-dc6a-401c-84bc-8f0dafd64b05","resolution":{"observed_at":"2026-08-14T12:57:50.146928Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:50.041139Z","title":"In IEEE Conference on Computer Vision and Pattern Recognition, (CVPR) 2015, Boston, MA, USA, June 7-12,","venue":null,"work_id":"52fcd6fa-7385-4a5d-8416-6bebbb2fec91","year":2015},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.792523Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:9bbf9c36982d05816aebc08bda2e3941ae5f2225ce868b1a8cb8bf8b53c501a6","observation_id":"42dfb11f-87db-466d-ac12-e30810b6649a","resolution":{"observed_at":"2026-08-14T12:57:50.046049Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:50.156660Z","title":"In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","venue":null,"work_id":"6d9e5c76-e383-47fb-acf1-8ed758fd4c82","year":2016},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.744816Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:e21e80883002ec74733f92d6252a6a029a22995972b38785b04cc89af75b17be","observation_id":"421a3120-3009-4912-9c58-da5fc51bb0cb","resolution":{"observed_at":"2026-08-14T12:57:50.161836Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:50.070529Z","title":null,"venue":null,"work_id":"5cac1225-8eee-44f0-bacf-46c99e9bf3c5","year":2017},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.783841Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:8f69611874fdc9299d23b6f4c2c380c386f7183a7797df392ce5b364e5334372","observation_id":"cc71d84a-ac92-4f2a-aaf9-9b348debf6b6","resolution":{"observed_at":"2026-08-14T12:57:50.074983Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:50.171643Z","title":"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","venue":null,"work_id":"c7543f62-dc26-4ac4-89fe-0b7658b27109","year":2018},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.739176Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:e7a5869812601f193a7d254a4f222255f591977f2d9a3b3cb9b3306c20d77f71","observation_id":"cf093ce9-2079-4da6-ad5c-558c9b879432","resolution":{"observed_at":"2026-08-14T12:57:50.176540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:57:50.186166Z","title":"https://github.com/eth-sri/eran","venue":null,"work_id":"eebd352b-7357-4d6c-bf3a-0b361502883d","year":2019},"citing_paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks","version":2},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-14T12:57:49.728555Z"},"links":{"citing_paper":"/paper/1908.06223"},"observation_digest":"sha256:cabb62acb921fa90b877fee261bfb225e2290ceaa08b7bb8125f01b79f041e34","observation_id":"51486e64-a84f-4e1e-bb51-aa59b26b7f57","resolution":{"observed_at":"2026-08-14T12:57:50.190632Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.06223","last_updated":"2019-08-20T03:22:57Z","latest_version":2,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-14T12:50:18.918022Z","submitted_at":"2019-08-17T01:48:50Z","title":"A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":5,"verified_exact":0,"verified_fuzzy":16},"total_outbound_references":22},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:1908.06223."}