@article{arakelyanns3,
  title={NS3: Neuro-Symbolic Semantic Code Search},
  author={Arakelyan, Shushan and Hakhverdyan, Anna and Allamanis, Miltiadis and Hauser, Christophe and Garcia, Luis and Ren, Xiang},
  journal={Advances in Neural Information Processing Systems},
  year={2022}
}

{"_id":"gKsRuWFWYxugacEFr","bibbaseid":"arakelyan-hakhverdyan-allamanis-hauser-garcia-ren-ns3neurosymbolicsemanticcodesearch-2022","author_short":["Arakelyan, S.","Hakhverdyan, A.","Allamanis, M.","Hauser, C.","Garcia, L.","Ren, X."],"bibdata":{"bibtype":"article","type":"article","title":"NS3: Neuro-Symbolic Semantic Code Search","author":[{"propositions":[],"lastnames":["Arakelyan"],"firstnames":["Shushan"],"suffixes":[]},{"propositions":[],"lastnames":["Hakhverdyan"],"firstnames":["Anna"],"suffixes":[]},{"propositions":[],"lastnames":["Allamanis"],"firstnames":["Miltiadis"],"suffixes":[]},{"propositions":[],"lastnames":["Hauser"],"firstnames":["Christophe"],"suffixes":[]},{"propositions":[],"lastnames":["Garcia"],"firstnames":["Luis"],"suffixes":[]},{"propositions":[],"lastnames":["Ren"],"firstnames":["Xiang"],"suffixes":[]}],"journal":"Advances in Neural Information Processing Systems","year":"2022","bibtex":"@article{arakelyanns3,\n title={NS3: Neuro-Symbolic Semantic Code Search},\n author={Arakelyan, Shushan and Hakhverdyan, Anna and Allamanis, Miltiadis and Hauser, Christophe and Garcia, Luis and Ren, Xiang},\n journal={Advances in Neural Information Processing Systems},\n year={2022}\n}\n\n","author_short":["Arakelyan, S.","Hakhverdyan, A.","Allamanis, M.","Hauser, C.","Garcia, L.","Ren, X."],"bibbaseid":"arakelyan-hakhverdyan-allamanis-hauser-garcia-ren-ns3neurosymbolicsemanticcodesearch-2022","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/wnLWhCHTnAxdDiPNE/lgarcia.bib","dataSources":["nZpECqBHtcWYeRmxt","y8Du94SQQE4osp3cR"],"keywords":[],"search_terms":["ns3","neuro","symbolic","semantic","code","search","arakelyan","hakhverdyan","allamanis","hauser","garcia","ren"],"title":"NS3: Neuro-Symbolic Semantic Code Search","year":2022}