NS3: Neuro-symbolic Semantic Code Search - Arakelyan, Shushan; Hakhverdyan, Anna; Allamanis, Miltiadis; Garcia, Luis; Hauser, Christophe; Ren, Xiang (Advances in Neural Information Processing Systems, 2022)