RUS
ENG
Full version
VIDEO LIBRARY
June 29, 2023
12:30
Генерация доказательств математических теорем с помощью языковых моделей
Yu. N. Yarovikov
©
Steklov Math. Inst. of RAS
, 2024
