@misc{indiciaeb6c1717715d5,
  title = {An Empirical Study of Validating Synthetic Data for Formula Generation},
  author = {Usneek Singh and José Cambronero and Sumit Gulwani and Aditya Kanade and Anirudh Khatry and Vu Le and Mukul Singh and Gust Verbruggen},
  year = {2025},
  url = {https://arxiv.org/abs/2407.10657},
  note = {Source identifier: 2407.10657}
}