Semantic Code Search via Equational Reasoning

Preview

Lawton will present the paper “Semantic Code Search via Equational Reasoning” by Varot Premtoon, James Koppel, and Armando Solar-Lezama.