Tadashi
Enabling AI-Based Automated Code Generation With Guaranteed Correctness
- Preprint: (missing reference).
- Github repo: https://github.com/vatai/tadashi/

Overview of Tadashi
Enabling AI-Based Automated Code Generation With Guaranteed Correctness