{"as_of":"2026-08-17T18:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6304a0eb3550a6509818831d3f9009d74165ce80f55b3e69dd8afa02e30a4ed2","coverage":[{"denominator":55,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":55,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T04:38:00.298103Z","state":"measured"},{"denominator":55,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":55,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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/2506.10269/citation-record","integrity":"/paper/2506.10269/integrity","json":"/paper/2506.10269/citation-record.json","paper":"/paper/2506.10269"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:38:01.441764Z","title":"Strong Mixed-Integer Programming Formulations for Trained Neural Networks.Mathematical Programming, 183(1):3–39, 2020","venue":null,"work_id":"01907ee9-3e10-4384-8a78-5e12a1d2cf50","year":2020},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T04:37:59.932014Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:f6c65e02ec3570d265b0da8b1f0d5389caad039236705569806ec9b4a855dfe7","observation_id":"eb27ed11-024b-44b4-98af-766c11448e2e","resolution":{"observed_at":"2026-08-07T04:38:01.447393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.423803Z","title":null,"venue":null,"work_id":"a9f4d51c-3fe0-41d0-9732-d11d1522024d","year":2025},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T04:37:59.938436Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:a08508527e056314503864b4e8b94a4fc0a88d1fcaa607fd4795cf88e209a91a","observation_id":"8c0f085f-840f-4910-b18d-a1b73968456f","resolution":{"observed_at":"2026-08-07T04:38:01.429771Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1409.0473","last_updated":"2016-05-19T21:53:22Z","snapshot_observed_at":"2026-08-12T12:07:33.202888Z","submitted_at":"2014-09-01T16:33:02Z","title":"Neural Machine Translation by Jointly Learning to Align and Translate","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1409.0473","snapshot_observed_at":"2026-08-07T04:37:59.943361Z","title":"Neural Machine Translation by Jointly Learning to Align and Translate.arXiv Preprint arXiv:1409.0473, 2014","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T04:37:59.943361Z"},"links":{"cited_paper":"/paper/1409.0473","citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:6ce659edef29c2a1d3620c918e5f4c1d50f20ed5ac64a5b10448fcc720b03566","observation_id":"2b2b3b5d-00b1-42d2-b5be-8cae81bbd1fb","resolution":{"observed_at":"2026-08-07T04:37:59.943361Z","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-07T04:38:01.407238Z","title":"Measuring Neural Net Robustness With Constraints.Advances in Neural Information Processing Systems, 29, 2016","venue":null,"work_id":"5fc2791b-1d9e-438c-97dd-4c2038c33a09","year":2016},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T04:37:59.949187Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:b2b5e0e6875cc30e0be46903b7d10f8859386a070f6e378f973bb18aa0f5e4c1","observation_id":"9f9cab6f-c874-4be6-aad9-648f52b4b491","resolution":{"observed_at":"2026-08-07T04:38:01.413029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.387397Z","title":"Efficient Neural Network Verification via Layer-Based Semidefinite Relaxations and Linear Cuts","venue":null,"work_id":"1ac74732-eef8-46f6-98f5-667c3ca76c63","year":2021},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T04:37:59.954248Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:c121b0bdd638a644fc5447e29c1412f8f332f546763581bf6148bac1a52d7b87","observation_id":"0c0d51ee-f3f2-420a-b96e-8655132d794d","resolution":{"observed_at":"2026-08-07T04:38:01.395094Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.368675Z","title":"Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis","venue":null,"work_id":"d9f304fc-9e83-4dfd-85c5-bd8afbef5b73","year":2020},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T04:37:59.959663Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:b58d946243c7d220ee62c8c042b4270fbdcf3f86549a2de19d94805216211cc4","observation_id":"4205f471-b8b4-47ee-86d3-b822546de9fd","resolution":{"observed_at":"2026-08-07T04:38:01.373582Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.353295Z","title":"Distributed Optimization and Statistical Learning via the Alternating Direction Method of Multipliers.Foundations and Trends® in Machine Learning, 3(1):1–122, 2011","venue":null,"work_id":"d1b15415-872b-425c-a05f-1b2808987d76","year":2011},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T04:37:59.966053Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:81b2cac696e07a517b48025f650d74ad04ee73a9268c1077a94d9bd62f4d7758","observation_id":"efdf2190-10a7-456b-ab2d-a10f81e865ca","resolution":{"observed_at":"2026-08-07T04:38:01.358349Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19985","last_updated":"2024-12-28T03:07:00Z","snapshot_observed_at":"2026-08-14T13:40:14.142943Z","submitted_at":"2024-12-28T03:07:00Z","title":"The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-08-07T04:37:59.970837Z","title":"The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results.arXiv Preprint arXiv:2412.19985, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T04:37:59.970837Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:af89da70d4c3ff85e827a329181212567b0241726a9e9c1686516c93d06fac8f","observation_id":"a7caee1c-ab5a-4df4-89da-b7922f5f0070","resolution":{"observed_at":"2026-08-07T04:37:59.970837Z","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-07T04:38:01.337543Z","title":"A Unified View of Piecewise Linear Neural Network Verification.Advances in Neural Information Processing Systems, 31, 2018","venue":null,"work_id":"fb12e8a4-5292-4807-a4ed-c0d15313a518","year":2018},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T04:37:59.978342Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:32424ffefc666f4e929885c656e4bab439c077480933b3f76805a8bcb4c99b97","observation_id":"8922dc2c-e6ba-42cf-90c5-d11a82a823bb","resolution":{"observed_at":"2026-08-07T04:38:01.343035Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.315114Z","title":"End-to-End Autonomous Driving: Challenges and Frontiers.IEEE Transactions on Pattern Analysis and Machine Intelligence, 2024","venue":null,"work_id":"2b9ca90c-07c0-468c-b755-007ad4469647","year":2024},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T04:37:59.985076Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:1770467d10c40e7550cc222e1c15f26b4e50e57437a825469416d36e1119a4fc","observation_id":"23ce62de-79cf-4423-be84-30f1f2ef87c5","resolution":{"observed_at":"2026-08-07T04:38:01.321548Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.296629Z","title":"Maximum Resilience of Artificial Neural Networks","venue":null,"work_id":"e61c1379-02b0-4b6c-a64d-916796fe1738","year":2017},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T04:37:59.990285Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:cfb6ba676eb1f422a614332103cb0ab781d0135e0d3371c91175d69c07b6af2f","observation_id":"f24c578c-c827-411b-a41f-8a7f29d65758","resolution":{"observed_at":"2026-08-07T04:38:01.302720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.278944Z","title":"Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations","venue":null,"work_id":"13c82f46-a4aa-4ded-a4b5-daa858ad14f3","year":2023},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T04:37:59.995525Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:292cdfa11d58e736a3c1a1bce8e22635925185b31065d16773fc5d4ad41f5d4e","observation_id":"359f69a0-ab43-4caa-858c-ae5dcfc4ac9b","resolution":{"observed_at":"2026-08-07T04:38:01.284056Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.261125Z","title":"Certified Adversarial Robustness via Randomized Smoothing","venue":null,"work_id":"39f5bee5-4ec3-49f5-ba25-f8802877c986","year":2019},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.000798Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:3e12f53d53e81c4cc32d632d75f5a3088bf2d9f296f3ed6ddb892bc22e4b747e","observation_id":"d31dd728-f8b3-4d0f-9bee-b8e1a48a32fc","resolution":{"observed_at":"2026-08-07T04:38:01.266672Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.236251Z","title":"Enabling Certification of Verification-Agnostic Networks via Memory-Efficient Semidefinite Programming.Advances in Neural Information Processing Systems, 33:5318–5331, 2020","venue":null,"work_id":"3046ebe9-7b9b-4c48-b959-ecac4231de62","year":2020},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.013142Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:6efd84839ee3d0341b1bd8053ba6f2b578d04a5ed9960c8a8e129c30575d4253","observation_id":"742f1e58-fa4e-4153-8014-2d17e8b1a5aa","resolution":{"observed_at":"2026-08-07T04:38:01.243796Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.214952Z","title":"The MNIST Database of Handwritten Digit Images for Machine Learning Research.IEEE Signal Processing Magazine, 29(6):141–142, 2012","venue":null,"work_id":"4665b274-1ea2-4648-b880-818138352521","year":2012},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.020969Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:52cf6320e1cf8f0349417b491726bddaa9ae996ab37c3e7f2d394c0d460a9d0d","observation_id":"a971e7f6-f969-47bf-9147-d45bc19c10a4","resolution":{"observed_at":"2026-08-07T04:38:01.221657Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.187179Z","title":"Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks","venue":null,"work_id":"e04bbbc5-a19d-4eac-9dd1-e37bfedf6398","year":2017},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.033637Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:6fdd656d2c3d58098839633f28c479f91a01cfc5f8d5d6d2a9fb540830d448f0","observation_id":"6c7b0dd2-4b9d-4935-824c-7fc0e0e23e90","resolution":{"observed_at":"2026-08-07T04:38:01.193667Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.15594","last_updated":"2024-11-05T21:38:35Z","snapshot_observed_at":"2026-08-16T14:31:49.123646Z","submitted_at":"2023-12-25T03:05:09Z","title":"Scalable Approximate Optimal Diagonal Preconditioning","version":2},"cited_work":{"arxiv_id":"2312.15594","doi":null,"metadata_source":"pith","pith_arxiv_id":"2312.15594","snapshot_observed_at":"2026-08-07T04:38:00.445228Z","title":"Scalable Approximate Optimal Diagonal Preconditioning","venue":"math.NA","work_id":"af0851b5-6d91-45ef-ad2f-0a81c881009d","year":2023},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.039861Z"},"links":{"cited_paper":"/paper/2312.15594","citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:1e5a3d8f2c10eba1abe4105aebf5632b0d068ea37971156acf0f3b90e9b9297f","observation_id":"c6e8a0f4-c70b-40bd-91e2-c461c998438c","resolution":{"observed_at":"2026-08-07T04:38:00.452826Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6572","last_updated":"2015-03-20T20:19:16Z","snapshot_observed_at":"2026-08-12T17:13:46.394331Z","submitted_at":"2014-12-20T01:17:12Z","title":"Explaining and Harnessing Adversarial Examples","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6572","snapshot_observed_at":"2026-08-07T04:38:00.048224Z","title":"Explaining and Harnessing Adversarial Examples","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.048224Z"},"links":{"cited_paper":"/paper/1412.6572","citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:87b2fc56b9af2692c15d68561676dfb31bfe9a882b562b5c45c09ebba7058f2d","observation_id":"b6e553df-87ac-4f75-9fd1-46bad7cac339","resolution":{"observed_at":"2026-08-07T04:38:00.048224Z","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-07T04:38:01.164196Z","title":"Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search","venue":null,"work_id":"049662ed-68d7-495b-bcfa-643effe0e472","year":2020},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.058325Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:c546377ae450da09541677bc300ba503bc0498ddda2fa4e28303d36c339b40f8","observation_id":"7014157b-eece-44f6-83bc-fb1efbe6a534","resolution":{"observed_at":"2026-08-07T04:38:01.172088Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.138032Z","title":"Cambridge University Press, Cambridge, England, 2 edition, Oct 2012","venue":null,"work_id":"754d5602-02aa-4106-9f90-fd368c67ced3","year":2012},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.066780Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:cb16fd4d02228a0dc800589314843bda90235443514e0d4b0ddd42ca85cd23ef","observation_id":"d210fdf7-ac1c-465f-885e-ce98a381b7c2","resolution":{"observed_at":"2026-08-07T04:38:01.144423Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.109098Z","title":"Facial Reduction for Symmetry Reduced Semidefinite and Doubly Nonnegative Programs.Mathematical Programming, 200(1):475–529, 2023","venue":null,"work_id":"08d5b72b-dd2b-4978-8942-ee59d18f86a2","year":2023},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.073274Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:7d05a90b36bb25ab9bc548193a1adb6f3bda78a747266ee8961cbfbaf7560212","observation_id":"c174aaf8-5b54-4e0f-91f2-4dd45ba878f6","resolution":{"observed_at":"2026-08-07T04:38:01.121389Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.083043Z","title":"Safety Verification of Deep Neural Networks","venue":null,"work_id":"e4735227-f454-4018-b022-dc5d2435ff5c","year":2017},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.082987Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:f398356831fc0a366073536f1ec042979a15a9af8ae0a59f368339aceaf07efa","observation_id":"c36626f0-75e3-4888-9860-9719097ef45c","resolution":{"observed_at":"2026-08-07T04:38:01.089530Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.059732Z","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","venue":null,"work_id":"a4649a74-83f2-4dcf-88a9-46bbc9cee5d3","year":2017},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.095131Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:f6ac60f1540dba4d0b64ed3a7847af28851d13ee4c1ddcbfef7c42ec737b8098","observation_id":"caa7b2e8-4212-45cc-ae7e-99b185c070c8","resolution":{"observed_at":"2026-08-07T04:38:01.065828Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.040868Z","title":"Reluplex: A Calculus for Reasoning About Deep Neural Networks.Formal Methods in System Design, 60(1):87–116, 2022","venue":null,"work_id":"3af4bbf2-a359-4d70-a166-8f21ebd01841","year":2022},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.102814Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:d2566e686b665b66838f009c4ae94c6ad975322a6c0495e072a5b7301d53bc9f","observation_id":"93212bfb-4f0a-4a6f-b848-ba7fc20a5d54","resolution":{"observed_at":"2026-08-07T04:38:01.046938Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:01.018500Z","title":"ImageNet Classification With Deep Convolutional Neural Networks.Advances in Neural Information Processing Systems, 25, 2012","venue":null,"work_id":"cea877ab-78c1-468b-92f3-81533b1aeccd","year":2012},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.109065Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:d0c02babacb563ad738b472fbfa86cdfb9c7fb12650e008f708c1f391aa647cd","observation_id":"2df4720a-bf95-4ded-99bf-546790fea349","resolution":{"observed_at":"2026-08-07T04:38:01.027303Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.997510Z","title":"A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification","venue":null,"work_id":"52edb5ce-4733-434b-a865-f06d51fe2c86","year":2023},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.117594Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:1e8122543e9ba62dc4bfc6f0c8739059e69971ddfc6051e4da3e2996627baec1","observation_id":"65bb556a-69e2-4117-8c8c-c2d26fb767e0","resolution":{"observed_at":"2026-08-07T04:38:01.004526Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.972335Z","title":"World Scientific, 2009","venue":null,"work_id":"337a9a18-45fb-4b1a-ae9f-37fe2f6ef4d7","year":2009},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.126179Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:fd8d6c0e159ef237d502687fc8f5a3fb77769992af6feb50361bde2a2fd33fd7","observation_id":"ebf4718c-cf66-4537-a47b-47604d9e1cc7","resolution":{"observed_at":"2026-08-07T04:38:00.980311Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.953880Z","title":"SoK: Certified Robustness for Deep Neural Networks","venue":null,"work_id":"5191f2f0-b4cd-4f95-9253-a363804aaf2b","year":2023},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.130875Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:a659d0599e36b49a0caaa2b3118e84585199e53d3c189acd584cc2d44f688b6d","observation_id":"b01fb00d-d5d1-49ca-97a0-258b87244836","resolution":{"observed_at":"2026-08-07T04:38:00.959173Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.936887Z","title":"An ADMM-Based Interior-Point Method for Large-Scale Linear Programming.Optimization Methods and Software, 36(2-3):389–424, 2021","venue":null,"work_id":"d676098c-8fa3-4962-81b8-02ad25921d4f","year":2021},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.136504Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:64fabc8bf39c511d4ba0392a632ad3ef0ba9d34c086e975a8359610648da7732","observation_id":"86d3e5c2-fcd1-4c3c-b8bc-acce2f3afcd2","resolution":{"observed_at":"2026-08-07T04:38:00.942608Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1706.07351","last_updated":"2017-06-22T14:59:49Z","snapshot_observed_at":"2026-08-16T03:29:37.613917Z","submitted_at":"2017-06-22T14:59:49Z","title":"An approach to reachability analysis for feed-forward ReLU neural networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1706.07351","snapshot_observed_at":"2026-08-07T04:38:00.143913Z","title":"An Approach to Reachability Analysis for Feed-Forward ReLU Neural Networks.arXiv Preprint arXiv:1706.07351, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.143913Z"},"links":{"cited_paper":"/paper/1706.07351","citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:ffb79ddb0619f5551a44509f70976fdb183560de621d6ee62fa8eb22b18edef9","observation_id":"cbfcaa1f-abaa-4462-a3a9-60d6d0990fb8","resolution":{"observed_at":"2026-08-07T04:38:00.143913Z","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-07T04:38:00.907419Z","title":"A Structural Geometrical Analysis of Weakly Infeasible SDPs.Journal of the Operations Research Society of Japan, 59(3):241–257, 2016","venue":null,"work_id":"3af870e6-72be-4a72-a980-a12627d07035","year":2016},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.152073Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:178b9cdf23d8d8d932181d04adcd0048c62ff25f0f7e7f826415d6eb717d2400","observation_id":"e9fa1202-0b32-4441-8240-78730385353c","resolution":{"observed_at":"2026-08-07T04:38:00.920270Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.886720Z","title":"Towards Deep Learning Models Resistant to Adversarial Attacks.International Conference on Learning Representations, 2018","venue":null,"work_id":"83f9d483-0854-4a0e-a3c2-480dd7c96e75","year":2018},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.158667Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:7f9d5cb7c7b33ccc0949d657fcba99bbf2291efc5bfd6c2f95f28f31a5f8f049","observation_id":"90aaa070-9ef6-42d4-84dd-4df349a5eff2","resolution":{"observed_at":"2026-08-07T04:38:00.893309Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.866801Z","title":"A Numerical Evaluation of Highly Accurate Multiple-Precision Arithmetic Version of Semidefinite Programming Solver: SDPA-GMP, -QD and -DD","venue":null,"work_id":"b6dafc2e-2532-4941-a896-f0bfa9c939c5","year":2010},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.165272Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:27d734e048a1074c392d745de53d79558efd37c041ea0a77ae5fba062a612810","observation_id":"07bc43bd-6766-420c-8712-d013f34b260d","resolution":{"observed_at":"2026-08-07T04:38:00.872218Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.849562Z","title":"California Institute of Technology, 2000","venue":null,"work_id":"2f20d0f0-de95-4c1b-aa9d-64a627a98694","year":2000},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.171250Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:f1d42be7bb62439521a907dceb526a9ead219c60d094d95fa264ed9619d10d5b","observation_id":"dad83c6d-ae6b-485a-9304-c9beeea7b372","resolution":{"observed_at":"2026-08-07T04:38:00.854971Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.831543Z","title":"Partial Facial Reduction: Simplified, Equivalent SDPs via Approximations of the PSD Cone.Mathematical Programming, 171:1–54, 2018","venue":null,"work_id":"1822d1dd-ce8e-4711-8927-2776f461a930","year":2018},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.177214Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:9f68edb5cb5bcfc7daae01d1aa4fa5bb4514f66636799c15c1b6619711c45a71","observation_id":"d2cff32e-1fe0-4085-bef1-850259bec8cd","resolution":{"observed_at":"2026-08-07T04:38:00.837184Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.816213Z","title":"Semidefinite Relaxations for Certifying Robustness to Adversarial Examples.Advances in Neural Information Processing Systems, 31, 2018","venue":null,"work_id":"12ca1e74-a877-4d0f-a4ef-d2a320b372a5","year":2018},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.184892Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:7e00ee6af0c5142f1bf81ea9daece80b595e3f7818d513f3b8ded066ac13af00","observation_id":"0cf1a5f8-a0e8-40fc-9be4-e5dca83a7489","resolution":{"observed_at":"2026-08-07T04:38:00.821142Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.798687Z","title":"A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks.Advances in Neural Information Processing Systems, 32, 2019","venue":null,"work_id":"7b359852-13fb-4cc5-888b-afb3f91c05bd","year":2019},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.189678Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:49a21dc17212df9d174c99bebb267029265acc46c9b8b1fe18d18b278883ba0a","observation_id":"9fddd7e1-a345-4186-ae4d-7a845a920c67","resolution":{"observed_at":"2026-08-07T04:38:00.804123Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.777527Z","title":"Perturbation Analysis of Singular Semidefinite Programs and Its Applica- tions to Control Problems.Journal of Optimization Theory and Applications, 188:52–72, 2021","venue":null,"work_id":"2afac9f4-b9ca-4cb7-8a70-f88ddb2c340c","year":2021},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.195769Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:3d559f02f4bb2e7568d9a29b78397c050124b3671f52a302cbccb09337105132","observation_id":"e6d0ab6f-5082-4e2d-a785-e4f24b783be5","resolution":{"observed_at":"2026-08-07T04:38:00.786259Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.756117Z","title":"An Abstract Domain for Certifying Neural Networks.Proceedings of the ACM on Programming Languages, 3(POPL):1–30, 2019","venue":null,"work_id":"5af72e29-c651-4c63-9107-4830921e34c2","year":2019},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.201176Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:34e5c3426d02f585d11cc3c694e8c4b2f72f4cf5f2070b3db653c5f4a4edc620","observation_id":"69866369-8374-4de4-ab8f-aa23b8823ed4","resolution":{"observed_at":"2026-08-07T04:38:00.763559Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.732156Z","title":"SDPNAL+: A MATLAB Software for Semidefinite Programming With Bound Constraints (Version 1.0).Optimization Methods and Software, 35(1):87– 115, 2020","venue":null,"work_id":"00dddce5-1ad7-49f7-adce-4b13906a9ceb","year":2020},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.207091Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:786014de86b0ab1a7c5c620f8f547b6b978537bc9a92b1aa5bfbbcc1fe80c70b","observation_id":"7f806c7a-7ed9-4751-8475-9ebb571273f1","resolution":{"observed_at":"2026-08-07T04:38:00.739295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.714977Z","title":"Intriguing Properties of Neural Networks","venue":null,"work_id":"38eafc06-df55-4c49-b396-2b91939ce0cf","year":2014},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.214780Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:46815462c68f9d7d2ae3d200f732114c61c5a7e62a680a2d84dbb4e97dbd9c47","observation_id":"bebeeade-e7f3-48a8-9d6a-332c9fd7a3b7","resolution":{"observed_at":"2026-08-07T04:38:00.720651Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1711.07356","last_updated":"2019-02-18T04:39:10Z","snapshot_observed_at":"2026-08-14T20:11:53.201463Z","submitted_at":"2017-11-20T15:05:33Z","title":"Evaluating Robustness of Neural Networks with Mixed Integer Programming","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1711.07356","snapshot_observed_at":"2026-08-07T04:38:00.222117Z","title":"Evaluating Robustness of Neural Networks With Mixed Integer Programming.arXiv Preprint arXiv:1711.07356, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.222117Z"},"links":{"cited_paper":"/paper/1711.07356","citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:ab8c270b7161decabf258ab9c376b5aec602e3f3fe679258092bb6324c936baa","observation_id":"daa68dd5-2cc1-4f84-b4e2-40b133d3c69f","resolution":{"observed_at":"2026-08-07T04:38:00.222117Z","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-07T04:38:00.696700Z","title":"Practical First-Order Methods for Large-Scale Semidefinite Programming","venue":null,"work_id":"5632693d-36ea-4174-9b7a-1dc8f74a9e04","year":2014},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.228631Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:2e64c90a92d9c1724a089c9b007bd65080bb17fa403bca9bad982369bb068d3a","observation_id":"8d74474e-6849-43d1-b860-0b4e905dcc41","resolution":{"observed_at":"2026-08-07T04:38:00.702933Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.679273Z","title":"Facial Reduction Algorithms for Conic Optimization Problems.Journal of Optimization Theory and Applications, 158:188–215, 2013","venue":null,"work_id":"64276ba5-d693-4006-bda6-fec00156b24a","year":2013},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.236685Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:c2dba7eb951fd080bd8fa57be8f1eeefe1fbd4340cf3563c2248423dc1e06612","observation_id":"abb6b4cd-6727-4786-95da-51ceead8cc43","resolution":{"observed_at":"2026-08-07T04:38:00.684453Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.662898Z","title":"Efficient Formal Safety Analysis of Neural Networks.Advances in Neural Information Processing Systems, 31, 2018","venue":null,"work_id":"86a12685-d293-4710-b3c4-541b46697c6c","year":2018},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.242151Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:486aaea6821855dbc7d99037481f9c6338a823c19618e3096a7a992c633d100d","observation_id":"a56511a0-64c5-4a03-b37b-e3e262412d8e","resolution":{"observed_at":"2026-08-07T04:38:00.667989Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.646638Z","title":"Beta-CROWN: Efficient Bound Propagation With Per-Neuron Split Constraints for Neural Network Robustness Verification","venue":null,"work_id":"c5a0c86f-138d-4a11-b390-f8ab099c2195","year":2021},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.247423Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:e067c8b963de8ee8d8346889bc57095c2fcc084c7d362fbbb8a121fed00d97c3","observation_id":"c1a7724e-aa3a-4d1b-a44b-25f36d40093d","resolution":{"observed_at":"2026-08-07T04:38:00.651601Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.630825Z","title":"Towards Fast Computation of Certified Robustness for ReLU Networks","venue":null,"work_id":"ea3bcd75-19cb-443a-b03a-8379aa1b0618","year":2018},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.252809Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:0335977821fc94e0e872670ad77deb3ce3a011c50b65e4b8cfa5635bff193cb0","observation_id":"38a9f8b8-1e5f-44a8-9839-4da428399301","resolution":{"observed_at":"2026-08-07T04:38:00.636178Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.612925Z","title":"Provable Defenses Against Adversarial Examples via the Convex Outer Adversarial Polytope","venue":null,"work_id":"53ac4464-a9a6-4145-b257-726d3466a056","year":2018},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.257956Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:dd6deb7973f98328ba99c987b118c18e02608492aa2a1c8f3fa555fefbb8c47b","observation_id":"bc37be23-195d-4d0a-894c-7fd31672b835","resolution":{"observed_at":"2026-08-07T04:38:00.619068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.594503Z","title":"Numerical Optimization, 2006","venue":null,"work_id":"9339cf1d-ceab-4603-8aae-d7c62fd3b38e","year":2006},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.263277Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:f4745e0d8fd76872275c544fc61818b2ff83b238308ccad3fbb00968da7098ab","observation_id":"44446fd4-c8c0-4e6b-a896-34bcc00491bb","resolution":{"observed_at":"2026-08-07T04:38:00.599369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1708.07747","last_updated":"2017-09-15T21:29:49Z","snapshot_observed_at":"2026-08-13T15:13:33.081929Z","submitted_at":"2017-08-25T14:01:29Z","title":"Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1708.07747","snapshot_observed_at":"2026-08-07T04:38:00.267928Z","title":"Fashion-MNIST: A Novel Image Dataset for Benchmarking Machine Learning Algorithms.arXiv Preprint arXiv:1708.07747, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.267928Z"},"links":{"cited_paper":"/paper/1708.07747","citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:94705584776210590d69d08ae670e9495134a4b0a0b4e09aa56f19ff948bc04f","observation_id":"ddb6873e-face-4d86-b577-30d337af9707","resolution":{"observed_at":"2026-08-07T04:38:00.267928Z","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-07T04:38:00.574336Z","title":"Fast and Com- plete: Enabling Complete Neural Network Verification With Rapid and Massively Parallel Incomplete Verifiers","venue":null,"work_id":"cb44c2f0-5196-42a7-93c7-7f12f8674d76","year":2022},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.272962Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:0d480ca3c4f22e92f783229350aac4a23f1dedb8a90902075a6aa5fc937c63ab","observation_id":"648ed773-874d-4e6c-9811-6d5ee88a4fe7","resolution":{"observed_at":"2026-08-07T04:38:00.580924Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.556653Z","title":"Latest Developments in the SDPA Family for Solving Large-Scale SDPs.Handbook on Semidefinite, Conic and Polynomial Optimization, pages 687–713, 2012","venue":null,"work_id":"b5732533-bc4d-47c7-821d-de34da845c32","year":2012},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.278289Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:2a207f62cfc446f145c20296c70a26733be087f3341925ca69901a28be51a9f8","observation_id":"19e61ad7-dc06-461e-bc1a-9a7974ce323a","resolution":{"observed_at":"2026-08-07T04:38:00.561946Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-07T04:38:00.534830Z","title":"A High-Performance Software Package for Semidefinite Programs: SDPA 7.Handbook on Semidefinite, Conic and Polynomial Optimization, 2010","venue":null,"work_id":"3451e49b-a8a8-4e65-ab11-ffcb799b89e3","year":2010},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.283633Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:9729de75fcf26d58054ed99d1538f0e0f3b79f0f00df0b152d3a5108c2a31f50","observation_id":"648fa9d3-d246-4973-95d0-bf743b94fde4","resolution":{"observed_at":"2026-08-07T04:38:00.540530Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1212.5701","last_updated":"2012-12-22T15:46:49Z","snapshot_observed_at":"2026-08-15T00:34:41.793608Z","submitted_at":"2012-12-22T15:46:49Z","title":"ADADELTA: An Adaptive Learning Rate Method","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1212.5701","snapshot_observed_at":"2026-08-07T04:38:00.290137Z","title":"ADADELTA: an Adaptive Learning Rate Method.arXiv preprint arXiv:1212.5701, 2012","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.290137Z"},"links":{"cited_paper":"/paper/1212.5701","citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:9145ee950405ff3ea54c4968a9a6b8723f4b893ffed4febca3f458735faec2a9","observation_id":"5c618eda-7e14-40c1-8bdf-c1f59411fde4","resolution":{"observed_at":"2026-08-07T04:38:00.290137Z","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-07T04:38:00.506450Z","title":"Scalable Neural Network Verification With Branch-and-Bound Inferred Cutting Planes.Advances in Neural Information Processing Systems, 2024","venue":null,"work_id":"47090c25-7ee2-4c81-9533-ac60b2ba56c7","year":2024},"citing_paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:00.298103Z"},"links":{"citing_paper":"/paper/2506.10269"},"observation_digest":"sha256:f2e8f9e8c77b78b8989e7ee684d4e693a04c7b98d16b8d2e10d67d45a033d033","observation_id":"9bfe577f-c022-4008-8869-d1118f3500fe","resolution":{"observed_at":"2026-08-07T04:38:00.513620Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.10269","last_updated":"2025-06-12T01:25:21Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-12T12:21:33.892434Z","submitted_at":"2025-06-12T01:25:21Z","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification"},"reference_resolution":{"displayed":55,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":1,"verified_fuzzy":46},"total_outbound_references":55},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 0 inbound Pith citation observations for arXiv:2506.10269."}