[PADL'24] Whats and Whys of Neural Network Verification (A Declarative Programming Perspec... | ACM SIGPLAN | Podwise