NS3: Neuro-symbolic Semantic Code Search. - Shushan Arakelyan; Anna Hakhverdyan; Miltiadis Allamanis; Luis Garcia 001; Christophe Hauser; Xiang Ren (NeurIPS, 2022)