A new “semi-formal reasoning” approach forces AI models to trace code paths and justify conclusions, improving accuracy while ...
Abstract: Deep neural networks (DNNs) have achieved satisfactory performance in multiple fields. However, recent studies have shown that DNNs can be easily fooled by adversarial examples. To mitigate ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results