@misc{varot_premtoon_2020_3743160, author = {Varot Premtoon and James Koppel and Armando Solar-Lezama}, title = {Semantic Code Search via Equational Reasoning}, month = apr, year = 2020, publisher = {Zenodo}, version = {1.0.0}, doi = {10.5281/zenodo.3743160}, url = {https://doi.org/10.5281/zenodo.3743160} }