arXiv (All)
open access
Towards Formal Verification of Deep Neural Networks for Object Detection
Deep neural networks (DNNs) are widely used in real-world computer vision applications, yet they remain vulnerable to errors and adversarial attacks. Formal verification offers a systematic approach to identify and mitigate these vulnerabilities, enhancing model robustness and reliability. While mos
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Modelstamp: Pre-Deserialization Verification of Machine-Learning Artifacts and Runtime Environment State#632794
- Neither Adversarial Training Nor Purification: Emergent Adversarial Robustness from Oscillatory Predictive Learning#986014
- Securing Deep Learning Hardware: A Survey of Side-Channel Vulnerabilities and Countermeasures#343393
- Carry-Through Checksum: A Lightweight Fault-Detection for CNN Inference at the Edge#1122749
- Verifiable and Confidential DNN Inference on Low-End Edge Devices#266104
Record · ID 1142520
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive