James Ferlez and Haitham Khedr’s tool, named FastBATLLNN, is the category winner for the tllverifybench Benchmark. VNN-COMP’22 is a formal methods and verification competition for neural networks and is affiliated with the 34th International Conference on Computer-Aided Verification (CAV’22), which is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. Congratulations James and Haitham!