TY  - RPRT
TI  - An Empirical Study of Validating Synthetic Data for Formula Generation
AU  - Usneek Singh
AU  - José Cambronero
AU  - Sumit Gulwani
AU  - Aditya Kanade
AU  - Anirudh Khatry
AU  - Vu Le
AU  - Mukul Singh
AU  - Gust Verbruggen
PY  - 2025
UR  - https://arxiv.org/abs/2407.10657
ID  - 2407.10657
ER  -