Приглашенный доклад на конференции Искусственный Интеллект: проблема доверия (Президиум РАН, 27-28 апреля 2022). (board)
April 26, 2022
Проблема доверия к искусственному интеллекту и унивалентные основания математики
Comments Off on Проблема доверия к искусственному интеллекту и унивалентные основания математики
April 11, 2022
Computer-Assisted Proofs, Univalent Foundations, and Axiomatic Method
UNILOG 2022, Orthodox Academy of Crete, April 11, 2022. (slides)
Comments Off on Computer-Assisted Proofs, Univalent Foundations, and Axiomatic Method