Textsnake: A flexible representation for detecting text of arbitrary shapes S Long, J Ruan, W Zhang, X He, W Wu, C Yao Proceedings of the European conference on computer vision (ECCV), 20-36, 2018 | 692 | 2018 |
A syntax-guided edit decoder for neural program repair Q Zhu, Z Sun, Y Xiao, W Zhang, K Yuan, Y Xiong, L Zhang Proceedings of the 29th ACM joint meeting on European software engineering …, 2021 | 231 | 2021 |
FIRA: fine-grained graph-based code change representation for automated commit message generation J Dong, Y Lou, Q Zhu, Z Sun, Z Li, W Zhang, D Hao Proceedings of the 44th International Conference on Software Engineering …, 2022 | 62 | 2022 |
NLocalSAT: Boosting local search with solution prediction W Zhang, Z Sun, Q Zhu, G Li, S Cai, Y Xiong, L Zhang arXiv preprint arXiv:2001.09398, 2020 | 59 | 2020 |
Tare: Type-aware neural program repair Q Zhu, Z Sun, W Zhang, Y Xiong, L Zhang 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 24 | 2023 |
Learning-based widget matching for migrating gui test cases Y Zhang, W Zhang, D Ran, Q Zhu, C Dou, D Hao, T Xie, L Zhang Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024 | 11 | 2024 |
Generalized equivariance and preferential labeling for gnn node classification Z Sun, W Zhang, L Mou, Q Zhu, Y Xiong, L Zhang Proceedings of the AAAI Conference on Artificial Intelligence 36 (8), 8395-8403, 2022 | 10 | 2022 |
Lyra: A benchmark for turducken-style code generation Q Liang, Z Sun, Q Zhu, W Zhang, L Yu, Y Xiong, L Zhang arXiv preprint arXiv:2108.12144, 2021 | 9 | 2021 |
Optimizing local search-based partial MaxSAT solving via initial assignment prediction C Liu, G Liu, C Luo, S Cai, Z Lei, W Zhang, Y Chu, G Zhang Science China Information Sciences 68 (2), 1-15, 2025 | 3 | 2025 |
Addressing variable dependency in gnn-based SAT solving Z Yan, M Li, Z Shi, W Zhang, Y Chen, H Zhang arXiv preprint arXiv:2304.08738, 2023 | 2 | 2023 |
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability W Zhang, G Wang, J Chen, Y Xiong, Y Liu, L Zhang arXiv preprint arXiv:2309.06771, 2023 | 1 | 2023 |
The elephant in the room: Variable dependency in GNN-based SAT solving Z Yan, M Li, Z Shi, W Zhang, YC Chen, H Zhang First International Workshop on Deep Learning-aided Verification, 2023 | 1 | 2023 |
Grape: Grammar-Preserving Rule Embedding. Q Zhu, Z Sun, W Zhang, Y Xiong, L Zhang IJCAI, 4545-4551, 2022 | 1 | 2022 |
Addressing Variable Dependency in GNN-based SAT Solving Y Zhiyuan, M Li, Z Shi, W Zhang, YC Chen, H Zhang | | |