Optimizing the Running Time of a Trigger Search Algorithm Based on the Principles of Formal Verification of Artificial Neural Networks

Abstract

The article examines the problem of scalability of the algorithm for searching for a trigger in images which is based on the operating principle of the Deep Poly formal verification algorithm The existing implementation had a number of shortcomings According to them the requirements for the optimized version of the algorithm were formulated which were brought to practical implementation Achieved 4 times acceleration compared to the original implementation