Workshop on Open Problems in Learning and Verification of Neural Networks


Held physically in Paris on July 17, 2023

WOLVERINE 2023 drew a crowd of roughly 30 participants in each session (before and after lunch)! In both sessions, the participants enjoyed excellent talks by our invited speakers on cutting-edge problems in AI and verification. To get a glimpse of the topics, the speakers kindly shared their slides: Program Synthesis by Nathanaël Fijalkow and Trusted Reinforcement Learning by Bettina Könighofer. After each session, the participants immersed themselves in round-table discussions hosted by the speakers. WOLVERINE 2023 concluded with a delicious dinner at Restaurant l’Archestrate. We received very positive feedback, both from participants and speakers, and will bring WOLVERINE back next year. Stay tuned!

Keynote

Alessio Lomuscio (Imperial College London, UK)

Round-Table Hosts

Nathanaël Fijalkow (CNRS, LaBRI, France)
Synthesis
Nils Jansen (Radboud University Nijmegen, The Netherlands)
Safe Reinforcement Learning
Bettina Könighofer (TU Graz, Austria)
Shielding
Daniel Neider (TU Dortmund, Germany)
Neuro-symbolic Verification

Important Details

Place: Co-located with CAV 2023 in Paris, France
Registration: CAV 2023 webpage
Workshop date: July 17, 2023