Marabou 2.0: a versatile formal analyzer of neural networks H Wu, O Isac, A Zeljić, T Tagomori, M Daggitt, W Kokke, I Refaeli, G Amir, ...
International Conference on Computer Aided Verification, 249-264, 2024
27 2024 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
22 2024 𝜀 -weakened robustness of deep neural networksP Huang, Y Yang, M Liu, F Jia, F Ma, J Zhang
Proceedings of the 31st ACM SIGSOFT international symposium on software …, 2022
19 * 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
17 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
12 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
11 2022 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
9 2023 Investigating the existence of orthogonal golf designs via satisfiability testing P Huang, M Liu, C Ge, F Ma, J Zhang
Proceedings of the 2019 International Symposium on Symbolic and Algebraic …, 2019
9 2019 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, 76098-76119, 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 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
7 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 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
6 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
5 2020 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 Don’t Confuse! Redrawing GUI Navigation Flow in Mobile Apps for Visually Impaired Users Y Zhou, C Chen, P Huang, J Zhao
IEEE Transactions on Software Engineering, 2024
1 2024 PAD: A Robustness Enhancement Ensemble Method via Promoting Attention Diversity Y Yang, P Huang, F Ma, J Cao, J Li
Proceedings of the 2024 Joint International Conference on Computational …, 2024
1 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 Are your apps accessible? A GCN-based accessibility checker for low vision users M Zhang, H Liu, S Song, C Chen, P Huang, J Zhao
Information and Software Technology 174, 107518, 2024
2024 Parallel Verification for P Huang, Y Yang, H Wu, I Daukantas, M Wu, F Jia, C Barrett
International Symposium on AI Verification, 78-99, 2024
2024 
Feifei MaInstitute of Software, Chinese Academy of SciencesDirección de correo verificada de ios.ac.cn