12 ноября 2015 · Комментарий

Без заголовка

Имя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на запись

А ещё есть системы моделирования с экспортом в theorem proof assistant's форматы, типа AutoFocus3 (экспортирует в Isabelle/HOL) если бы много накопить таких материалов, можно было бы обучать сети ещё и связи теорий и моделей, про которые они "рассуждают"