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!