Imagen de Portada

Formal Verification of Deep Neural Networks for Object Detection

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Elboher, Yizhak Y., Raviv, Avraham, Weiss, Yael Leibovich, Cohen, Omer, Assa, Roy, Katz, Guy, Kugler, Hillel
Formato:	Preprint
Publicado:	2024
Materias:	Computer Vision and Pattern Recognition
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
por: Elboher, Yizhak Yisrael, et al.
Publicado: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
por: Elboher, Yizhak Yisrael, et al.
Publicado: (2025)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
por: Elboher, Yizhak Y., et al.
Publicado: (2026)

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
por: Elboher, Yizhak, et al.
Publicado: (2024)

Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
por: Pinto, Ido, et al.
Publicado: (2026)

PatchContrast: Self-Supervised Pre-training for 3D Object Detection
por: Shrout, Oren, et al.
Publicado: (2023)

Show and Tell: Visually Explainable Deep Neural Nets via Spatially-Aware Concept Bottleneck Models
por: Benou, Itay, et al.
Publicado: (2025)

Real-Time 3D Object Detection Using InnovizOne LiDAR and Low-Power Hailo-8 AI Accelerator
por: Krispin-Avraham, Itay, et al.
Publicado: (2024)

GraVoS: Voxel Selection for 3D Point-Cloud Detection
por: Shrout, Oren, et al.
Publicado: (2022)

Neural Experts: Mixture of Experts for Implicit Neural Representations
por: Ben-Shabat, Yizhak, et al.
Publicado: (2024)

Memory Backdoor Attacks on Neural Networks
por: Luzon, Eden, et al.
Publicado: (2024)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
por: Bassan, Shahaf, et al.
Publicado: (2025)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
por: Afzal, Mohammad, et al.
Publicado: (2025)

ObjectDrop: Bootstrapping Counterfactuals for Photorealistic Object Removal and Insertion
por: Winter, Daniel, et al.
Publicado: (2024)

Regularizing Neural Network Training via Identity-wise Discriminative Feature Suppression
por: Chapman, Avraham, et al.
Publicado: (2022)

VI3NR: Variance Informed Initialization for Implicit Neural Representations
por: Koneputugodage, Chamin Hewa, et al.
Publicado: (2025)

VerifIoU -- Robustness of Object Detection to Perturbations
por: Cohen, Noémie, et al.
Publicado: (2024)

Enhancing Small Object Encoding in Deep Neural Networks: Introducing Fast&Focused-Net with Volume-wise Dot Product Layer
por: Tofik, Ali, et al.
Publicado: (2024)

Explainability-Inspired Layer-Wise Pruning of Deep Neural Networks for Efficient Object Detection
por: Shukla, Abhinav, et al.
Publicado: (2026)

Provably Explaining Neural Additive Models
por: Bassan, Shahaf, et al.
Publicado: (2026)

On Improving Deep Active Learning with Formal Verification
por: Spiegelman, Jonathan, et al.
Publicado: (2025)

ObjectMate: A Recurrence Prior for Object Insertion and Subject-Driven Generation
por: Winter, Daniel, et al.
Publicado: (2024)

NeuralSVG: An Implicit Representation for Text-to-Vector Generation
por: Polaczek, Sagi, et al.
Publicado: (2025)

A Vision-Based Closed-Form Solution for Measuring the Rotation Rate of an Object by Tracking One Point
por: Raviv, Daniel, et al.
Publicado: (2025)

3DInAction: Understanding Human Actions in 3D Point Clouds
por: Ben-Shabat, Yizhak, et al.
Publicado: (2023)

Object Detection Based on Distributed Convolutional Neural Networks
por: Sun, Liang
Publicado: (2026)

Decoding Functional Networks for Visual Categories via GNNs
por: Karmi, Shira, et al.
Publicado: (2026)

Training-free Detection of Generated Videos via Spatial-Temporal Likelihoods
por: Hayun, Omer Ben, et al.
Publicado: (2026)

Rapid Salient Object Detection with Difference Convolutional Neural Networks
por: Su, Zhuo, et al.
Publicado: (2025)

Self-Aware Object Detection via Degradation Manifolds
por: Becker, Stefan, et al.
Publicado: (2026)

Alterbute: Editing Intrinsic Attributes of Objects in Images
por: Reiss, Tal, et al.
Publicado: (2026)

Deep Fourier-embedded Network for RGB and Thermal Salient Object Detection
por: Lyu, Pengfei, et al.
Publicado: (2024)

Explainability of Deep Neural Networks for Brain Tumor Detection
por: Park, S., et al.
Publicado: (2024)

VALO: A Versatile Anytime Framework for LiDAR-based Object Detection Deep Neural Networks
por: Soyyigit, Ahmet, et al.
Publicado: (2024)

OWL: A Novel Approach to Machine Perception During Motion
por: Raviv, Daniel, et al.
Publicado: (2026)

HyDA: Hypernetworks for Test Time Domain Adaptation in Medical Imaging Analysis
por: Serebro, Doron, et al.
Publicado: (2025)

SDLNet: Statistical Deep Learning Network for Co-Occurring Object Detection and Identification
por: Singh, Binay Kumar, et al.
Publicado: (2024)

TractoTransformer: Diffusion MRI Streamline Tractography using CNN and Transformer Networks
por: Waizman, Itzik, et al.
Publicado: (2025)

Lost in Translation: Modern Neural Networks Still Struggle With Small Realistic Image Transformations
por: Shifman, Ofir, et al.
Publicado: (2024)

Visual Reasoning in Object-Centric Deep Neural Networks: A Comparative Cognition Approach
por: Puebla, Guillermo, et al.
Publicado: (2024)