Ekaterina Komendantskaya
3 أوراق في مجموعة PaperMetrix
أوراق هذا المؤلف
-
Optimising Hardware Accelerated Neural Networks with Quantisation and a Knowledge Distillation Evolutionary Algorithm
2021 · Electronics
This paper compares the latency, accuracy, training time and hardware costs of neural networks compressed with our new multi-objective evolutionary algorithm called NEMOKD, and with quantisation. We evaluate NEMOKD on Intel’s Movidius Myriad X VPU …
-
Artifact for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
2024 · arXiv (Cornell University)
This paper serves as a comprehensive system description of version 2.0 of the Marabou framework for formal analysis of neural networks. We discuss the tool's architectural design and highlight the major features and components introduced …
-
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
2024 · Lecture notes in computer science
Abstract This paper serves as a comprehensive system description of version 2.0 of the Marabou framework for formal analysis of neural networks. We discuss the tool’s architectural design and highlight the major features and components …