1 code implementation • 15 Apr 2024 • Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
Theorem proving is a fundamental aspect of mathematics, spanning from informal reasoning in mathematical language to rigorous derivations in formal systems.
no code implementations • 13 Jul 2023 • Jialiang Sun, Wen Yao, Tingsong Jiang, Xiaoqian Chen
To bridge the gap between AutoML and semantic adversarial attacks, we propose a novel method called multi-objective evolutionary search of variable-length composite semantic perturbations (MES-VCSP).
no code implementations • 23 May 2023 • Chengyin Hu, Weiwen Shi, Chao Li, Jialiang Sun, Donghua Wang, Junqi Wu, Guijian Tang
Deep neural networks (DNNs) have made remarkable strides in various computer vision tasks, including image classification, segmentation, and object detection.
no code implementations • 12 May 2023 • Jialiang Sun, Wen Yao, Tingsong Jiang, Xiaoqian Chen
Finally, we propose a multi-fidelity online surrogate during optimization to further decrease the search cost.
no code implementations • 17 Oct 2022 • Jialiang Sun, Tingsong Jiang, Wen Yao, Donghua Wang, Xiaoqian Chen
In the first stage, we optimize the global texture to minimize the discrepancy between the rendered object and the scene images, making human eyes difficult to distinguish.
no code implementations • 15 Aug 2022 • Jialiang Sun, Wen Yao, Tingsong Jiang, Xiaoqian Chen
Therefore, we propose a multi-objective memetic algorithm for auto adversarial attack optimization design, which realizes the automatical search for the near-optimal adversarial attack towards defensed models.
no code implementations • 16 May 2022 • Jialiang Sun, Xiaohu Zheng, Wen Yao, Xiaoya Zhang, Weien Zhou, Xiaoqian Chen
In satellite layout design, heat source layout optimization (HSLO) is an effective technique to decrease the maximum temperature and improve the heat management of the whole system.
no code implementations • 7 Mar 2022 • Jialiang Sun, Wen Yao, Tingsong Jiang, Chao Li, Xiaoqian Chen
To alleviate these problems, in this paper, we first propose a novel platform called auto adversarial attack and defense ($A^{3}D$), which can help search for robust neural network architectures and efficient adversarial attacks.
1 code implementation • 15 Sep 2021 • Donghua Wang, Tingsong Jiang, Jialiang Sun, Weien Zhou, Xiaoya Zhang, Zhiqiang Gong, Wen Yao, Xiaoqian Chen
To bridge the gap between digital attacks and physical attacks, we exploit the full 3D vehicle surface to propose a robust Full-coverage Camouflage Attack (FCA) to fool detectors.