| 𝜀-weakened robustness of deep neural networks P Huang, Y Yang, M Liu, F Jia, F Ma, J Zhang Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022 | 15* | 2022 |
| A prompt-based approach to adversarial example generation and robustness enhancement Y Yang, P Huang, J Cao, J Li, Y Lin, F Ma Frontiers of Computer Science 18 (4), 184318, 2024 | 10 | 2024 |
| Word level robustness enhancement: Fight perturbation with perturbation P Huang, Y Yang, F Jia, M Liu, F Ma, J Zhang Proceedings of the AAAI Conference on Artificial Intelligence 36 (10), 10785 …, 2022 | 10 | 2022 |
| A dual prompt learning framework for few-shot dialogue state tracking Y Yang, W Lei, P Huang, J Cao, J Li, TS Chua Proceedings of the ACM Web Conference 2023, 1468-1477, 2023 | 8 | 2023 |
| Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. P Huang, M Liu, P Wang, W Zhang, F Ma, J Zhang IJCAI, 1093-1100, 2019 | 8 | 2019 |
| Investigating the existence of orthogonal golf designs via satisfiability testing P Huang, M Liu, C Ge, F Ma, J Zhang Proceedings of the 2019 on International Symposium on Symbolic and Algebraic …, 2019 | 8 | 2019 |
| Improving bit-blasting for nonlinear integer constraints F Jia, R Han, P Huang, M Liu, F Ma, J Zhang Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 6 | 2023 |
| Can graph neural networks learn to solve the MaxSAT problem?(student abstract) M Liu, P Huang, F Jia, F Zhang, Y Sun, S Cai, F Ma, J Zhang Proceedings of the AAAI Conference on Artificial Intelligence 37 (13), 16264 …, 2023 | 5 | 2023 |
| Approximating Integer Solution Counting via Space Quantification for Linear Constraints. C Ge, F Ma, X Ma, F Zhang, P Huang, J Zhang IJCAI, 1697-1703, 2019 | 5 | 2019 |
| Investigating the existence of large sets of idempotent quasigroups via satisfiability testing P Huang, F Ma, C Ge, J Zhang, H Zhang International Joint Conference on Automated Reasoning, 354-369, 2018 | 5 | 2018 |
| Learning the satisfiability of pseudo-Boolean problem with graph neural networks M Liu, F Zhang, P Huang, S Niu, F Ma, J Zhang Principles and Practice of Constraint Programming: 26th International …, 2020 | 4 | 2020 |
| Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning F Jia, Y Dong, M Liu, P Huang, F Ma, J Zhang Advances in Neural Information Processing Systems 36, 2024 | 3 | 2024 |
| Quantifying robustness to adversarial word substitutions Y Yang, P Huang, J Cao, F Ma, J Zhang, J Li Joint European Conference on Machine Learning and Knowledge Discovery in …, 2023 | 3 | 2023 |
| Towards Efficient Verification of Quantized Neural Networks P Huang, H Wu, Y Yang, I Daukantas, M Wu, Y Zhang, C Barrett Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21152 …, 2024 | 2 | 2024 |
| Efficient SAT-based minimal model generation methods for modal logic S5 P Huang, R Li, M Liu, F Ma, J Zhang Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 1 | 2021 |
| Investigating the Existence of Holey Latin Squares via Satisfiability Testing M Liu, R Han, F Jia, P Huang, F Ma, H Zhang, J Zhang Pacific Rim International Conference on Artificial Intelligence, 410-422, 2023 | | 2023 |
| PSMT: Satisfiability Modulo Theories Meets Probability Distribution F Jia, R Han, X Ma, B Cui, M Liu, P Huang, F Ma, J Zhang 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | | 2023 |
| NRAgo: Solving SMT (NRA) Formulas with Gradient-Based Optimization M Liu, K Lv, P Huang, R Han, F Jia, Y Zhang, F Ma, J Zhang 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | | 2023 |
| The estimation of weighted solution convex polyhedron in SMT problem Z Xu, Y Yang, N Jiang, C Zhang, P Huang 2016 4th International Conference on Cloud Computing and Intelligence …, 2016 | | 2016 |
| ISMT for SMT COMP 2023 F Jia, R Han, M Liu, C Ge, P Huang, F Ma, J Zhang | | |
Feifei MaInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
