Search Results for author: Jialiang Sun

Found 9 papers, 2 papers with code

A Survey on Deep Learning for Theorem Proving

1 code implementation15 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.

Automated Theorem Proving

Multi-objective Evolutionary Search of Variable-length Composite Semantic Perturbations

no code implementations13 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).

Adversarial Attack AutoML

Impact of Light and Shadow on Robustness of Deep Neural Networks

no code implementations23 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.

Image Classification object-detection +1

Efficient Search of Comprehensively Robust Neural Architectures via Multi-fidelity Evaluation

no code implementations12 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.

Neural Architecture Search

Differential Evolution based Dual Adversarial Camouflage: Fooling Human Eyes and Object Detectors

no code implementations17 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.

Object

A Multi-objective Memetic Algorithm for Auto Adversarial Attack Optimization Design

no code implementations15 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.

Adversarial Attack Adversarial Defense

Heat Source Layout Optimization Using Automatic Deep Learning Surrogate and Multimodal Neighborhood Search Algorithm

no code implementations16 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.

Layout Design Management +1

$A^{3}D$: A Platform of Searching for Robust Neural Architectures and Efficient Adversarial Attacks

no code implementations7 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.

Adversarial Attack Adversarial Defense +1

FCA: Learning a 3D Full-coverage Vehicle Camouflage for Multi-view Physical Adversarial Attack

1 code implementation15 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.

Adversarial Attack object-detection +1

Cannot find the paper you are looking for? You can Submit a new open access paper.