An Empirical Study of Validating Synthetic Data for Formula Generation

Usneek Singh, Jose Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
July, 2024
PDF
Type
3
Anirudh Khatry
Anirudh Khatry
Computer Science PhD Student

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