13 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.LG2021★ 13 cited
Benchmarking Quantized Neural Networks on FPGAs with FINN
Quentin Ducasse, Pascal Cotret, Loïc Lagadec +1
The ever-growing cost of both training and inference for state-of-the-art neural networks has brought literature to look upon ways to cut off resources used with a minimal impact o…
cs.AI2019
Neural Network Verification for the Masses (of AI graduates)
Ekaterina Komendantskaya, Rob Stewart, Kirsy Duncan +3
Rapid development of AI applications has stimulated demand for, and has given rise to, the rapidly growing number and diversity of AI MSc degrees. AI and Robotics research communit…