Tadashi

Enabling AI-Based Automated Code Generation With Guaranteed Correctness

We published this in a preprint (missing reference).

Overview of Tadashi

References