32 citations · 97 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CL2020★ 9 cited
OCoR: An Overlapping-Aware Code Retriever
Qihao Zhu, Zeyu Sun, Xiran Liang +2
Code retrieval helps developers reuse the code snippet in the open-source projects. Given a natural language description, code retrieval aims to search for the most relevant code a…
cs.AI2020★ 32 cited
NLocalSAT: Boosting Local Search with Solution Prediction
Wenjie Zhang, Zeyu Sun, Qihao Zhu +4
The Boolean satisfiability problem (SAT) is a famous NP-complete problem in computer science. An effective way for solving a satisfiable SAT problem is the stochastic local search…