TY  - RPRT
TI  - Compiling High-Level Neural Network Specifications into VNN-LIB Queries
AU  - Matthew L. Daggitt
AU  - Wen Kokke
AU  - Robert Atkey
PY  - 2026
UR  - https://arxiv.org/abs/2402.01353
ID  - 2402.01353
ER  -