𝜀 -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
15 2022 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 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
8 2024 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 {\epsilon}-weakened Robustness of Deep Neural Networks P Huang, Y Yang, M Liu, F Jia, F Ma, J Zhang
arXiv preprint arXiv:2110.15764, 2021
5 2021 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 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 ISMT for SMT COMP 2023 F Jia, R Han, M Liu, C Ge, P Huang, F Ma, J Zhang
Yices-ismt for SMT COMP 2022 F Jia, R Han, M Liu, C Ge, P Huang, F Ma, J Zhang
Pei HuangStanford UniversityDirección de correo verificada de stanford.edu