TY  - RPRT
TI  - Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness
AU  - Emil Vatai
AU  - Aleksandr Drozd
AU  - Ivan R. Ivanov
AU  - Joao E. Batista
AU  - Yinghao Ren
AU  - Mohamed Wahib
PY  - 2025
UR  - https://arxiv.org/abs/2410.03210
ID  - 2410.03210
ER  -