{"as_of":"2026-08-09T04:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4855c116139e3d7d285be52bb17494f56e259bbd6c4812247669b89eadad947c","coverage":[{"denominator":46,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":46,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-12T03:57:46.650349Z","state":"measured"},{"denominator":46,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":46,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2607.03232/citation-record","integrity":"/paper/2607.03232/integrity","json":"/paper/2607.03232/citation-record.json","paper":"/paper/2607.03232"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"Journal of Global Optimization43(2), 471–484 (2009)","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:d35f3a5b2d5a9352c70d9aa9d6df1166530e8e5111fe76723e281455aa135013","observation_id":"ee23adaf-ca62-408c-b0d8-647c72b10072","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:b853614986b5913c601276464e8b8ba2e3d7322607b5c66ccd45b0d55db254c5","observation_id":"0e9fc9c0-ed08-4e26-bdc6-0a7dc63b56fb","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"AAAI34(04), 3291–3299 (Apr 2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:2be953f7dc9c1a70859aba74fe58d4c04928b5a2e7fdc286b1475094f05664e4","observation_id":"f52d61f9-4780-432c-aace-4c8a91d03289","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"JMLR (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:e918ef0000e546d6da5e71aa3a1202d29d45d8e0d374390a98ab1a1011cee620","observation_id":"d3277c67-2726-490e-b759-85caa5d2519c","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1608.04644","last_updated":"2017-03-22T17:46:16Z","snapshot_observed_at":"2026-07-06T05:07:10.046451Z","submitted_at":"2016-08-16T15:59:35Z","title":"Towards Evaluating the Robustness of Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1608.04644","snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"cited_paper":"/paper/1608.04644","citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:d3238f794651f4393d1c6e10130d3a1291d7915de4e00ae3cb0511c625cdde00","observation_id":"91a15cd5-9881-487f-a5a1-8b9ee8db3e44","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"In: D’Souza, D., Narayan Kumar, K","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:a0db86675974292a86777d2cc3bc1e772e227e2e008689a6f42bc7568fce8128","observation_id":"df07bf10-6dc5-49ca-8265-3c88d00e9ad9","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:f7c1b8b1b111ed415e0d66e7ad328288d56df1654be2be2fa8c7dfb3faf55af6","observation_id":"354c40f9-187e-458f-b12a-14af3a072d16","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"In: ICML","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:dd64fafc376d772c3f39ef9c45c3244c8839f42fb022c5846b50b68564cf46e5","observation_id":"ce56ddba-1617-41cf-bdc3-49293b19eb30","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"NeurIPS (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:529341868238fcb57f909740f496ed9432932802a801d3a49ae21ff89e365136","observation_id":"cf62e818-3c0e-42be-9156-c12262a3f2c9","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1705.01320","last_updated":"2017-08-02T09:21:18Z","snapshot_observed_at":"2026-07-06T05:40:40.224417Z","submitted_at":"2017-05-03T09:13:10Z","title":"Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1705.01320","snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"cited_paper":"/paper/1705.01320","citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:afba198ff3e14e6becdaea7ad7775e3dfa4461520fa04fec51ecfd1b352c8376","observation_id":"9eb419eb-b5b6-4533-8a18-134c690a9e2d","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.00263","last_updated":"2022-04-30T13:12:33Z","snapshot_observed_at":"2026-07-06T13:05:23.190497Z","submitted_at":"2022-04-30T13:12:33Z","title":"Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.00263","snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"cited_paper":"/paper/2205.00263","citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:1e9afe23a21a6e755532dd54532ee0d8b9103091e4219d39c2ae537a4c63524f","observation_id":"03e12d79-a5a9-4c98-8f01-b8432b15313e","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"Constraints23(3), 296–309 (Jul 2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:26cdce2ace80a6a1c72317a790eb8198203be31d271468138717ac46251595a6","observation_id":"185932f8-4cdc-43c3-8a3c-2084bf69b799","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6572","last_updated":"2015-03-20T20:19:16Z","snapshot_observed_at":"2026-07-06T04:04:16.777653Z","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-07-12T03:57:46.650349Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"cited_paper":"/paper/1412.6572","citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:74b475975cf9c5a7130ebcc5acd652742d49d4922a51c7bde10e36ca5dfef4bd","observation_id":"660ad395-a82c-433d-8062-6983cefbc2cd","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"In: IJCAI","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:14de0890ccc7e599097cc8796d54ec070feb3c6cdb79404c1148667b691664ca","observation_id":"5ab04dbd-5a3f-488a-a8b6-f09d287af593","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.15049","last_updated":"2024-08-24T03:01:20Z","snapshot_observed_at":"2026-07-06T18:49:38.316515Z","submitted_at":"2024-07-21T04:21:40Z","title":"Accelerating Low-Rank Factorization-Based Semidefinite Programming Algorithms on GPU","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.15049","snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"https://doi.org/10.48550/arXiv.2407.15049, http://arxiv.org/abs/2407.15049, arXiv:2407.15049 [math.OC]","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"cited_paper":"/paper/2407.15049","citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:adc778fcc10cfe34bcae7a11c5ab7cc501817bc7314f89acd9a32ace664958a0","observation_id":"bb602ff0-de61-4e2a-9520-aefe23c0ca96","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"In: IJCAI","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:6a78e8993deb9c780d926269b41d874c969dc60c887495dae63a4fafd7bbbd26","observation_id":"1f75fd22-3053-45b1-844f-856540c56994","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:b383d71f9136c2956280379778f066fcd9ecfa824990e7e9ff3deadd28e6ed2d","observation_id":"2cf30c6a-d58a-44d0-bb1b-69ef9174ba48","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.12855","last_updated":"2021-07-27T14:42:57Z","snapshot_observed_at":"2026-08-04T04:32:33.042628Z","submitted_at":"2021-07-27T14:42:57Z","title":"Neural Network Branch-and-Bound for Neural Network Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.12855","snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"cited_paper":"/paper/2107.12855","citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:b68a1e3c83c1261a16032f2d965705682a44ad22dd2aabbf16b4699dcc779d22","observation_id":"ed42ab2e-6fc4-4025-aaa5-4e4619f4c1fb","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"Advances in neural information processing systems33, 3647–3658 (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:2594a5fbe01293711b5c46b4facb1c31d50248c294bfd5a2ac264cbc6c9fe65b","observation_id":"b565a5f0-2ed7-43f4-acd6-4a274125847f","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1702.01135","last_updated":"2017-05-19T04:50:29Z","snapshot_observed_at":"2026-08-03T13:57:22.564852Z","submitted_at":"2017-02-03T19:26:01Z","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1702.01135","snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"Computer Aided Verification (May 2017), arXiv:1702.01135 [cs]","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"cited_paper":"/paper/1702.01135","citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:06806859da45c523d72f8f136d6560dfa10a592b15c125057285ed6acaa1722c","observation_id":"49fc25f3-ab35-4bef-9c27-018c0309acc8","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:11973f95e5679c4d49bee49339b7cb4337481c80deb81e7d75b3cf735cd50ccf","observation_id":"640ee476-3be5-4ef5-b0f2-153a55bbd62c","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"AAAI 37(12), 14946–14954 (Jun 2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:09fd168a7528bd1fa0d91257e4ef5fef752936a0350681ed7343fe13e26cea3b","observation_id":"29b7c840-ae83-494a-a4ec-f9b3421b1ed4","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"AAAI36(7), 7272– 7280 (Jun 2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:b5ca50120585e5871b80d76b5812069e6e43ec199677a057341e645c99046f18","observation_id":"944b1350-94ad-42f3-838a-fb164e29b433","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"AAAI37(12), 14937–14945 (Jun 2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:a81ed0a3fa33c949b249b4fd665d2a4afa23db37dcbd60778677cac27db5cf0c","observation_id":"2ff18e1a-affc-419e-9f2e-be825f4f1f63","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2009.04131","last_updated":"2023-04-12T08:51:12Z","snapshot_observed_at":"2026-08-05T18:33:52.471004Z","submitted_at":"2020-09-09T07:00:55Z","title":"SoK: Certified Robustness for Deep Neural Networks","version":9},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.04131","snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"IEEE symposium on security and privacy (SP) (Apr 2023), arXiv:2009.04131 [cs]","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"cited_paper":"/paper/2009.04131","citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:7b6bfb0eb9299e00c634b32f1a5ac5333d4c912d86fb14c9831b1480837f2c15","observation_id":"637e9bd1-5bb1-4712-b049-0f55c599c2fc","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.23197","last_updated":"2025-07-31T02:43:57Z","snapshot_observed_at":"2026-08-07T21:16:00.646593Z","submitted_at":"2025-07-31T02:43:57Z","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.23197","snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"cited_paper":"/paper/2507.23197","citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:e4254fd2206ab4fe670703f390edc959a1097d6afbec9dd5fc13247490967e84","observation_id":"d60429b3-5cf4-4123-814c-c940166f9b99","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"ICLR (Dec 2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:1cf1353150494b6ad192c22739275378cd5cf53835dd64c5ed893c35a2a56f6d","observation_id":"a2294dec-900f-4e71-92a2-c8016f9461dc","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:71fe0db1ac1347e65503f7ccee3e232e83a632ca544d61e65e0d655bae270ada","observation_id":"c46ff68d-a609-4cee-aeff-92e899be16ca","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"Mathematical Pro- gramming10(1), 147–175 (1976)","venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:91c06ceec8d3c589c6b48563260ad34b387ba7005a6a30bf5cb2b918dbd5fd58","observation_id":"8a209594-a3b2-482e-9fb3-125fa247c0a7","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"In: CVPR","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:d0930de79fb977929093fccf745ade5218af22177a10e3114b0329ff9087531e","observation_id":"67c21f37-8b9f-4811-9040-574970e58b2a","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"Version 9.2","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:386889ffceeaed7e3594ee8dbb03d36799ef52616a13b9a139cf20f34045f4d2","observation_id":"6d70f1da-3e52-49bf-902b-87d159330106","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:183dfb7522757416e801920bc1d10aa530d5dfe613994e50e0bd05d3c0f96638","observation_id":"0945b522-aa60-40d3-bc00-4a91a0880639","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"NeurIPS (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:fb287f7f104f73d8cc2c87dd028472c766d9c26688d3e6e3966183c21e07fcc9","observation_id":"a0fcc87a-b691-43dc-a96c-0d3084abb4b3","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"NeurIPS (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:f0d51098593e2f32a865e7c8fd0e89df3e50978ec42b9c6033f710d59e62137a","observation_id":"e270ce42-99dd-4202-b0ad-541756a5c6f5","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2001.00218","last_updated":"2020-02-22T16:09:43Z","snapshot_observed_at":"2026-07-06T08:48:02.438492Z","submitted_at":"2020-01-01T15:04:43Z","title":"Lossless Compression of Deep Neural Networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2001.00218","snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"cited_paper":"/paper/2001.00218","citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:73fbc2bfd18dc335838a23e1e05410a4a3086443db3dd1bdb1749a06a8fd938d","observation_id":"30b8fe21-837b-4c7c-a4be-d45aad5ecae3","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"SIAM Journal Discrete Mathematics3, 411–430 (1990)","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:b665807649b8dd582519771ecac75f960ee98fcf60b1ce73303f49bb0780ec33","observation_id":"7d3d740b-2572-4c3d-9396-4b0d8d6bc2da","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"Proceedings of the ACM on Programming Languages 3(POPL), 1–30 (Jan 2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:18b684712334b15c30fbf4370422b6fea1cd27adc3789373567cd312fd11304f","observation_id":"04e7e23a-e486-45b2-aa8f-9656a204237d","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"ICLR (Feb 2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:1508abbbeafaae9e94f3d95a79eedfc2cf8f6927e3026715164ed8b1fece7445","observation_id":"f51bf4cc-9703-4d05-854b-1b7380ad2b3b","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"Foundations and Trends in Optimization1(4), 241–433 (May 2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:c7d8a364df39afc11e90e15ea41d23203806de8b866e20dee24b4a4b0aad9f00","observation_id":"4bea480d-52ef-4df9-ad87-6afc8f32d9f5","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"NeurIPS (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:6baf32cb9df0b661ad31ae45d48cada7bc788398a40c97b1322abe7af15b0f0f","observation_id":"b31186be-e245-465b-8b63-825091cd863d","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"ICML (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:2b9c1654a13c38d827cd8c82577bec387f2f0052051388a2a8ea5a62eb821dcd","observation_id":"79315863-d90e-4f4f-b6d6-591da231b565","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"ICML (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:d1d6fc295ccad3ce3f39a0692f3aa30ceee92a97d23fb137fe96db853c68ea99","observation_id":"bd5b9af2-ae2f-4458-834c-13f9c9890bcd","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"In: Gurfinkel, A., Ganesh, V","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:24924a93b51319583d68422e8854331578d17b950585ac13ec71bc23bc093f40","observation_id":"265fa554-1e9a-4399-873a-9c68dbcb891c","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"NeurIPS (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:c45d8a93cd8dab94e8a1ff5c4198eb1efebdbfe51072761764027cf601fc45d5","observation_id":"b0ae8d34-49f9-45a1-b8d9-d720126546f3","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"NeurIPS (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:95f858c61d4b368d75322402ff69efd187e8805d8d783fd6358926ac61f8b7db","observation_id":"f248caa9-55da-41e3-9ae3-dc9b7f81096f","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T03:57:46.650349Z","title":"NeurIPS (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-12T03:57:46.650349Z"},"links":{"citing_paper":"/paper/2607.03232"},"observation_digest":"sha256:dbec99c862a978909afe0beca9ae8b8e4ac1652bfa140eaadded4e8d1fc86bd1","observation_id":"3f603d78-ce01-4470-ac2f-88a35aa7c4ee","resolution":{"observed_at":"2026-07-12T03:57:46.650349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.03232","last_updated":"2026-07-03T11:41:42Z","latest_version":1,"primary_category":"math.CO","snapshot_observed_at":"2026-08-07T10:16:49.298815Z","submitted_at":"2026-07-03T11:41:42Z","title":"Fast SDP certification of neural networks : towards large multi-class datasets"},"reference_resolution":{"displayed":46,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":46,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":46},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 0 inbound Pith citation observations for arXiv:2607.03232."}