An Empirical Study of Validating Synthetic Data for Formula Generation

Type
Anirudh Khatry
Anirudh Khatry
Computer Science PhD Student

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