Shaowei Lin – Formal AI-Assisted Code Specification and Synthesis
FAR․AI
0:00 / 0:00
Shaowei Lin – Formal AI-Assisted Code Specification and Synthesis
264 просмотра · 2 года назад
FAR․AI
42,3 тыс. подписчиков
264 просмотра · 2 года назад
Shaowei Lin presented "Formal AI-Assisted Code Specification and Synthesis" on May 22, 2024 at FAR.AI Labs, as part of the FAR.AI Seminar series.
