 CheckINN: Wide Range Neural Network Verification in Imandra (Extended)ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP), 2022 |
 Anomalib: A Deep Learning Library for Anomaly DetectionInternational Conference on Information Photonics (ICIP), 2022 |
 Neuroevolution-Enhanced Multi-Objective Optimization for Mixed-Precision
QuantizationAnnual Conference on Genetic and Evolutionary Computation (GECCO), 2021 |
 |
 Environmental Sound Classification on the Edge: A Pipeline for Deep
Acoustic Networks on Extremely Resource-Constrained DevicesPattern Recognition (Pattern Recogn.), 2021 |
 |
 LadaBERT: Lightweight Adaptation of BERT through Hybrid Model
CompressionInternational Conference on Computational Linguistics (COLING), 2020 |
