The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...
Abstract: This paper presents two improved modular multiplication algorithms: variable length Interleaved modular multiplication (VLIM) algorithm and parallel modular multiplication (P_MM) method ...
Abstract: We propose a general attack framework based on evolutionary algorithms to quickly and efficiently generate low-perturbation adversarial samples for 3D point cloud data. Specifically, we ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results