Cover Image

Stress-Testing Neural Network Verifiers with Provably Robust Instances

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Troxell, David, Alexandr, Yulia, Hunt, Sofia, Lei, Stephanie, Montúfar, Guido
Format: Preprint
Published: 2026
Subjects:
Machine Learning
Logic in Computer Science
Optimization and Control
Primary 68Q60, Secondary 68T07, 65G20, 90C11, 90C25, 90C57
D.2.4; F.3.1; I.2.6
Online Access:
Acceder al recurso
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Description not available.

Similar Items