POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Tue 16 Jan 2024 09:00 - 10:00 at Lovelace Room - Declarative Programming for AI Chair(s): Martin Gebser

This talk is an overview of the domain of neural network verification, given from the perspective of the research team implementing the domain-specific language Vehicle for specification and verification of properties of neural networks. The talk focuses on “What? ”s for major successes and “Why? ”s for major failures in this field so far; and explains the (potential) role of declarative programming in its past and future successes. Vehicle uses a range of declarative languages, including the SMT solver Marabou as a backend, Haskell as the main host compiler, and Agda as an additional backend for more complex proofs. It is designed to allow for further declarative backends, such as Coq, Imandra and KeYmaera X. The talk features a quick demo of Vehicle in its use, and reflects on its potential applications, including i) natural language processing, ii) security, iii) cyber-physical systems, as well as iv) teaching principles of neural network verification to postgraduate students.

Tue 16 Jan

Displayed time zone: London change

09:00 - 10:30
Declarative Programming for AIPADL at Lovelace Room
Chair(s): Martin Gebser University of Klagenfurt, Austria
Whats and Whys of Neural Network Verification (A Declarative Programming Perspective)
K: Ekaterina Komendantskaya Heriot-Watt University and Southampton University
Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks
Parth Padalkar THE UNIVERSITY OF TEXAS AT DALLAS, Huaduo Wang THE UNIVERSITY OF TEXAS AT DALLAS, Gopal Gupta University of Texas at Dallas