| 𝜀-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 | 13 | 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 | 10 | 2022 |
| 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 |
| 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 |
| {\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 | 2 | 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 |
| 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 | | |
