Exploring the Verifiability of Code Generated by GitHub Copilot. - Dakota Wong; Austin Kothig; Patrick Lam 001 (CoRR, 2022)