no code implementations • 21 Mar 2022 • Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang
Our attack technique targets the inherent vulnerabilities of NLP models, allowing us to generate samples even without interacting with the victim NLP model, as long as it is based on pre-trained language models (PLMs).
no code implementations • 11 Jan 2022 • Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Meishan Zhang, Jian Zhang, Jintao Li
Deep-learning-based NLP models are found to be vulnerable to word substitution perturbations.
no code implementations • 15 Nov 2021 • Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
With the rapid development of deep learning techniques, various recent work has tried to apply graph neural networks (GNNs) to solve NP-hard problems such as Boolean Satisfiability (SAT), which shows the potential in bridging the gap between machine learning and symbolic reasoning.
no code implementations • 29 Oct 2021 • Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
This paper introduces a notation of $\varepsilon$-weakened robustness for analyzing the reliability and stability of deep neural networks (DNNs).
no code implementations • 28 Dec 2020 • Jian Zhang, Cunjing Ge, Feifei Ma
Compared with constraint satisfaction problems, counting problems have received less attention.
1 code implementation • ICCV 2019 • Fan Zhang, Yanqin Chen, Zhihang Li, Zhibin Hong, Jingtuo Liu, Feifei Ma, Junyu Han, Errui Ding
Recent works have made great progress in semantic segmentation by exploiting richer context, most of which are designed from a spatial perspective.
no code implementations • 13 Jun 2017 • Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang
Constrained counting is important in domains ranging from artificial intelligence to software analysis.
no code implementations • 31 May 2017 • Junping Zhou, Huanyao Sun, Feifei Ma, Jian Gao, Ke Xu, Minghao Yin
We introduce a diversified top-k partial MaxSAT problem, a combination of partial MaxSAT problem and enumeration problem.
no code implementations • 1 Jul 2015 • Cunjing Ge, Feifei Ma, Jian Zhang
There are already quite a few tools for solving the Satisfiability Modulo Theories (SMT) problems.