Home › Entities › chapter › DNNV: A Framework for Deep Neural Network Verification

DNNV: A Framework for Deep Neural Network Verification

DNNV: A Framework for Deep Neural Network Verification is a scholarly article.

CreativeWork chapter Q127432230

Facts

5 properties
Instance of
scholarly articleas of 2026-09-23
where from?
Source
OpenAlex
Edition
20260923 · as of 2026-09-23
Bronze
not in the catalog
Transform
4ort-mint · openalex:20260923 · version not recorded
Publication date
2021[1]as of 2026-09-23
where from?
Source
OpenAlex
Edition
20260923 · as of 2026-09-23
Bronze
not in the catalog
Transform
4ort-mint · openalex:20260923 · version not recorded
Published in
Lecture Notes in Computer Science[3]as of 2026-09-23
where from?
Source
OpenAlex
Edition
20260923 · as of 2026-09-23
Bronze
not in the catalog
Transform
4ort-mint · openalex:20260923 · version not recorded
Sponsor
National Science Foundation[2]as of 2026-09-23
where from?
Source
OpenAlex
Edition
20260923 · as of 2026-09-23
Bronze
not in the catalog
Transform
4ort-mint · openalex:20260923 · version not recorded
Title
DNNV: A Framework for Deep Neural Network Verification[4]as of 2026-09-23
where from?
Source
OpenAlex
Edition
20260923 · as of 2026-09-23
Bronze
not in the catalog
Transform
4ort-mint · openalex:20260923 · version not recorded
🔖 Identifiers · 2
OpenAlex ID
W3165351503as of 2026-09-23
where from?
Source
OpenAlex
Edition
20260923 · as of 2026-09-23
Bronze
not in the catalog
Transform
4ort-mint · openalex:20260923 · version not recorded
DOI
10.1007/978-3-030-81685-8_6as of 2026-09-23
where from?
Source
OpenAlex
Edition
20260923 · as of 2026-09-23
Bronze
not in the catalog
Transform
4ort-mint · openalex:20260923 · version not recorded
📚 Sources · 1

Report an error or request removal Lineage (PROV-JSON)

📜 Data licence
Source: OpenAlex (openalex.org), snapshot of 2026-09-23. CC0 1.0 Universal. CC0 1.0 Universal · OpenAlex
Press Enter · cited answer in seconds

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [1] ↑ . wikidata.org.
  2. [2] ↑ . wikidata.org.
  3. [3] ↑ . wikidata.org.
  4. [4] ↑ . wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). DNNV: A Framework for Deep Neural Network Verification. Retrieved October 20, 2026, from https://4ort.xyz/entity/dnnv-a-framework-for-deep-neural-network-verification
MLA “DNNV: A Framework for Deep Neural Network Verification.” 4ort.xyz Knowledge Graph, 4ort.xyz, 20 Oct. 2026, https://4ort.xyz/entity/dnnv-a-framework-for-deep-neural-network-verification.
BibTeX @misc{4ortxyz_dnnv-a-framework-for-deep-neural-network-verification_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{DNNV: A Framework for Deep Neural Network Verification}}, year = {2026}, url = {https://4ort.xyz/entity/dnnv-a-framework-for-deep-neural-network-verification}, note = {Accessed: 2026-10-20}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): DNNV: A Framework for Deep Neural Network Verification — https://4ort.xyz/entity/dnnv-a-framework-for-deep-neural-network-verification (retrieved 2026-10-20)

Canonical URL: https://4ort.xyz/entity/dnnv-a-framework-for-deep-neural-network-verification · Last refreshed: