TY  - RPRT
TI  - Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
AU  - Yizhak Y. Elboher
AU  - Reuven Peleg
AU  - Zhouxing Shi
AU  - Guy Katz
AU  - Jan Křetínský
PY  - 2026
UR  - https://arxiv.org/abs/2603.02235
ID  - 2603.02235
ER  -