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
1
Publication
In Findings of the North American Chapter of the Association of Computational Linguistics, 2023
Anirudh Khatry
Anirudh Khatry
Computer Science PhD Student

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