Short Bio
I am currently a PhD student in Computer Software and Theory at the University of Chinese Academy of Sciences (UCAS) and doing my research at State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, under the supervision of Prof. Jian Zhang.
Before that, I received my B.S. degree in Computer Science and Technology from Northeast Normal University (NENU) in 2017.
My research interests include the theory, algorithm and application of automated reasoning, constraint programming and combinatorial optimization, as well as the integration of symbolic reasoning and machine learning.
Recent News
Publications
(* indicates equal contribution)
-
Improving Bit-Blasting for Nonlinear Integer Constraints
Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2023
🏅 ACM SIGSOFT Distinguished Paper Award
-
Can Graph Neural Networks Learn to Solve the MaxSAT Problem?
Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
AAAI Conference on Artificial Intelligence (AAAI), Student Abstract and Poster Program, 2023
🏅 Best Student Abstract Honorable Mention Award
-
Improving Simulated Annealing for Clique Partitioning Problems
Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma
Journal of Artificial Intelligence Research (JAIR), 2022
-
ε-weakened Robustness of Deep Neural Networks
Pei Huang*, Yuting Yang*, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022
-
Word Level Robustness Enhancement: Fight Perturbation with Perturbation
Pei Huang*, Yuting Yang*, Fuqi Jia, Minghao Liu, FeiFei Ma, Jian Zhang
AAAI Conference on Artificial Intelligence (AAAI), 2022
-
Modelling and Solving the Supply Marketing Order Allocation Problem with Time Consistency and Bundle Discounts
Yupeng Zhou, Minghao Liu, Feifei Ma, Na Luo, Minghao Yin
Journal of the Operational Research Society (JORS), 2021
-
Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5
Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang
International Conference on Theory and Applications of Satisfiability Testing (SAT), 2021
-
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks
Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang
International Conference on Principles and Practice of Constraint Programming (CP), 2020
-
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang
International Joint Conference on Artificial Intelligence (IJCAI), 2019
-
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing
Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang
International Symposium on Symbolic and Algebraic Computation (ISSAC), 2019
-
A Community-Division Based Algorithm for Finding Relations Among Linear Constraints
Minghao Liu, Feifei Ma, Jun Yan
International Conference on Knowledge Science, Engineering and Management (KSEM), 2018
Selected Awards & Scholarships
-
SMT Competition, Nonlinear Real Arithmetic (QF_NRA) Track, 2nd Place, 2022.08
-
First Prize Scholarship of UCAS (Top 10%), 2021.10
-
Guangdong Intelligent Manufacturing Innovation Contest, 3rd Place, 2019.12
-
The NENU Medalist (The highest honor for undergraduate students; Top 0.5%), 2017.06
-
ACM International Collegiate Programming Contest (ACM-ICPC) Asia Regional, Gold Medal, 2016.09
-
National Scholarship of China, 2014.11
Services
Teaching
-
Teaching Assistant in Foundations of Theoretical Computer Science at UCAS
Spring 2020 & Spring 2021. Lecturer: Prof. Tian Liu