Paper Citation Record · LEDGER

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming

As of 9 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 1 inbound Pith citation observation for arXiv:2506.06665.

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

pith.paper-citation-record.v1
2506.06665 v1

Coverage vector

measured 45 of 45 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T06:07:55.251567Z

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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-03T08:39:31.491465Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

45 of 45 outbound references displayed

verified exact1
verified fuzzy34
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 450187f3-b4a6-41a0-8016-bf8762414807 · outbound

This paper cites Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification

Reference 1

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T06:07:55.549215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 429997b2-8ffc-446e-9843-9f9f389d8b86 · outbound

This paper cites J., Delattre, B., Allauzen, A., and Hu, B.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming J., Delattre, B., Allauzen, A., and Hu, B

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.849139Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1f636744-7c07-4b67-864d-e25aa290be3a · outbound

This paper cites Certifiably robust variational autoencoders.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Certifiably robust variational autoencoders

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.839560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e5312a86-7f46-43e6-8ee1-d16e715d2b67 · outbound

This paper cites Efficient neural network verification via layer-based semidefinite relaxations and linear cuts.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Efficient neural network verification via layer-based semidefinite relaxations and linear cuts

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.830347Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 41dc8760-c512-4340-8512-bb6d5f5c0f7a · outbound

This paper cites N., Bak, S., Johnson, T.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming N., Bak, S., Johnson, T

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.820080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 245119e4-4b6e-47cc-b4a7-4c84799b2f55 · outbound

This paper cites The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T06:07:52.141476Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 107c8edd-9984-4dac-9b4c-5ec32a136ba7 · outbound

This paper cites A., Schmerling, E., Azizan, N., and Pavone, M.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming A., Schmerling, E., Azizan, N., and Pavone, M

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.809662Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 676e5baa-3060-4e59-a893-7ecb1d2084dc · outbound

This paper cites and Zhang, R.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming and Zhang, R

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.800735Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5e654614-ebad-417d-b926-8ba562f5a87e · outbound

This paper cites Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.791825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f3f612d0-b23d-46eb-972f-f3961d3046a8 · outbound

This paper cites S., Bunel, R., Torr, P., and Kumar, M.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming S., Bunel, R., Torr, P., and Kumar, M

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.782415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d2622ed0-4163-422b-ac50-d1fd384c7e28 · outbound

This paper cites A., and Kohli, P.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming A., and Kohli, P

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.772825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ff89bbd5-27e2-4ae4-b604-cc6456faaf7e · outbound

This paper cites Efficient and accurate estimation of lipschitz constants for deep neural networks.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Efficient and accurate estimation of lipschitz constants for deep neural networks

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T06:07:52.617949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee599717-ec26-4b90-ad78-01ba6a9495bb · outbound

This paper cites an unresolved cited work.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-07T06:07:59.756857Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a5282829-bb0e-468c-9abf-d97fa14ce711 · outbound

This paper cites N., Jovanovi \'c , N., and Vechev, M.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming N., Jovanovi \'c , N., and Vechev, M

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.747061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e50e27ab-a28d-4e83-bea4-60828f35a775 · outbound

This paper cites an unresolved cited work.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-07T06:07:59.737743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 947d34b2-8b2a-4bf8-b793-3d8224fc7be0 · outbound

This paper cites D., Stanforth, R., Bunel, R., Qin, C., Uesato, J., Arandjelovic, R., Mann, T., and Kohli, P.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming D., Stanforth, R., Bunel, R., Qin, C., Uesato, J., Arandjelovic, R., Mann, T., and Kohli, P

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.727980Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation bb149225-2bd4-4416-b18d-ab1def40da89 · outbound

This paper cites Osip: Tightened bound propagation for the verification of relu neural networks.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Osip: Tightened bound propagation for the verification of relu neural networks

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.717136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7abab13d-9319-4402-958d-ea5f7643d251 · outbound

This paper cites Unlocking deterministic robustness certification on imagenet.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Unlocking deterministic robustness certification on imagenet

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.707339Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation af49b40f-c9cf-40dc-81c9-d3cf10fa5389 · outbound

This paper cites Z., and Anandkumar, A.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Z., and Anandkumar, A

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.696719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 194f0e0f-d837-4075-84be-fd729a009393 · outbound

This paper cites Globally-robust neural networks.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Globally-robust neural networks

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.687779Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d2ac7e5e-caf9-47fe-bb06-e65a3e1a98b6 · outbound

This paper cites B., and Jacobsen, J.-H.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming B., and Jacobsen, J.-H

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.677907Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c5552e52-7a85-4aa9-a3fa-a1bcdd576ccf · outbound

