Urmăriți
Wenjie Zhang
Wenjie Zhang
Adresă de e-mail confirmată pe pku.edu.cn
Titlu
Citat de
Citat de
Anul
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
6922018
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
2312021
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
622022
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
592020
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
242023
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
112024
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
102022
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
92021
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
32025
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
22023
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
12023
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
12023
Grape: Grammar-Preserving Rule Embedding.
Q Zhu, Z Sun, W Zhang, Y Xiong, L Zhang
IJCAI, 4545-4551, 2022
12022
Addressing Variable Dependency in GNN-based SAT Solving
Y Zhiyuan, M Li, Z Shi, W Zhang, YC Chen, H Zhang
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–14