Дослідники вивчають, чи може автоматизований переклад на основі ШІ безпечно переносити складні критичні кодові бази C на мову Rust без порушення функціональної поведінки. Проєкт поєднує фаззинг із формальним аналізом, щоб подолати розрив у довірі між кодом, створеним ШІ, і безпекою промислового рівня.