Many congratulations to LAIV PhD students and researchers, who will present their work at FOMLAS’22, as part of the FLOC’22 conference:
Matthew Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi and Ekaterina Komendantskaya: Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks
Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt and Robert Stewart: Differentiable Logics for Neural Network Verification
Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew Daggitt, Daniel Kienitz, Luca Arnaboldi and Wen Kokke: Why Robust Natural Language Understanding is a Challenge
Remi Desmartin, Grant Passmore and Ekaterina Komendantskaya: Neural Networks in Imandra: Matrix Representation as a Verification Choice