Neural Network Verification is a Programming Language Challenge

Published in European Symposium on Programming (ESOP'25), 2025