COOPER: Learning what to teach models for code generation

Anirudh Khatry

Computer Science PhD Student

My research interests include Program Synthesis, Formal Verification and Machine Learning.