Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness

Emil Vatai, Aleksandr Drozd, Ivan R. Ivanov +3

Frameworks and domain-specific languages for auto-generating code have traditionally depended on human experts to implement rigorous methods ensuring the legality of code transform…