ROUND TABLE MathAI-2025, Igor ANUREEV What Prevents the Use of Formal Methods for AI Verification

Name: ROUND TABLE MathAI-2025, Igor ANUREEV What Prevents the Use of Formal Methods for AI Verification
Uploaded: 2025-04-03T13:27:31+03:00
Duration: 18 min 16 s
Channel: Алгебраическая биология и теория систем
Description: Mathai 2025 24-28 March Igor ANUREEV The Artificial Intelligence Research Center of Novosibirsk State University What Prevents the Use of Formal Methods for AI Verification

12+

47 просмотров

2 года назад

Mathai 2025 24-28 March Igor ANUREEV The Artificial Intelligence Research Center of Novosibirsk State University What Prevents the Use of Formal Methods for AI Verification

Название:

ROUND TABLE MathAI-2025, Igor ANUREEV What Prevents the Use of Formal Methods for AI Verification

Категория: