Paper Citation Record · LEDGER

Fast SDP certification of neural networks : towards large multi-class datasets

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.

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

pith.paper-citation-record.v1
2607.03232 v1

Coverage vector

measured 46 of 46 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-12T03:57:46.650349Z

measured 46 of 46 standing notices

One-hop event checks from named stored sources.

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

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

46 of 46 outbound references displayed

verified exact0
verified fuzzy0
unresolved46
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ee23adaf-ca62-408c-b0d8-647c72b10072 · outbound

This paper cites Journal of Global Optimization43(2), 471–484 (2009).

Fast SDP certification of neural networks : towards large multi-class datasets Journal of Global Optimization43(2), 471–484 (2009)

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e9fc9c0-ed08-4e26-bdc6-0a7dc63b56fb · outbound

This paper cites In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence.

Fast SDP certification of neural networks : towards large multi-class datasets In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f52d61f9-4780-432c-aace-4c8a91d03289 · outbound

This paper cites AAAI34(04), 3291–3299 (Apr 2020).

Fast SDP certification of neural networks : towards large multi-class datasets AAAI34(04), 3291–3299 (Apr 2020)

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3277c67-2726-490e-b759-85caa5d2519c · outbound

This paper cites JMLR (2020).

Fast SDP certification of neural networks : towards large multi-class datasets JMLR (2020)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91a15cd5-9881-487f-a5a1-8b9ee8db3e44 · outbound

This paper cites Towards Evaluating the Robustness of Neural Networks.

Fast SDP certification of neural networks : towards large multi-class datasets Towards Evaluating the Robustness of Neural Networks

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df07bf10-6dc5-49ca-8265-3c88d00e9ad9 · outbound

This paper cites In: D’Souza, D., Narayan Kumar, K.

Fast SDP certification of neural networks : towards large multi-class datasets In: D’Souza, D., Narayan Kumar, K

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 354c40f9-187e-458f-b12a-14af3a072d16 · outbound

This paper cites an unresolved cited work.

Fast SDP certification of neural networks : towards large multi-class datasets Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce56ddba-1617-41cf-bdc3-49293b19eb30 · outbound

This paper cites In: ICML.

Fast SDP certification of neural networks : towards large multi-class datasets In: ICML

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf62e818-3c0e-42be-9156-c12262a3f2c9 · outbound

This paper cites NeurIPS (2018).

Fast SDP certification of neural networks : towards large multi-class datasets NeurIPS (2018)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9eb419eb-b5b6-4533-8a18-134c690a9e2d · outbound

This paper cites Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.

Fast SDP certification of neural networks : towards large multi-class datasets Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03e12d79-a5a9-4c98-8f01-b8432b15313e · outbound

This paper cites Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound.

Fast SDP certification of neural networks : towards large multi-class datasets Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 185932f8-4cdc-43c3-8a3c-2084bf69b799 · outbound

This paper cites Constraints23(3), 296–309 (Jul 2018).

Fast SDP certification of neural networks : towards large multi-class datasets Constraints23(3), 296–309 (Jul 2018)

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 660ad395-a82c-433d-8062-6983cefbc2cd · outbound

This paper cites Explaining and Harnessing Adversarial Examples.

Fast SDP certification of neural networks : towards large multi-class datasets Explaining and Harnessing Adversarial Examples

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ab04dbd-5a3f-488a-a8b6-f09d287af593 · outbound

This paper cites In: IJCAI.

Fast SDP certification of neural networks : towards large multi-class datasets In: IJCAI

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb602ff0-de61-4e2a-9520-aefe23c0ca96 · outbound

This paper cites Accelerating Low-Rank Factorization-Based Semidefinite Programming Algorithms on GPU.

Fast SDP certification of neural networks : towards large multi-class datasets Accelerating Low-Rank Factorization-Based Semidefinite Programming Algorithms on GPU

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f75fd22-3053-45b1-844f-856540c56994 · outbound

This paper cites In: IJCAI.

Fast SDP certification of neural networks : towards large multi-class datasets In: IJCAI

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cf30c6a-d58a-44d0-bb1b-69ef9174ba48 · outbound

This paper cites an unresolved cited work.

Fast SDP certification of neural networks : towards large multi-class datasets Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed42ab2e-6fc4-4025-aaa5-4e4619f4c1fb · outbound

This paper cites Neural Network Branch-and-Bound for Neural Network Verification.

Fast SDP certification of neural networks : towards large multi-class datasets Neural Network Branch-and-Bound for Neural Network Verification

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b565a5f0-2ed7-43f4-acd6-4a274125847f · outbound

This paper cites Advances in neural information processing systems33, 3647–3658 (2020).

Fast SDP certification of neural networks : towards large multi-class datasets Advances in neural information processing systems33, 3647–3658 (2020)

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49fc25f3-ab35-4bef-9c27-018c0309acc8 · outbound

This paper cites Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.

Fast SDP certification of neural networks : towards large multi-class datasets Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 640ee476-3be5-4ef5-b0f2-153a55bbd62c · outbound

This paper cites an unresolved cited work.

Fast SDP certification of neural networks : towards large multi-class datasets Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29b7c840-ae83-494a-a4ec-f9b3421b1ed4 · outbound

This paper cites AAAI 37(12), 14946–14954 (Jun 2023).

Fast SDP certification of neural networks : towards large multi-class datasets AAAI 37(12), 14946–14954 (Jun 2023)

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 944b1350-94ad-42f3-838a-fb164e29b433 · outbound