This paper cites A Sequential Framework Towards an Exact SDP Verification of Neural Networks.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming A Sequential Framework Towards an Exact SDP Verification of Neural Networks

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-07T06:07:55.406552Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a0b2ee20-1bac-4099-9d89-469d01ad47c7 · outbound

This paper cites Towards deep learning models resistant to adversarial attacks.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Towards deep learning models resistant to adversarial attacks

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T06:07:53.438711Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3fce42d-7d50-42c1-b177-b77a84b7f302 · outbound

This paper cites J., Araujo, A., and Allauzen, A.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming J., Araujo, A., and Allauzen, A

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.661907Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 187e08fc-c416-4700-b48d-3795094a04c8 · outbound

This paper cites and Papachristodoulou, A.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming and Papachristodoulou, A

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.653581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ce49bc4d-8854-4153-9ce8-7622ed28d77d · outbound

This paper cites an unresolved cited work.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-07T06:07:59.644475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation efcee331-12e6-4944-8abd-41ec037a4676 · outbound

This paper cites A convex relaxation barrier to tight robustness verification of neural networks.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming A convex relaxation barrier to tight robustness verification of neural networks

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.425314Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4a21286b-316f-4667-a531-7425c63c5efb · outbound

This paper cites Neural network verification with branch-and-bound for general nonlinearities.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Neural network verification with branch-and-bound for general nonlinearities

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:59.030960Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation dd22fe39-88d8-4602-a32c-ed96a3bbf958 · outbound

This paper cites Fast and effective robustness certification.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Fast and effective robustness certification

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:58.801972Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 429adb3d-0162-46f6-8c43-eb2ce9e5ab8e · outbound

This paper cites An abstract domain for certifying neural networks.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming An abstract domain for certifying neural networks

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:58.528372Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3020b2b8-3546-4637-a183-7a56134f6d80 · outbound

This paper cites and Feizi, S.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming and Feizi, S

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:58.326541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation fb68791c-1c18-4e5f-886f-0d982437dc6e · outbound

This paper cites Intriguing properties of neural networks.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Intriguing properties of neural networks

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:58.091096Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8ff0d09a-ab59-4865-80cb-bb0c68063fca · outbound

This paper cites and Kolter, J.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming and Kolter, J

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:57.871102Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0c1441d8-d86e-48d4-9121-4f6abdfc51e1 · outbound

This paper cites and Andersen, M.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming and Andersen, M

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:57.606367Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1e8ca4fa-45a6-495c-b8b1-b198ce95608f · outbound

This paper cites Efficient formal safety analysis of neural networks.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Efficient formal safety analysis of neural networks

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:57.384198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ac82e60c-4d8b-4187-9aeb-ad53755b0c72 · outbound

This paper cites an unresolved cited work.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-07T06:07:57.104810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation de8aeeb8-e56b-4e84-9004-bb79380924bd · outbound

This paper cites and Kolter, J.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming and Kolter, J

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:56.905121Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4fee725e-f871-41ea-b6f1-3d6091be07c6 · outbound

This paper cites and Kolter, Z.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming and Kolter, Z

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:56.652191Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5b928d0f-9812-4194-a6f7-02edb5fb475d · outbound

This paper cites Automatic perturbation analysis for scalable certified robustness and beyond.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Automatic perturbation analysis for scalable certified robustness and beyond

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:56.366618Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b3a796ae-5c76-4d7e-9c48-86ec7b0e1541 · outbound

This paper cites Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:56.279828Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation fdbf56fc-adfd-47ca-859b-e60d08388e2e · outbound

This paper cites Lot: Layer-wise orthogonal training on improving l2 certified robustness.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Lot: Layer-wise orthogonal training on improving l2 certified robustness

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:56.134215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 004855d0-976e-40ad-9b1b-98192bc2466b · outbound

This paper cites Efficient neural network robustness certification with general activation functions.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Efficient neural network robustness certification with general activation functions

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:55.991616Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation cd000843-0169-469f-8bbc-861458add8e7 · outbound

This paper cites an unresolved cited work.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-07T06:07:55.861259Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation db61a969-f448-459b-ba6c-d8fd12e8f3ba · outbound

This paper cites A., and Zhang, H.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming A., and Zhang, H

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:55.702860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 869a7585-0a2e-4c18-b443-86dd60896ea4 · outbound

This paper cites write newline.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming write newline

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-07T06:07:55.251567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 8eef712c-34fe-4801-b96f-5d2869d8cb6f · inbound

Learning to Optimize by Differentiable Programming cites this paper.

Learning to Optimize by Differentiable Programming SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-03T08:39:31.491465Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.