Neural Network Verification Is a Programming Language Challenge

2 points| xtoilette | 1 year ago |arxiv.org