This paper cites AAAI36(7), 7272– 7280 (Jun 2022).

Fast SDP certification of neural networks : towards large multi-class datasets AAAI36(7), 7272– 7280 (Jun 2022)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ff18e1a-affc-419e-9f2e-be825f4f1f63 · outbound

This paper cites AAAI37(12), 14937–14945 (Jun 2023).

Fast SDP certification of neural networks : towards large multi-class datasets AAAI37(12), 14937–14945 (Jun 2023)

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 637e9bd1-5bb1-4712-b049-0f55c599c2fc · outbound

This paper cites SoK: Certified Robustness for Deep Neural Networks.

Fast SDP certification of neural networks : towards large multi-class datasets SoK: Certified Robustness for Deep Neural Networks

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d60429b3-5cf4-4123-814c-c940166f9b99 · outbound

This paper cites Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification.

Fast SDP certification of neural networks : towards large multi-class datasets Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2294dec-900f-4e71-92a2-c8016f9461dc · outbound

This paper cites ICLR (Dec 2019).

Fast SDP certification of neural networks : towards large multi-class datasets ICLR (Dec 2019)

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c46ff68d-a609-4cee-aeff-92e899be16ca · outbound

This paper cites an unresolved cited work.

Fast SDP certification of neural networks : towards large multi-class datasets Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a209594-a3b2-482e-9fb3-125fa247c0a7 · outbound

This paper cites Mathematical Pro- gramming10(1), 147–175 (1976).

Fast SDP certification of neural networks : towards large multi-class datasets Mathematical Pro- gramming10(1), 147–175 (1976)

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67c21f37-8b9f-4811-9040-574970e58b2a · outbound

This paper cites In: CVPR.

Fast SDP certification of neural networks : towards large multi-class datasets In: CVPR

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d70f1da-3e52-49bf-902b-87d159330106 · outbound

This paper cites Version 9.2.

Fast SDP certification of neural networks : towards large multi-class datasets Version 9.2

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0945b522-aa60-40d3-bc00-4a91a0880639 · outbound

This paper cites an unresolved cited work.

Fast SDP certification of neural networks : towards large multi-class datasets Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0fcc87a-b691-43dc-a96c-0d3084abb4b3 · outbound

This paper cites NeurIPS (2018).

Fast SDP certification of neural networks : towards large multi-class datasets NeurIPS (2018)

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e270ce42-99dd-4202-b0ad-541756a5c6f5 · outbound

This paper cites NeurIPS (2019).

Fast SDP certification of neural networks : towards large multi-class datasets NeurIPS (2019)

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30b8fe21-837b-4c7c-a4be-d45aad5ecae3 · outbound

This paper cites Lossless Compression of Deep Neural Networks.

Fast SDP certification of neural networks : towards large multi-class datasets Lossless Compression of Deep Neural Networks

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d3d740b-2572-4c3d-9396-4b0d8d6bc2da · outbound

This paper cites SIAM Journal Discrete Mathematics3, 411–430 (1990).

Fast SDP certification of neural networks : towards large multi-class datasets SIAM Journal Discrete Mathematics3, 411–430 (1990)

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04e7e23a-e486-45b2-aa8f-9656a204237d · outbound

This paper cites Proceedings of the ACM on Programming Languages 3(POPL), 1–30 (Jan 2019).

Fast SDP certification of neural networks : towards large multi-class datasets Proceedings of the ACM on Programming Languages 3(POPL), 1–30 (Jan 2019)

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f51bf4cc-9703-4d05-854b-1b7380ad2b3b · outbound

This paper cites ICLR (Feb 2019).

Fast SDP certification of neural networks : towards large multi-class datasets ICLR (Feb 2019)

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bea480d-52ef-4df9-ad87-6afc8f32d9f5 · outbound

This paper cites Foundations and Trends in Optimization1(4), 241–433 (May 2015).

Fast SDP certification of neural networks : towards large multi-class datasets Foundations and Trends in Optimization1(4), 241–433 (May 2015)

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b31186be-e245-465b-8b63-825091cd863d · outbound

This paper cites NeurIPS (2021).

Fast SDP certification of neural networks : towards large multi-class datasets NeurIPS (2021)

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79315863-d90e-4f4f-b6d6-591da231b565 · outbound

This paper cites ICML (2018).

Fast SDP certification of neural networks : towards large multi-class datasets ICML (2018)

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd5b9af2-ae2f-4458-834c-13f9c9890bcd · outbound

This paper cites ICML (2018).

Fast SDP certification of neural networks : towards large multi-class datasets ICML (2018)

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 265fa554-1e9a-4399-873a-9c68dbcb891c · outbound

This paper cites In: Gurfinkel, A., Ganesh, V.

Fast SDP certification of neural networks : towards large multi-class datasets In: Gurfinkel, A., Ganesh, V

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0ae8d34-49f9-45a1-b8d9-d720126546f3 · outbound

This paper cites NeurIPS (2022).

Fast SDP certification of neural networks : towards large multi-class datasets NeurIPS (2022)

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f248caa9-55da-41e3-9ae3-dc9b7f81096f · outbound

This paper cites NeurIPS (2020).

Fast SDP certification of neural networks : towards large multi-class datasets NeurIPS (2020)

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f603d78-ce01-4470-ac2f-88a35aa7c4ee · outbound

This paper cites NeurIPS (2024).

Fast SDP certification of neural networks : towards large multi-class datasets NeurIPS (2024)

Reference 46

Resolution: unresolved; no resolver link, observed 2026-07-12T03:57:46.650349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.