@misc{indiciaee7decab269d6,
  title = {Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness},
  author = {Emil Vatai and Aleksandr Drozd and Ivan R. Ivanov and Joao E. Batista and Yinghao Ren and Mohamed Wahib},
  year = {2025},
  url = {https://arxiv.org/abs/2410.03210},
  note = {Source identifier: 2410.03210}
}