Hacker News new | ask | show | jobs
Neural Network Verification Is a Programming Language Challenge (arxiv.org)
2 points by xtoilette 516 days ago